statistiche ricercatore

SPOLETINI, PAOLA

Distribuzione geografica

Continente	#
NA - Nord America	5.515
EU - Europa	3.107
AS - Asia	2.130
SA - Sud America	244
AF - Africa	61
OC - Oceania	6
Continente sconosciuto - Info sul continente non disponibili	1
Totale	11.064

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	5.432
IT - Italia	1.381
SG - Singapore	718
UA - Ucraina	489
CN - Cina	482
SE - Svezia	326
VN - Vietnam	293
TR - Turchia	276
HK - Hong Kong	249
BR - Brasile	207
IE - Irlanda	202
FI - Finlandia	152
GB - Regno Unito	138
FR - Francia	129
DE - Germania	127
RU - Federazione Russa	84
MX - Messico	46
NG - Nigeria	44
IN - India	31
CA - Canada	25
BE - Belgio	19
BD - Bangladesh	17
AR - Argentina	14
JP - Giappone	13
PL - Polonia	13
IQ - Iraq	11
NL - Olanda	11
ZA - Sudafrica	10
AT - Austria	7
EC - Ecuador	7
CH - Svizzera	5
CO - Colombia	5
ES - Italia	5
SA - Arabia Saudita	5
JO - Giordania	4
NZ - Nuova Zelanda	4
PA - Panama	4
UZ - Uzbekistan	4
AZ - Azerbaigian	3
MY - Malesia	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
EG - Egitto	2
GE - Georgia	2
HU - Ungheria	2
IR - Iran	2
KZ - Kazakistan	2
LT - Lituania	2
LV - Lettonia	2
MA - Marocco	2
OM - Oman	2
TW - Taiwan	2
UY - Uruguay	2
AM - Armenia	1
BG - Bulgaria	1
CL - Cile	1
CR - Costa Rica	1
DK - Danimarca	1
EU - Europa	1
GR - Grecia	1
ID - Indonesia	1
IL - Israele	1
JM - Giamaica	1
KE - Kenya	1
KH - Cambogia	1
MD - Moldavia	1
MK - Macedonia	1
NI - Nicaragua	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
SY - Repubblica araba siriana	1
TG - Togo	1
TJ - Tagikistan	1
Totale	11.064

Salva come PNG Salva come JPEG

Città	#
Milan	965
Fairfield	669
Ashburn	413
Jacksonville	408
Woodbridge	406
Chandler	377
Singapore	356
San Jose	322
Houston	265
Wilmington	264
Hong Kong	247
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	82
Lauterbourg	79
Rome	71
New York	67
Chicago	57
San Mateo	52
San Diego	51
Abuja	43
Ho Chi Minh City	39
Mexico City	35
Los Angeles	33
Hanoi	29
Helsinki	28
Como	24
Ogden	24
Santa Clara	24
London	22
Orem	20
Brussels	19
Frankfurt am Main	16
Chennai	14
Falls Church	13
Guangzhou	13
Norwalk	13
Tokyo	13
Warsaw	13
Columbus	12
Council Bluffs	12
São Paulo	12
Atlanta	11
Düsseldorf	11
Hefei	11
Stockholm	11
Verona	11
Hangzhou	10
Shanghai	10
Washington	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
Toronto	7
Brasília	6
Indiana	6
Montreal	6
Nanchang	6
San Francisco	6
Amsterdam	5
Baghdad	5
Boston	5
Lappeenranta	5
Montréal	5
Naples	5
Philadelphia	5
Rio de Janeiro	5
Tianjin	5
Vienna	5
Zhengzhou	5
Amman	4
Changsha	4
Denver	4
Haiphong	4
Kilburn	4
Panama City	4
Salt Lake City	4
Shenzhen	4
Suzhou	4
Tashkent	4
Wuhan	4
Ankara	3
Totale	7.867

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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