GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.498
EU - Europa 1.912
AS - Asia 1.230
SA - Sud America 177
AF - Africa 27
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 4
Totale 6.865
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.457
RU - Federazione Russa 622
IT - Italia 434
PL - Polonia 422
SG - Singapore 299
CN - Cina 258
HK - Hong Kong 252
BR - Brasile 141
VN - Vietnam 141
IE - Irlanda 107
SE - Svezia 91
KR - Corea 88
FR - Francia 65
GB - Regno Unito 55
DE - Germania 37
IN - India 35
JP - Giappone 26
FI - Finlandia 24
CA - Canada 23
JO - Giordania 22
TW - Taiwan 21
TR - Turchia 19
AU - Australia 16
BD - Bangladesh 15
ES - Italia 13
MX - Messico 11
NL - Olanda 11
AR - Argentina 10
ID - Indonesia 10
EC - Ecuador 9
IQ - Iraq 7
SA - Arabia Saudita 7
UA - Ucraina 7
CH - Svizzera 6
ZA - Sudafrica 6
CI - Costa d'Avorio 5
NG - Nigeria 5
CO - Colombia 4
PH - Filippine 4
PY - Paraguay 4
TH - Thailandia 4
TN - Tunisia 4
UZ - Uzbekistan 4
BE - Belgio 3
CL - Cile 3
EU - Europa 3
IL - Israele 3
PK - Pakistan 3
PT - Portogallo 3
AT - Austria 2
BY - Bielorussia 2
DO - Repubblica Dominicana 2
GR - Grecia 2
IR - Iran 2
LT - Lituania 2
NI - Nicaragua 2
PE - Perù 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
BB - Barbados 1
BG - Bulgaria 1
BJ - Benin 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
MA - Marocco 1
MN - Mongolia 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
RO - Romania 1
SC - Seychelles 1
TJ - Tagikistan 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.865
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.146
Warsaw 422
Fairfield 320
Ashburn 310
Singapore 209
Seattle 146
Cambridge 144
Chandler 128
Wilmington 124
Hong Kong 121
Woodbridge 114
Houston 110
Dublin 108
Milan 96
Seoul 88
Beijing 71
Lawrence 60
San Jose 60
Altamura 59
Ann Arbor 59
Florence 44
Moscow 41
Ho Chi Minh City 40
Hanoi 39
Princeton 39
Lauterbourg 36
Los Angeles 36
The Dalles 36
Rome 35
Hefei 34
Southend 29
Medford 26
Tokyo 24
New York 21
Taipei 21
Boston 20
Shanghai 20
Mumbai 18
San Diego 18
Boardman 17
Buffalo 17
Melbourne 16
Naples 15
Clifton 14
Izmir 13
Barcelona 9
São Paulo 9
Toronto 9
Da Nang 8
Dong Ket 8
Figino 8
Norwalk 8
Redwood City 8
Chicago 7
Dallas 7
Helsinki 7
Kent 7
Montreal 7
Orem 7
Turin 7
Atlanta 6
Bologna 6
Brooklyn 6
Cascina 6
Council Bluffs 6
Jacksonville 6
Jakarta 6
Orsay 6
Pisa 6
Tianjin 6
Abidjan 5
Abuja 5
Andover 5
Denver 5
Falls Church 5
Johannesburg 5
Quito 5
Riyadh 5
Salt Lake City 5
San Francisco 5
Trieste 5
Baghdad 4
Brescia 4
Catania 4
Chennai 4
Duncan 4
Frankfurt am Main 4
Groningen 4
Haiphong 4
Nova Iguaçu 4
Phoenix 4
San Antonio 4
Ankara 3
Belo Horizonte 3
Bengaluru 3
Birmingham 3
Campinas 3
Curitiba 3
Detroit 3
Fremont 3
Totale 4.863
Salva come PNG Salva come JPEG
Nome #
A state/event-based model-checking approach for the analysis of abstract system properties. 350
A logical framework to deal with variability 305
Applying the QuARS tool to detect variability 286
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 261
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 254
Controller synthesis of service contracts with variability 233
Ambiguity defects as variation points in requirements 229
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 228
Hacking an Ambiguity Detection Tool to Extract Variation Points 211
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 193
Formal methods and safety certification: Challenges in the railways domain 192
A model-checking tool for families of services. 190
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 188
Adopting Formal Methods in an Industrial Setting: The Railways Case 185
Variability-based design of services for smart transportation systems 183
Model-Based Development and Formal Methods in the Railway Industry 177
Refinement of Behavioural Models for Variability Description 176
An experience with the application of three nlp tools for the analysis of natural language requirements 176
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 173
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 173
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 171
Formal Methods for Distributed Computing in Future Railway Systems 166
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 164
Formal methods for railway control systems 163
States and Events in KandISTI 158
Design and validation of variability in product lines 157
VIBE: Looking for Variability In amBiguous rEquirements? 151
Formal Description of Variability in Product Families 150
On the Adoption of Model Checking in Safety-Related Software Industry 147
Variability and Rigour in Service Computing Engineering 146
Optimizing Feature Interaction Detection 141
A spaCy-based tool for extracting variability from NL requirements 139
Language and Communication Problems in Formalization: A Natural Language Approach 127
Model Checking, cos'è e come si applica 118
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 118
Coherent modal transition systems refinement 113
Using FMC for family-based analysis of software product lines 105
The 4SECURail Case Study on Rigorous Standard Interface Specifications 72
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications 28
A History of Formal Methods in Railways 10
Totale 6.907
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.137
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 18.137
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.840 115 253 139 152 220 68 190 125 133 122 49 274
2026/202734 34 0 0 0 0 0 0 0 0 0 0 0
Totale 6.907