statistiche ricercatore

SPOLETINI, PAOLA

Distribuzione geografica

Continente	#
NA - Nord America	5.680
EU - Europa	3.118
AS - Asia	2.158
SA - Sud America	244
AF - Africa	61
OC - Oceania	6
Continente sconosciuto - Info sul continente non disponibili	1
Totale	11.268

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	5.590
IT - Italia	1.386
SG - Singapore	727
CN - Cina	494
UA - Ucraina	489
SE - Svezia	326
VN - Vietnam	294
TR - Turchia	276
HK - Hong Kong	251
BR - Brasile	207
IE - Irlanda	202
FI - Finlandia	152
GB - Regno Unito	139
FR - Francia	129
DE - Germania	127
RU - Federazione Russa	86
MX - Messico	46
NG - Nigeria	44
IN - India	32
CA - Canada	28
BE - Belgio	19
BD - Bangladesh	18
AR - Argentina	14
JP - Giappone	14
PL - Polonia	13
IQ - Iraq	11
NL - Olanda	11
ZA - Sudafrica	10
AT - Austria	7
EC - Ecuador	7
ES - Italia	6
CH - Svizzera	5
CO - Colombia	5
SA - Arabia Saudita	5
JO - Giordania	4
MY - Malesia	4
NZ - Nuova Zelanda	4
PA - Panama	4
UZ - Uzbekistan	4
AZ - Azerbaigian	3
MD - Moldavia	3
NO - Norvegia	3
PE - Perù	3
RO - Romania	3
TT - Trinidad e Tobago	3
VE - Venezuela	3
AE - Emirati Arabi Uniti	2
AU - Australia	2
BB - Barbados	2
CR - Costa Rica	2
EG - Egitto	2
GE - Georgia	2
HU - Ungheria	2
IR - Iran	2
KZ - Kazakistan	2
LT - Lituania	2
LV - Lettonia	2
MA - Marocco	2
NI - Nicaragua	2
OM - Oman	2
TW - Taiwan	2
UY - Uruguay	2
AM - Armenia	1
BG - Bulgaria	1
CL - Cile	1
DK - Danimarca	1
EU - Europa	1
GR - Grecia	1
GT - Guatemala	1
ID - Indonesia	1
IL - Israele	1
JM - Giamaica	1
KE - Kenya	1
KH - Cambogia	1
MK - Macedonia	1
NP - Nepal	1
PH - Filippine	1
PK - Pakistan	1
PT - Portogallo	1
PY - Paraguay	1
RS - Serbia	1
SN - Senegal	1
SR - Suriname	1
SV - El Salvador	1
SY - Repubblica araba siriana	1
TG - Togo	1
TJ - Tagikistan	1
Totale	11.268

Salva come PNG Salva come JPEG

Città	#
Milan	965
Fairfield	669
Ashburn	417
Jacksonville	409
Woodbridge	406
San Jose	379
Chandler	377
Singapore	357
Houston	266
Wilmington	264
Hong Kong	249
Seattle	236
Cambridge	212
Ann Arbor	202
Dublin	201
Beijing	185
Princeton	176
Nyköping	153
Izmir	146
The Dalles	121
Boardman	109
Dong Ket	102
Dearborn	94
Dallas	86
Lauterbourg	79
New York	71
Rome	71
Chicago	58
San Mateo	52
Council Bluffs	51
San Diego	51
Abuja	43
Ho Chi Minh City	39
Mexico City	35
Los Angeles	34
Hanoi	29
Helsinki	28
Como	24
Ogden	24
Santa Clara	24
London	23
Orem	20
Brussels	19
Frankfurt am Main	16
Chennai	14
Falls Church	13
Guangzhou	13
Norwalk	13
Tokyo	13
Warsaw	13
Atlanta	12
Columbus	12
São Paulo	12
Düsseldorf	11
Hefei	11
Stockholm	11
Verona	11
Washington	11
Hangzhou	10
Shanghai	10
Nanjing	9
Augusta	8
Brooklyn	8
Kunming	8
Manchester	8
Prescot	8
Belo Horizonte	7
Berlin	7
Da Nang	7
Edinburgh	7
Johannesburg	7
Montreal	7
Toronto	7
Brasília	6
Indiana	6
Nanchang	6
San Francisco	6
Amsterdam	5
Baghdad	5
Boston	5
Denver	5
Haiphong	5
Lappeenranta	5
Montréal	5
Naples	5
Philadelphia	5
Phoenix	5
Rio de Janeiro	5
Shenzhen	5
Tianjin	5
Vienna	5
Zhengzhou	5
Amman	4
Changsha	4
Kilburn	4
Kuala Lumpur	4
Panama City	4
Salt Lake City	4
Suzhou	4
Tashkent	4
Totale	7.991

