statistiche ricercatore

SPOLETINI, PAOLA

Distribuzione geografica

Continente	#
NA - Nord America	5.830
EU - Europa	3.124
AS - Asia	2.189
SA - Sud America	254
AF - Africa	61
Continente sconosciuto - Info sul continente non disponibili	48
OC - Oceania	6
Totale	11.512

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	5.728
IT - Italia	1.390
SG - Singapore	733
CN - Cina	505
UA - Ucraina	489
SE - Svezia	326
VN - Vietnam	295
TR - Turchia	276
HK - Hong Kong	252
BR - Brasile	211
IE - Irlanda	202
FI - Finlandia	152
GB - Regno Unito	139
FR - Francia	129
DE - Germania	127
RU - Federazione Russa	86
MX - Messico	47
NG - Nigeria	44
CA - Canada	32
IN - India	32
BD - Bangladesh	23
BE - Belgio	19
AR - Argentina	15
JP - Giappone	14
PL - Polonia	13
NL - Olanda	12
IQ - Iraq	11
ZA - Sudafrica	10
CO - Colombia	8
EC - Ecuador	8
AT - Austria	7
ES - Italia	7
CR - Costa Rica	6
MY - Malesia	6
CH - Svizzera	5
SA - Arabia Saudita	5
JO - Giordania	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
CL - Cile	2
EG - Egitto	2
GE - Georgia	2
HU - Ungheria	2
IR - Iran	2
JM - Giamaica	2
KZ - Kazakistan	2
LT - Lituania	2
LV - Lettonia	2
MA - Marocco	2
NI - Nicaragua	2
NP - Nepal	2
OM - Oman	2
PK - Pakistan	2
SV - El Salvador	2
SY - Repubblica araba siriana	2
TW - Taiwan	2
UY - Uruguay	2
AM - Armenia	1
BG - Bulgaria	1
DK - Danimarca	1
EU - Europa	1
GR - Grecia	1
GT - Guatemala	1
HN - Honduras	1
ID - Indonesia	1
IL - Israele	1
KE - Kenya	1
KH - Cambogia	1
KW - Kuwait	1
MK - Macedonia	1
PH - Filippine	1
PT - Portogallo	1
PY - Paraguay	1
RS - Serbia	1
SN - Senegal	1
SR - Suriname	1
TG - Togo	1
TH - Thailandia	1
TJ - Tagikistan	1
Totale	11.465

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	784	0	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.498	175	141	98	309	215	156	659	137	238	228	61	81
2026/2027	172	62	110	0	0	0	0	0	0	0	0	0	0
Totale													11.512