SPOLETINI, PAOLA
 Distribuzione geografica
Continente #
NA - Nord America 4.348
EU - Europa 2.898
AS - Asia 593
OC - Oceania 3
AF - Africa 2
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.847
Nazione #
US - Stati Uniti d'America 4.332
IT - Italia 1.338
UA - Ucraina 486
SE - Svezia 319
TR - Turchia 268
IE - Irlanda 224
VN - Vietnam 185
FI - Finlandia 126
CN - Cina 125
DE - Germania 119
BE - Belgio 109
GB - Regno Unito 108
FR - Francia 42
CA - Canada 12
AT - Austria 9
IN - India 6
NL - Olanda 5
CH - Svizzera 4
JP - Giappone 3
RO - Romania 3
AU - Australia 2
BR - Brasile 2
HU - Ungheria 2
MX - Messico 2
MY - Malesia 2
PA - Panama 2
DK - Danimarca 1
ES - Italia 1
EU - Europa 1
IL - Israele 1
IR - Iran 1
KZ - Kazakistan 1
MD - Moldavia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 7.847
Città #
Milan 956
Fairfield 669
Jacksonville 408
Woodbridge 406
Chandler 377
Ashburn 311
Houston 265
Wilmington 264
Seattle 236
Dublin 223
Cambridge 212
Ann Arbor 202
Princeton 176
Nyköping 153
Izmir 146
Brussels 109
Dong Ket 102
Dearborn 94
Rome 65
Beijing 53
San Mateo 52
San Diego 51
New York 47
Como 24
Ogden 24
Boardman 21
Falls Church 13
Norwalk 13
Düsseldorf 11
Hefei 11
London 11
Philadelphia 11
Verona 11
Frankfurt am Main 10
Washington 10
Atlanta 9
Helsinki 9
Nanjing 9
Augusta 8
Kunming 8
Prescot 8
Berlin 7
Edinburgh 7
Indiana 6
Los Angeles 5
Montréal 5
Toronto 5
Guangzhou 4
Kilburn 4
Nanchang 4
Stockholm 4
Acton 3
Changsha 3
Chengdu 3
Chiswick 3
Hanover 3
Hounslow 3
Redmond 3
Timisoara 3
Tokyo 3
Zhengzhou 3
Zurich 3
Budapest 2
Cologno al Serio 2
Dallas 2
Dharwad 2
Harbin 2
Hebei 2
Islington 2
Jinan 2
Kuala Lumpur 2
Marietta 2
Mcallen 2
Mexico 2
Mogliano Veneto 2
Montreal 2
Panama City 2
Parma 2
Pune 2
Sesto San Giovanni 2
Springfield 2
Strasbourg 2
Trieste 2
Vienna 2
Wenzhou 2
Wuhan 2
Xian 2
Amsterdam 1
Arese 1
Athlone 1
Auburn Hills 1
Auckland 1
Baotou 1
Bellante 1
Bergamo 1
Bodmin 1
Borås 1
Cagliari 1
Carate Brianza 1
Cardano 1
Totale 5.945
Nome #
A framework for XML Data Streams History Checking and Monitoring 163
On requirement verification for evolving Statecharts specifications 159
An automata-based monitoring technique for commitment-based multi-agent systems 158
Bounded variability of metric temporal logic 158
Modeling and analyzing context-aware composition of services 153
Fuzzy time in linear temporal logic 151
History checking of XML data streams 143
Keep it small, keep it real: efficient run-time verification of Web service compositions 142
LOVER: Light-weight Formal Verification of adaptivE systems at Run time 140
Tomorrow and all our yesterdays: MTL satisfiability over the integers 136
A model checking approach to verify BPEL4WS workflows 136
Esercizi di Informatica Teorica - terza edizione 136
An efficient solution for model checking graph transformation Systems 134
Towards the exhaustive verification of real-time aspects in controller implementation 134
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability 133
Model-Checking TRIO specifications in SPIN 133
A fuzzy extension of the XPath query language 130
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 129
Towards automated verification of layered graph transformation specifications 128
Validation of web service compositions 126
Trio2Promela: a model checker for temporal metric specifications 125
On Requirements Verification for Model Refinements 123
Model checking temporal metric specifications with Trio2Promela 117
Evaluating the compatibility of conversational service interactions 117
Quantifying the discord: order discrepancies in message sequence charts 116
Quantifying the discord: order discrepancies in message sequence charts 111
Managing non-functional uncertainty via model-driven adaptivity 111
Context transformations for goal models 111
Internal and external bitstream relocation for partial dynamic reconfiguration 108
Introduzione alla programmazione in Matlab 108
On Relaxing Metric Information in Linear Temporal Logic 104
A fuzzy extension for the XPath query language 103
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 102
Fuzzy querying of semistructured data 102
Relaxing metric information in linear temporal logic 102
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results 100
Fuzzy Goals for Requirements-Driven Adaptation 100
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions 98
A timed extension of WSCoL 98
Practical efficient modular verification and analysis 95
Verification and analysis of autonomic systems for networked enterprises 94
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 93
COVER: Change-based goal verifier and reasoner 91
On the use of Alloy to analyze graph transformation systems 90
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games 90
A formal approach supporting the specification and verification of business conversation requirements. 89
From model checking to a temporal proof for partial models 89
Supporting verification-driven incremental distributed design of components 88
Formal verification of production systems performance: a new approach to the detailed system design phase 87
Integrating goal model analysis with iterative design 87
Common mistakes of student analysts in requirements elicitation interviews 86
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews 85
Dealing with incompleteness in automata-based model checking 84
Practical Model Checking of LTL with Past 81
Commitment monitoring in a multiagent system 81
Formal analysis of Publish-Subscribe systems by probabilistic timed automata 79
Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), ENTCS, Volume 229, Issue 3 77
Time Modalities over Many-valued Logics 72
BuildingRules: A trigger-action–based system to manage complex commercial buildings 72
Ambiguity and tacit knowledge in requirements elicitation interviews 68
Mathematical logic for computer science 66
Model checking 64
Putting all together: using the ArtDeco approach in the winebusiness domain 63
Ambiguity in Requirements Engineering: Towards a Unifying Framework 61
Automating trade-off analysis of security requirements 60
Proceedings of the 2nd interaction and concurrency experience: structured interactions, EPTCS 12 58
Service-Oriented Software . . . and Carlo’s Services 57
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education 55
Are requirements engineering courses covering what industry needs? a preliminary analysis of the United States situation 54
A verification-driven framework for iterative design of controllers 54
XQuery layers 53
Ambiguity as a Resource to Disclose Tacit Knowledge 53
Ambiguity Cues in Requirements Elicitation Interviews 52
Informatica teorica 42
Requirements Elicitation: A Look at the Future Through the Lenses of the Past 40
Learning requirements elicitation interviews with role-playing, self-assessment and peer-review 36
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews 35
Learning from mistakes: An empirical study of elicitation interviews performed by novices 34
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process 34
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology 31
Teaching requirements elicitation interviews: an empirical study of learning from mistakes 31
Requirements engineering (RE) for social good: RE cares [requirements] 31
Empowering requirements elicitation for populations with special needs by using virtual reality 30
On including the institutional review board process in undergraduate information technology curricula 30
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis 30
REFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track 30
REFSQ 2018: Joint proceedings of workshops, doctoral symposium, live studies, and posters and tools track 28
Message from the PC and General Chairs of FormaliSE 2018 26
Totale 7.894
Categoria #
all - tutte 26.503
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 26.503


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019622 0 0 0 0 0 0 0 0 32 89 195 306
2019/20201.503 84 83 78 299 87 147 193 169 114 133 22 94
2020/20211.244 17 103 41 88 24 90 48 77 324 56 168 208
2021/2022900 116 78 51 23 45 65 48 36 47 194 80 117
2022/20231.116 112 66 64 122 79 239 9 164 145 32 61 23
2023/20241.666 252 280 236 330 397 101 8 30 32 0 0 0
Totale 7.894