GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.245
EU - Europa 1.600
AS - Asia 959
SA - Sud America 150
AF - Africa 19
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.994
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.218
RU - Federazione Russa 621
PL - Polonia 422
SG - Singapore 253
HK - Hong Kong 250
CN - Cina 186
IT - Italia 182
BR - Brasile 126
IE - Irlanda 107
SE - Svezia 90
KR - Corea 88
VN - Vietnam 63
GB - Regno Unito 49
DE - Germania 35
IN - India 30
FI - Finlandia 23
FR - Francia 23
JO - Giordania 22
AU - Australia 16
TR - Turchia 16
CA - Canada 14
ES - Italia 13
NL - Olanda 11
ID - Indonesia 10
EC - Ecuador 8
MX - Messico 7
UA - Ucraina 7
AR - Argentina 6
JP - Giappone 6
ZA - Sudafrica 6
BD - Bangladesh 5
CI - Costa d'Avorio 5
IQ - Iraq 5
CH - Svizzera 4
PY - Paraguay 4
CO - Colombia 3
EU - Europa 3
IL - Israele 3
PH - Filippine 3
SA - Arabia Saudita 3
TN - Tunisia 3
AT - Austria 2
BY - Bielorussia 2
DO - Repubblica Dominicana 2
GR - Grecia 2
IR - Iran 2
LT - Lituania 2
TH - Thailandia 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
BB - Barbados 1
BE - Belgio 1
BG - Bulgaria 1
BJ - Benin 1
CL - Cile 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
JM - Giamaica 1
KG - Kirghizistan 1
KZ - Kazakistan 1
MA - Marocco 1
MN - Mongolia 1
MY - Malesia 1
NI - Nicaragua 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
RO - Romania 1
TJ - Tagikistan 1
UY - Uruguay 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.994
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.143
Warsaw 422
Fairfield 320
Ashburn 205
Singapore 168
Seattle 146
Cambridge 144
Chandler 128
Wilmington 124
Hong Kong 120
Woodbridge 114
Houston 108
Dublin 107
Seoul 88
Beijing 66
Lawrence 60
Altamura 59
Ann Arbor 58
Florence 41
Moscow 41
Princeton 39
Hefei 34
Los Angeles 33
Southend 29
Medford 26
Ho Chi Minh City 24
San Jose 23
The Dalles 21
Boston 20
Mumbai 18
San Diego 18
Shanghai 18
Buffalo 17
New York 17
Boardman 16
Melbourne 16
Clifton 14
Izmir 13
Hanoi 12
Rome 12
Barcelona 9
Dong Ket 8
Norwalk 8
Redwood City 8
Toronto 8
Chicago 7
Kent 7
São Paulo 7
Cascina 6
Helsinki 6
Jacksonville 6
Jakarta 6
Orsay 6
Pisa 6
Abidjan 5
Andover 5
Atlanta 5
Brooklyn 5
Dallas 5
Denver 5
Falls Church 5
Johannesburg 5
Montreal 5
Salt Lake City 5
Tianjin 5
Tokyo 5
Trieste 5
Council Bluffs 4
Duncan 4
Frankfurt am Main 4
Groningen 4
Nova Iguaçu 4
Phoenix 4
Quito 4
San Francisco 4
Baghdad 3
Belo Horizonte 3
Birmingham 3
Campinas 3
Chennai 3
Curitiba 3
Da Nang 3
Fremont 3
London 3
Milan 3
Ningbo 3
Querétaro 3
Redondo Beach 3
Salvador 3
Stockholm 3
Thiene 3
Wuhan 3
Yubileyny 3
Amsterdam 2
Ankara 2
Asunción 2
Bangkok 2
Beltsville 2
Bengaluru 2
Bern 2
Totale 4.345
Salva come PNG Salva come JPEG
Nome #
A state/event-based model-checking approach for the analysis of abstract system properties. 320
A logical framework to deal with variability 288
Applying the QuARS tool to detect variability 264
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 232
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 223
Controller synthesis of service contracts with variability 209
Ambiguity defects as variation points in requirements 195
Hacking an Ambiguity Detection Tool to Extract Variation Points 193
A model-checking tool for families of services. 177
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 176
Formal methods and safety certification: Challenges in the railways domain 173
Variability-based design of services for smart transportation systems 170
Adopting Formal Methods in an Industrial Setting: The Railways Case 169
Refinement of Behavioural Models for Variability Description 163
An experience with the application of three nlp tools for the analysis of natural language requirements 160
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 156
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 150
Formal Methods for Distributed Computing in Future Railway Systems 150
Model-Based Development and Formal Methods in the Railway Industry 148
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 148
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 148
Formal methods for railway control systems 147
States and Events in KandISTI 141
Design and validation of variability in product lines 138
Formal Description of Variability in Product Families 138
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 138
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 137
VIBE: Looking for Variability In amBiguous rEquirements? 133
On the Adoption of Model Checking in Safety-Related Software Industry 131
Optimizing Feature Interaction Detection 128
Variability and Rigour in Service Computing Engineering 125
A spaCy-based tool for extracting variability from NL requirements 121
Language and Communication Problems in Formalization: A Natural Language Approach 106
Model Checking, cos'è e come si applica 102
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 100
Using FMC for family-based analysis of software product lines 95
Coherent modal transition systems refinement 89
The 4SECURail Case Study on Rigorous Standard Interface Specifications 53
Totale 6.034
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.950
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 15.950
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021307 0 0 0 0 0 0 80 47 78 46 23 33
2021/2022260 15 14 25 5 12 18 8 20 23 14 37 69
2022/2023682 63 157 31 41 135 99 54 18 64 3 8 9
2023/2024251 16 23 37 8 3 30 27 65 9 20 5 8
2024/20252.108 67 162 118 231 758 518 24 41 83 27 38 41
2025/20261.001 115 253 139 152 220 68 54 0 0 0 0 0
Totale 6.034