GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.573
EU - Europa 1.944
AS - Asia 1.235
SA - Sud America 178
Continente sconosciuto - Info sul continente non disponibili 46
AF - Africa 27
OC - Oceania 17
Totale 7.020
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.516
RU - Federazione Russa 622
IT - Italia 440
PL - Polonia 422
SG - Singapore 301
CN - Cina 258
HK - Hong Kong 253
BR - Brasile 141
VN - Vietnam 141
SE - Svezia 114
IE - Irlanda 107
KR - Corea 88
FR - Francia 65
GB - Regno Unito 55
DE - Germania 38
CA - Canada 37
IN - India 37
JP - Giappone 26
FI - Finlandia 24
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
EC - Ecuador 10
ID - Indonesia 10
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
GR - Grecia 3
IL - Israele 3
PK - Pakistan 3
PT - Portogallo 3
AT - Austria 2
BY - Bielorussia 2
DO - Repubblica Dominicana 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
CU - Cuba 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
IS - Islanda 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
SV - El Salvador 1
TJ - Tagikistan 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.978
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.151
Warsaw 422
Fairfield 320
Ashburn 315
Singapore 210
Seattle 146
Cambridge 145
Chandler 128
Wilmington 124
Hong Kong 122
Woodbridge 114
Houston 110
Dublin 108
Milan 96
Seoul 88
Beijing 71
San Jose 70
Lawrence 60
Altamura 59
Ann Arbor 59
Florence 44
Moscow 41
Ho Chi Minh City 40
Hanoi 39
Princeton 39
Lauterbourg 36
Los Angeles 36
Rome 36
The Dalles 36
Hefei 34
Southend 29
Medford 26
Council Bluffs 25
Tokyo 24
New York 22
Taipei 21
Boston 20
Shanghai 20
Mumbai 19
San Diego 18
Boardman 17
Buffalo 17
Melbourne 16
Naples 15
Clifton 14
Izmir 13
Barcelona 9
São Paulo 9
Toronto 9
Chicago 8
Da Nang 8
Dong Ket 8
Figino 8
Norwalk 8
Redwood City 8
Dallas 7
Helsinki 7
Kent 7
Montreal 7
Orem 7
Turin 7
Atlanta 6
Bologna 6
Brooklyn 6
Cascina 6
Jacksonville 6
Jakarta 6
Orsay 6
Pisa 6
Quito 6
Tianjin 6
Abidjan 5
Abuja 5
Andover 5
Chennai 5
Denver 5
Falls Church 5
Johannesburg 5
Riyadh 5
Salt Lake City 5
San Francisco 5
Trieste 5
Baghdad 4
Brescia 4
Catania 4
Duncan 4
Frankfurt am Main 4
Groningen 4
Haiphong 4
London 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
Totale 4.912
Salva come PNG Salva come JPEG
Nome #
A state/event-based model-checking approach for the analysis of abstract system properties. 353
A logical framework to deal with variability 311
Applying the QuARS tool to detect variability 290
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 267
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 258
Controller synthesis of service contracts with variability 236
Ambiguity defects as variation points in requirements 231
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 230
Hacking an Ambiguity Detection Tool to Extract Variation Points 211
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 197
Formal methods and safety certification: Challenges in the railways domain 195
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 194
A model-checking tool for families of services. 193
Adopting Formal Methods in an Industrial Setting: The Railways Case 187
Variability-based design of services for smart transportation systems 185
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 181
Model-Based Development and Formal Methods in the Railway Industry 178
Refinement of Behavioural Models for Variability Description 177
An experience with the application of three nlp tools for the analysis of natural language requirements 177
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 175
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 174
Formal Methods for Distributed Computing in Future Railway Systems 168
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 166
Formal methods for railway control systems 165
Design and validation of variability in product lines 160
States and Events in KandISTI 159
Formal Description of Variability in Product Families 155
VIBE: Looking for Variability In amBiguous rEquirements? 151
On the Adoption of Model Checking in Safety-Related Software Industry 149
Variability and Rigour in Service Computing Engineering 147
A spaCy-based tool for extracting variability from NL requirements 144
Optimizing Feature Interaction Detection 141
Language and Communication Problems in Formalization: A Natural Language Approach 130
Model Checking, cos'è e come si applica 119
Coherent modal transition systems refinement 118
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 118
Using FMC for family-based analysis of software product lines 106
The 4SECURail Case Study on Rigorous Standard Interface Specifications 77
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications 29
A History of Formal Methods in Railways 18
Totale 7.020
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.805
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.805
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022245 0 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/2027147 84 63 0 0 0 0 0 0 0 0 0 0
Totale 7.020