GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.432
EU - Europa 1.667
AS - Asia 1.219
SA - Sud America 177
AF - Africa 27
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 4
Totale 6.543
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.396
RU - Federazione Russa 622
PL - Polonia 422
SG - Singapore 298
CN - Cina 257
HK - Hong Kong 251
IT - Italia 190
BR - Brasile 141
VN - Vietnam 140
IE - Irlanda 107
SE - Svezia 91
KR - Corea 88
FR - Francia 64
GB - Regno Unito 55
DE - Germania 37
IN - India 35
JP - Giappone 26
FI - Finlandia 24
JO - Giordania 22
TW - Taiwan 21
CA - Canada 19
TR - Turchia 19
AU - Australia 16
ES - Italia 13
NL - Olanda 11
AR - Argentina 10
ID - Indonesia 10
MX - Messico 10
EC - Ecuador 9
BD - Bangladesh 8
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.543
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.145
Warsaw 422
Fairfield 320
Ashburn 283
Singapore 208
Seattle 146
Cambridge 144
Chandler 128
Wilmington 124
Hong Kong 121
Woodbridge 114
Houston 108
Dublin 107
Seoul 88
Beijing 70
Lawrence 60
Altamura 59
Ann Arbor 59
San Jose 58
Florence 41
Moscow 41
Hanoi 39
Ho Chi Minh City 39
Princeton 39
Lauterbourg 36
The Dalles 36
Hefei 34
Los Angeles 33
Southend 29
Medford 26
Tokyo 24
New York 21
Taipei 21
Boston 20
Shanghai 20
Mumbai 18
San Diego 18
Buffalo 17
Boardman 16
Melbourne 16
Clifton 14
Izmir 13
Rome 12
Barcelona 9
São Paulo 9
Toronto 9
Da Nang 8
Dong Ket 8
Norwalk 8
Redwood City 8
Chicago 7
Dallas 7
Helsinki 7
Kent 7
Orem 7
Atlanta 6
Cascina 6
Council Bluffs 6
Jacksonville 6
Jakarta 6
Montreal 6
Orsay 6
Pisa 6
Tianjin 6
Abidjan 5
Abuja 5
Andover 5
Brooklyn 5
Denver 5
Falls Church 5
Johannesburg 5
Quito 5
Riyadh 5
Salt Lake City 5
San Francisco 5
Trieste 5
Baghdad 4
Chennai 4
Duncan 4
Frankfurt am Main 4
Groningen 4
Haiphong 4
Nova Iguaçu 4
Phoenix 4
Ankara 3
Belo Horizonte 3
Bengaluru 3
Birmingham 3
Campinas 3
Curitiba 3
Fremont 3
Guangzhou 3
London 3
Milan 3
Ningbo 3
Nuremberg 3
Querétaro 3
Redondo Beach 3
Salvador 3
Stockholm 3
Totale 4.675
Salva come PNG Salva come JPEG
Nome #
A state/event-based model-checking approach for the analysis of abstract system properties. 340
A logical framework to deal with variability 299
Applying the QuARS tool to detect variability 276
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 247
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 247
Controller synthesis of service contracts with variability 224
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 222
Ambiguity defects as variation points in requirements 209
Hacking an Ambiguity Detection Tool to Extract Variation Points 204
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 186
Formal methods and safety certification: Challenges in the railways domain 185
A model-checking tool for families of services. 184
Adopting Formal Methods in an Industrial Setting: The Railways Case 181
Variability-based design of services for smart transportation systems 181
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 171
Refinement of Behavioural Models for Variability Description 169
An experience with the application of three nlp tools for the analysis of natural language requirements 167
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 167
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 165
Model-Based Development and Formal Methods in the Railway Industry 160
Formal Methods for Distributed Computing in Future Railway Systems 159
Formal methods for railway control systems 156
States and Events in KandISTI 154
Design and validation of variability in product lines 150
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 150
VIBE: Looking for Variability In amBiguous rEquirements? 149
Formal Description of Variability in Product Families 148
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 148
On the Adoption of Model Checking in Safety-Related Software Industry 140
Variability and Rigour in Service Computing Engineering 139
Optimizing Feature Interaction Detection 137
A spaCy-based tool for extracting variability from NL requirements 131
Language and Communication Problems in Formalization: A Natural Language Approach 117
Model Checking, cos'è e come si applica 111
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 108
Coherent modal transition systems refinement 107
Using FMC for family-based analysis of software product lines 102
The 4SECURail Case Study on Rigorous Standard Interface Specifications 68
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications 19
A History of Formal Methods in Railways 8
Totale 6.585
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.194
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 17.194
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202156 0 0 0 0 0 0 0 0 0 0 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.552 115 253 139 152 220 68 190 125 133 122 35 0
Totale 6.585