statistiche ricercatore

SPOLETINI, PAOLA

Distribuzione geografica

Continente	#
NA - Nord America	4.981
EU - Europa	2.975
AS - Asia	1.660
SA - Sud America	224
AF - Africa	17
OC - Oceania	6
Continente sconosciuto - Info sul continente non disponibili	1
Totale	9.864

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.912
IT - Italia	1.375
SG - Singapore	574
UA - Ucraina	488
SE - Svezia	326
CN - Cina	307
TR - Turchia	274
HK - Hong Kong	227
VN - Vietnam	212
IE - Irlanda	202
BR - Brasile	196
FI - Finlandia	136
GB - Regno Unito	128
DE - Germania	120
RU - Federazione Russa	84
FR - Francia	42
MX - Messico	37
CA - Canada	21
BE - Belgio	19
IN - India	17
AR - Argentina	13
PL - Polonia	12
BD - Bangladesh	11
NL - Olanda	10
ZA - Sudafrica	9
JP - Giappone	8
AT - Austria	7
CH - Svizzera	5
EC - Ecuador	5
ES - Italia	5
IQ - Iraq	4
NZ - Nuova Zelanda	4
PA - Panama	4
CO - Colombia	3
PE - Perù	3
RO - Romania	3
TT - Trinidad e Tobago	3
UZ - Uzbekistan	3
AE - Emirati Arabi Uniti	2
AU - Australia	2
AZ - Azerbaigian	2
EG - Egitto	2
HU - Ungheria	2
IR - Iran	2
JO - Giordania	2
KZ - Kazakistan	2
LT - Lituania	2
LV - Lettonia	2
MA - Marocco	2
MY - Malesia	2
OM - Oman	2
SA - Arabia Saudita	2
TW - Taiwan	2
VE - Venezuela	2
BB - Barbados	1
BG - Bulgaria	1
CR - Costa Rica	1
DK - Danimarca	1
EU - Europa	1
GE - Georgia	1
GR - Grecia	1
IL - Israele	1
JM - Giamaica	1
KE - Kenya	1
MD - Moldavia	1
MK - Macedonia	1
NG - Nigeria	1
NI - Nicaragua	1
NP - Nepal	1
PK - Pakistan	1
PT - Portogallo	1
PY - Paraguay	1
RS - Serbia	1
SN - Senegal	1
TG - Togo	1
TJ - Tagikistan	1
UY - Uruguay	1
Totale	9.864

Salva come PNG Salva come JPEG

Città	#
Milan	965
Fairfield	669
Jacksonville	408
Woodbridge	406
Chandler	377
Ashburn	368
Singapore	294
Houston	265
Wilmington	264
Seattle	236
Hong Kong	227
Cambridge	212
Ann Arbor	202
Dublin	201
Princeton	176
Beijing	164
Nyköping	153
Izmir	146
Boardman	109
Dong Ket	102
Dearborn	94
Dallas	80
Rome	69
The Dalles	66
New York	65
San Mateo	52
San Diego	51
Chicago	33
Los Angeles	33
Mexico City	28
Como	24
Ogden	24
London	22
Santa Clara	21
Brussels	19
Falls Church	13
Ho Chi Minh City	13
Norwalk	13
Columbus	12
Helsinki	12
São Paulo	12
Warsaw	12
Atlanta	11
Düsseldorf	11
Hanoi	11
Hefei	11
Stockholm	11
Verona	11
Council Bluffs	10
Frankfurt am Main	10
Washington	10
Nanjing	9
Augusta	8
Brooklyn	8
Kunming	8
Prescot	8
Tokyo	8
Belo Horizonte	7
Berlin	7
Edinburgh	7
Toronto	7
Guangzhou	6
Indiana	6
Johannesburg	6
San Francisco	6
Boston	5
Brasília	5
Lappeenranta	5
Montreal	5
Montréal	5
Naples	5
Orem	5
Philadelphia	5
Vienna	5
Amsterdam	4
Chennai	4
Denver	4
Kilburn	4
Manchester	4
Nanchang	4
Panama City	4
Rio de Janeiro	4
Salt Lake City	4
Bengaluru	3
Buffalo	3
Calgary	3
Campinas	3
Caruaru	3
Changsha	3
Charlotte	3
Chengdu	3
Chiswick	3
Curitiba	3
Hangzhou	3
Invercargill	3
Jaboatão dos Guararapes	3
Lima	3
Munich	3
Redmond	3
Tashkent	3
Totale	7.041

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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