Salva come PNG Salva come JPEG

Nome	#
Fuzzy time in linear temporal logic	256
Modeling and analyzing context-aware composition of services	214
A framework for XML Data Streams History Checking and Monitoring	210
An automata-based monitoring technique for commitment-based multi-agent systems	204
On requirement verification for evolving Statecharts specifications	195
Bounded variability of metric temporal logic	190
A model checking approach to verify BPEL4WS workflows	189
An efficient solution for model checking graph transformation Systems	189
Tomorrow and all our yesterdays: MTL satisfiability over the integers	187
Keep it small, keep it real: efficient run-time verification of Web service compositions	185
A fuzzy extension of the XPath query language	178
History checking of XML data streams	174
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability	174
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures	172
Towards the exhaustive verification of real-time aspects in controller implementation	172
Trio2Promela: a model checker for temporal metric specifications	170
Esercizi di Informatica Teorica - terza edizione	170
LOVER: Light-weight Formal Verification of adaptivE systems at Run time	170
Model-Checking TRIO specifications in SPIN	169
Validation of web service compositions	165
Towards automated verification of layered graph transformation specifications	164
Quantifying the discord: order discrepancies in message sequence charts	159
Model checking temporal metric specifications with Trio2Promela	157
Introduzione alla programmazione in Matlab	156
Managing non-functional uncertainty via model-driven adaptivity	156
Evaluating the compatibility of conversational service interactions	155
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions	154
Fuzzy querying of semistructured data	150
On Requirements Verification for Model Refinements	150
Fuzzy Goals for Requirements-Driven Adaptation	150
On Relaxing Metric Information in Linear Temporal Logic	148
Context transformations for goal models	148
A fuzzy extension for the XPath query language	146
A formal approach supporting the specification and verification of business conversation requirements.	145
A timed extension of WSCoL	144
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application	144
Practical efficient modular verification and analysis	143
Internal and external bitstream relocation for partial dynamic reconfiguration	139
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems	138
Quantifying the discord: order discrepancies in message sequence charts	132
Verification and analysis of autonomic systems for networked enterprises	131
Relaxing metric information in linear temporal logic	128
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results	127
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games	126
Dealing with incompleteness in automata-based model checking	126
Formal verification of production systems performance: a new approach to the detailed system design phase	123
From model checking to a temporal proof for partial models	123
On the use of Alloy to analyze graph transformation systems	122
Commitment monitoring in a multiagent system	121
COVER: Change-based goal verifier and reasoner	121
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews	120
Common mistakes of student analysts in requirements elicitation interviews	120
Supporting verification-driven incremental distributed design of components	119
BuildingRules: A trigger-action–based system to manage complex commercial buildings	118
Formal analysis of Publish-Subscribe systems by probabilistic timed automata	117
Putting all together: using the ArtDeco approach in the winebusiness domain	115
Ambiguity and tacit knowledge in requirements elicitation interviews	115
Practical Model Checking of LTL with Past	114
Integrating goal model analysis with iterative design	112
Ambiguity in Requirements Engineering: Towards a Unifying Framework	111
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education	106
Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), ENTCS, Volume 229, Issue 3	104
Time Modalities over Many-valued Logics	100
Automating trade-off analysis of security requirements	99
Are requirements engineering courses covering what industry needs? a preliminary analysis of the United States situation	97
A verification-driven framework for iterative design of controllers	96
Mathematical logic for computer science	94
Model checking	91
Ambiguity as a Resource to Disclose Tacit Knowledge	86
Ambiguity Cues in Requirements Elicitation Interviews	86
XQuery layers	84
Service-Oriented Software . . . and Carlo’s Services	84
Proceedings of the 2nd interaction and concurrency experience: structured interactions, EPTCS 12	78
Informatica teorica	76
Teaching requirements elicitation interviews: an empirical study of learning from mistakes	75
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis	74
Learning from mistakes: An empirical study of elicitation interviews performed by novices	72
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews	70
Requirements Elicitation: A Look at the Future Through the Lenses of the Past	69
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process	69
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology	65
Learning requirements elicitation interviews with role-playing, self-assessment and peer-review	63
Empowering requirements elicitation for populations with special needs by using virtual reality	62
Requirements engineering (RE) for social good: RE cares [requirements]	62
REFSQ 2018: Joint proceedings of workshops, doctoral symposium, live studies, and posters and tools track	61
REFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track	60
On including the institutional review board process in undergraduate information technology curricula	58
Message from the PC and General Chairs of FormaliSE 2018	54
Totale	11.315

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	208	0	0	0	0	0	0	0	0	0	0	0	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	1.061	11	19	202	14	28	80	12	99	133	92	79	292
2025/2026	2.473	175	141	98	309	215	156	659	137	238	228	61	56
Totale													11.315