SPOLETINI, PAOLA
 Distribuzione geografica
Continente #
NA - Nord America 3581
EU - Europa 1168
AS - Asia 580
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 5331
Nazione #
US - Stati Uniti d'America 3569
UA - Ucraina 485
TR - Turchia 268
SE - Svezia 199
VN - Vietnam 185
IT - Italia 159
CN - Cina 125
FI - Finlandia 121
DE - Germania 84
GB - Regno Unito 60
FR - Francia 41
BE - Belgio 11
CA - Canada 10
NL - Olanda 4
RO - Romania 3
MX - Messico 2
AU - Australia 1
EU - Europa 1
IN - India 1
IR - Iran 1
PT - Portogallo 1
Totale 5331
Città #
Fairfield 669
Jacksonville 408
Woodbridge 406
Houston 265
Wilmington 264
Ashburn 252
Seattle 224
Cambridge 212
Ann Arbor 202
Princeton 176
Izmir 146
Dong Ket 102
Chandler 101
Dearborn 94
Beijing 53
San Mateo 52
San Diego 51
Nyköping 37
Milan 28
Como 24
Falls Church 13
Norwalk 13
Brussels 11
Düsseldorf 11
Hefei 11
Verona 11
Atlanta 9
Nanjing 9
Augusta 8
Kunming 8
Indiana 6
Helsinki 5
Los Angeles 5
Montréal 5
New York 5
Toronto 5
Guangzhou 4
Nanchang 4
Changsha 3
Chengdu 3
London 3
Redmond 3
Timisoara 3
Zhengzhou 3
Harbin 2
Hebei 2
Jinan 2
Mcallen 2
Mexico 2
Parma 2
Rome 2
Sesto San Giovanni 2
Strasbourg 2
Trieste 2
Wenzhou 2
Wuhan 2
Xian 2
Arese 1
Auburn Hills 1
Baotou 1
Bellante 1
Bergamo 1
Borås 1
Cagliari 1
Carate Brianza 1
Cardano 1
Dallas 1
Dresden 1
Florence 1
Fuzhou 1
Genova 1
Grosseto 1
Huzhou 1
Jiaxing 1
Kish 1
Magenta 1
Maranello 1
Monmouth Junction 1
Munich 1
Olgiate Comasco 1
Padova 1
Piossasco 1
Poggio A Caiano 1
Ponte Lambro 1
Quzhou 1
Redwood City 1
Reggio Nell'emilia 1
Rende 1
Rubiera 1
Salerno 1
San Giuliano Milanese 1
Shenyang 1
Simi Valley 1
Taiyuan 1
Torino 1
Tricesimo 1
Vaglio Basilicata 1
Valganna 1
Véry 1
Totale 3995
Nome #
On requirement verification for evolving Statecharts specifications 129
Esercizi di Informatica Teorica - terza edizione 127
A framework for XML Data Streams History Checking and Monitoring 116
Bounded variability of metric temporal logic 116
LOVER: Light-weight Formal Verification of adaptivE systems at Run time 115
Modeling and analyzing context-aware composition of services 114
History checking of XML data streams 112
Fuzzy time in linear temporal logic 112
An automata-based monitoring technique for commitment-based multi-agent systems 106
Tomorrow and all our yesterdays: MTL satisfiability over the integers 105
Validation of web service compositions 100
Keep it small, keep it real: efficient run-time verification of Web service compositions 100
Model-Checking TRIO specifications in SPIN 99
Managing non-functional uncertainty via model-driven adaptivity 98
Quantifying the discord: order discrepancies in message sequence charts 97
Towards the exhaustive verification of real-time aspects in controller implementation 94
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results 93
Fuzzy Goals for Requirements-Driven Adaptation 93
Model checking temporal metric specifications with Trio2Promela 92
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 90
Evaluating the compatibility of conversational service interactions 90
A model checking approach to verify BPEL4WS workflows 89
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 89
An efficient solution for model checking graph transformation Systems 88
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability 88
Towards automated verification of layered graph transformation specifications 87
On Relaxing Metric Information in Linear Temporal Logic 87
On Requirements Verification for Model Refinements 85
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games 85
On the use of Alloy to analyze graph transformation systems 84
A fuzzy extension of the XPath query language 83
A fuzzy extension for the XPath query language 83
Trio2Promela: a model checker for temporal metric specifications 82
Introduzione alla programmazione in Matlab 82
Context transformations for goal models 81
Commitment monitoring in a multiagent system 78
Verification and analysis of autonomic systems for networked enterprises 78
Internal and external bitstream relocation for partial dynamic reconfiguration 77
Formal analysis of Publish-Subscribe systems by probabilistic timed automata 75
Quantifying the discord: order discrepancies in message sequence charts 74
Relaxing metric information in linear temporal logic 71
Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), ENTCS, Volume 229, Issue 3 60
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 59
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions 52
A timed extension of WSCoL 52
Fuzzy querying of semistructured data 51
Practical efficient modular verification and analysis 48
XQuery layers 46
A formal approach supporting the specification and verification of business conversation requirements. 45
Formal verification of production systems performance: a new approach to the detailed system design phase 45
Practical Model Checking of LTL with Past 42
From model checking to a temporal proof for partial models 39
Informatica teorica 38
Integrating goal model analysis with iterative design 37
Putting all together: using the ArtDeco approach in the winebusiness domain 36
COVER: Change-based goal verifier and reasoner 36
Ambiguity and tacit knowledge in requirements elicitation interviews 35
Common mistakes of student analysts in requirements elicitation interviews 35
Time Modalities over Many-valued Logics 34
Dealing with incompleteness in automata-based model checking 34
Automating trade-off analysis of security requirements 34
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews 34
Proceedings of the 2nd interaction and concurrency experience: structured interactions, EPTCS 12 33
Mathematical logic for computer science 33
Ambiguity in Requirements Engineering: Towards a Unifying Framework 33
Supporting verification-driven incremental distributed design of components 33
Model checking 32
Service-Oriented Software . . . and Carlo’s Services 31
Requirements Elicitation: A Look at the Future Through the Lenses of the Past 30
Are requirements engineering courses covering what industry needs? a preliminary analysis of the United States situation 29
Ambiguity Cues in Requirements Elicitation Interviews 25
Learning requirements elicitation interviews with role-playing, self-assessment and peer-review 25
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews 25
Ambiguity as a Resource to Disclose Tacit Knowledge 24
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education 24
Learning from mistakes: An empirical study of elicitation interviews performed by novices 23
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process 23
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis 23
Empowering requirements elicitation for populations with special needs by using virtual reality 22
BuildingRules: A trigger-action–based system to manage complex commercial buildings 22
On including the institutional review board process in undergraduate information technology curricula 21
Requirements engineering (RE) for social good: RE cares [requirements] 21
Teaching requirements elicitation interviews: an empirical study of learning from mistakes 20
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology 19
REFSQ 2018: Joint proceedings of workshops, doctoral symposium, live studies, and posters and tools track 19
A verification-driven framework for iterative design of controllers 18
REFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track 18
Message from the PC and General Chairs of FormaliSE 2018 16
Totale 5378
Categoria #
all - tutte 8823
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 8823


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201876 0000 034 423 2841
2018/2019880 4441243 11 774 3289195306
2019/20201503 848378299 87147 193169 1141332294
2020/20211244 171034188 2490 4877 32456168208
2021/2022900 116785123 4565 4836 4719480117
2022/2023266 112666424 00 00 0000
Totale 5378