statistiche ricercatore

SPOLETINI, PAOLA

Distribuzione geografica

Continente	#
NA - Nord America	4.518
EU - Europa	2.804
AS - Asia	665
SA - Sud America	7
OC - Oceania	6
AF - Africa	2
Continente sconosciuto - Info sul continente non disponibili	1
Totale	8.003

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.502
IT - Italia	1.351
UA - Ucraina	486
SE - Svezia	319
TR - Turchia	269
IE - Irlanda	201
VN - Vietnam	185
FI - Finlandia	133
CN - Cina	131
DE - Germania	119
GB - Regno Unito	104
SG - Singapore	56
FR - Francia	42
BE - Belgio	19
CA - Canada	12
IN - India	9
BR - Brasile	7
NL - Olanda	7
JP - Giappone	6
AT - Austria	5
RU - Federazione Russa	5
CH - Svizzera	4
NZ - Nuova Zelanda	4
RO - Romania	3
AU - Australia	2
HU - Ungheria	2
IR - Iran	2
MX - Messico	2
MY - Malesia	2
PA - Panama	2
AE - Emirati Arabi Uniti	1
DK - Danimarca	1
ES - Italia	1
EU - Europa	1
IL - Israele	1
IQ - Iraq	1
KZ - Kazakistan	1
MD - Moldavia	1
NG - Nigeria	1
PT - Portogallo	1
TW - Taiwan	1
ZA - Sudafrica	1
Totale	8.003

Salva come PNG Salva come JPEG

Città	#
Milan	959
Fairfield	669
Jacksonville	408
Woodbridge	406
Chandler	377
Ashburn	312
Houston	265
Wilmington	264
Seattle	236
Cambridge	212
Ann Arbor	202
Dublin	200
Princeton	176
Nyköping	153
Izmir	146
Boardman	109
Dong Ket	102
Dearborn	94
Rome	65
Beijing	53
San Mateo	52
San Diego	51
New York	47
Singapore	43
Como	24
Ogden	24
Chicago	23
Brussels	19
Santa Clara	15
Falls Church	13
Norwalk	13
Helsinki	12
Düsseldorf	11
Hefei	11
London	11
Verona	11
Dallas	10
Frankfurt am Main	10
Washington	10
Atlanta	9
Los Angeles	9
Nanjing	9
Augusta	8
Kunming	8
Prescot	8
Berlin	7
Edinburgh	7
Indiana	6
Tokyo	6
Guangzhou	5
Lappeenranta	5
Montréal	5
Philadelphia	5
Toronto	5
Kilburn	4
Nanchang	4
Naples	4
Stockholm	4
Vienna	4
Bengaluru	3
Changsha	3
Chengdu	3
Chiswick	3
Invercargill	3
Munich	3
Redmond	3
Timisoara	3
Zhengzhou	3
Zurich	3
Budapest	2
Cologno al Serio	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
Wenzhou	2
Wuhan	2
Xian	2
Acton	1
Alvorada	1
Amsterdam	1
Arese	1
Athlone	1
Auburn Hills	1
Totale	6.026

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	959	0	0	0	0	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	269	11	19	202	14	23	0	0	0	0	0	0	0
Totale													8.050