statistiche ricercatore

SPOLETINI, PAOLA

Distribuzione geografica

Continente	#
NA - Nord America	4.346
EU - Europa	2.786
AS - Asia	597
OC - Oceania	6
AF - Africa	2
SA - Sud America	2
Continente sconosciuto - Info sul continente non disponibili	1
Totale	7.740

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.330
IT - Italia	1.344
UA - Ucraina	486
SE - Svezia	319
TR - Turchia	268
IE - Irlanda	201
VN - Vietnam	185
FI - Finlandia	131
CN - Cina	125
DE - Germania	116
GB - Regno Unito	104
FR - Francia	42
BE - Belgio	19
CA - Canada	12
IN - India	6
JP - Giappone	6
NL - Olanda	5
CH - Svizzera	4
NZ - Nuova Zelanda	4
RU - Federazione Russa	4
RO - Romania	3
AT - Austria	2
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
PT - Portogallo	1
SG - Singapore	1
TW - Taiwan	1
ZA - Sudafrica	1
Totale	7.740

Salva come PNG Salva come JPEG

Città	#
Milan	956
Fairfield	669
Jacksonville	408
Woodbridge	406
Chandler	377
Ashburn	311
Houston	265
Wilmington	264
Seattle	236
Cambridge	212
Ann Arbor	202
Dublin	200
Princeton	176
Nyköping	153
Izmir	146
Dong Ket	102
Dearborn	94
Rome	65
Beijing	53
San Mateo	52
San Diego	51
New York	47
Como	24
Ogden	24
Boardman	21
Brussels	19
Falls Church	13
Norwalk	13
Düsseldorf	11
Hefei	11
London	11
Verona	11
Frankfurt am Main	10
Helsinki	10
Washington	10
Atlanta	9
Los Angeles	9
Nanjing	9
Augusta	8
Kunming	8
Prescot	8
Berlin	7
Edinburgh	7
Indiana	6
Tokyo	6
Lappeenranta	5
Montréal	5
Philadelphia	5
Toronto	5
Guangzhou	4
Kilburn	4
Nanchang	4
Naples	4
Stockholm	4
Changsha	3
Chengdu	3
Chiswick	3
Invercargill	3
Redmond	3
Timisoara	3
Zhengzhou	3
Zurich	3
Budapest	2
Cologno al Serio	2
Dallas	2
Dharwad	2
Harbin	2
Hebei	2
Hounslow	2
Islington	2
Jinan	2
Kuala Lumpur	2
Marietta	2
Mcallen	2
Mexico	2
Mogliano Veneto	2
Montreal	2
Panama City	2
Parma	2
Piedimonte Matese	2
Pune	2
Sesto San Giovanni	2
Springfield	2
Strasbourg	2
Trieste	2
Vienna	2
Wenzhou	2
Wuhan	2
Xian	2
Acton	1
Amsterdam	1
Arese	1
Athlone	1
Auburn Hills	1
Auckland	1
Baotou	1
Bellante	1
Bergamo	1
Bodmin	1
Borås	1
Totale	5.839

Salva come PNG Salva come JPEG

Nome	#
A framework for XML Data Streams History Checking and Monitoring	162
On requirement verification for evolving Statecharts specifications	158
Bounded variability of metric temporal logic	158
An automata-based monitoring technique for commitment-based multi-agent systems	155
Modeling and analyzing context-aware composition of services	152
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
Esercizi di Informatica Teorica - terza edizione	137
Tomorrow and all our yesterdays: MTL satisfiability over the integers	135
A model checking approach to verify BPEL4WS workflows	134
Model-Checking TRIO specifications in SPIN	132
Towards the exhaustive verification of real-time aspects in controller implementation	131
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability	131
An efficient solution for model checking graph transformation Systems	130
Towards automated verification of layered graph transformation specifications	128
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures	127
A fuzzy extension of the XPath query language	126
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	116
Quantifying the discord: order discrepancies in message sequence charts	116
Evaluating the compatibility of conversational service interactions	116
Quantifying the discord: order discrepancies in message sequence charts	111
Context transformations for goal models	111
Introduzione alla programmazione in Matlab	110
Managing non-functional uncertainty via model-driven adaptivity	110
Internal and external bitstream relocation for partial dynamic reconfiguration	107
On Relaxing Metric Information in Linear Temporal Logic	105
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	102
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application	100
A fuzzy extension for the XPath query language	100
Fuzzy Goals for Requirements-Driven Adaptation	100
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions	96
A timed extension of WSCoL	96
Verification and analysis of autonomic systems for networked enterprises	96
Practical efficient modular verification and analysis	94
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems	93
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games	91
On the use of Alloy to analyze graph transformation systems	90
A formal approach supporting the specification and verification of business conversation requirements.	88
Formal verification of production systems performance: a new approach to the detailed system design phase	87
COVER: Change-based goal verifier and reasoner	83
Practical Model Checking of LTL with Past	82
Commitment monitoring in a multiagent system	81
From model checking to a temporal proof for partial models	80
Supporting verification-driven incremental distributed design of components	80
Formal analysis of Publish-Subscribe systems by probabilistic timed automata	79
Integrating goal model analysis with iterative design	79
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews	78
Common mistakes of student analysts in requirements elicitation interviews	78
Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), ENTCS, Volume 229, Issue 3	77
Dealing with incompleteness in automata-based model checking	77
Time Modalities over Many-valued Logics	72
BuildingRules: A trigger-action–based system to manage complex commercial buildings	72
Mathematical logic for computer science	66
Ambiguity and tacit knowledge in requirements elicitation interviews	66
Model checking	64
Putting all together: using the ArtDeco approach in the winebusiness domain	62
Ambiguity in Requirements Engineering: Towards a Unifying Framework	60
Proceedings of the 2nd interaction and concurrency experience: structured interactions, EPTCS 12	58
Automating trade-off analysis of security requirements	58
Service-Oriented Software . . . and Carlo’s Services	57
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education	54
Are requirements engineering courses covering what industry needs? a preliminary analysis of the United States situation	52
A verification-driven framework for iterative design of controllers	52
XQuery layers	51
Ambiguity as a Resource to Disclose Tacit Knowledge	51
Ambiguity Cues in Requirements Elicitation Interviews	49
Informatica teorica	43
Requirements Elicitation: A Look at the Future Through the Lenses of the Past	39
Learning from mistakes: An empirical study of elicitation interviews performed by novices	37
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews	34
Learning requirements elicitation interviews with role-playing, self-assessment and peer-review	33
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process	33
Empowering requirements elicitation for populations with special needs by using virtual reality	32
Teaching requirements elicitation interviews: an empirical study of learning from mistakes	31
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology	30
On including the institutional review board process in undergraduate information technology curricula	30
REFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track	30
Requirements engineering (RE) for social good: RE cares [requirements]	29
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis	29
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.787

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	28.842
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	28.842

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	1.503	84	83	78	299	87	147	193	169	114	133	22	94
2020/2021	1.244	17	103	41	88	24	90	48	77	324	56	168	208
2021/2022	900	116	78	51	23	45	65	48	36	47	194	80	117
2022/2023	1.060	112	66	64	122	79	239	0	137	144	29	45	23
2023/2024	1.609	251	239	236	312	379	101	8	30	32	10	7	4
2024/2025	6	6	0	0	0	0	0	0	0	0	0	0	0
Totale													7.787