GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.912
EU - Europa 1.372
AS - Asia 433
OC - Oceania 16
AF - Africa 6
SA - Sud America 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.746
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.906
RU - Federazione Russa 458
PL - Polonia 418
HK - Hong Kong 200
IT - Italia 166
IE - Irlanda 106
SE - Svezia 88
SG - Singapore 84
CN - Cina 67
GB - Regno Unito 45
DE - Germania 23
FI - Finlandia 22
JO - Giordania 22
FR - Francia 20
IN - India 20
AU - Australia 16
TR - Turchia 13
ES - Italia 9
VN - Vietnam 8
CA - Canada 6
CI - Costa d'Avorio 5
ID - Indonesia 5
UA - Ucraina 5
BR - Brasile 4
CH - Svizzera 3
EU - Europa 3
NL - Olanda 3
IL - Israele 2
IR - Iran 2
JP - Giappone 2
SA - Arabia Saudita 2
AT - Austria 1
BY - Bielorussia 1
DK - Danimarca 1
EG - Egitto 1
GE - Georgia 1
GR - Grecia 1
KZ - Kazakistan 1
MY - Malesia 1
PT - Portogallo 1
RO - Romania 1
TH - Thailandia 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 4.746
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.139
Warsaw 418
Fairfield 320
Seattle 146
Ashburn 144
Cambridge 144
Chandler 128
Wilmington 124
Woodbridge 114
Houston 108
Dublin 106
Hong Kong 70
Singapore 69
Lawrence 60
Altamura 59
Ann Arbor 58
Princeton 39
Florence 38
Beijing 35
Moscow 33
Southend 29
Medford 26
Mumbai 18
San Diego 18
Shanghai 18
Boston 17
Boardman 16
Melbourne 16
Izmir 13
New York 12
Rome 12
Barcelona 9
Dong Ket 8
Norwalk 8
Redwood City 8
Cascina 6
Jacksonville 6
Orsay 6
Pisa 6
Toronto 6
Abidjan 5
Andover 5
Falls Church 5
Helsinki 5
Jakarta 5
Duncan 4
Kent 4
Fremont 3
London 3
Ningbo 3
Thiene 3
Wuhan 3
Yubileyny 3
Bern 2
Groningen 2
Guangzhou 2
Holon 2
Honolulu 2
Karlsruhe 2
Kilburn 2
Kowloon City 2
Lauro de Freitas 2
Lucca 2
New Bedfont 2
Nova Iguaçu 2
Orzinuovi 2
Phoenix 2
Raipur 2
Torino 2
Acton 1
Almaty 1
Atlanta 1
Bangkok 1
Birmingham 1
Blackpool 1
Brescia 1
Brossasco 1
Buffalo 1
Central District 1
Clifton 1
Coleraine 1
Coppell 1
Council Bluffs 1
Düsseldorf 1
Fuzhou 1
Grevenbroich 1
Heze 1
Hillsboro 1
Kashan 1
Khobar 1
Laurel 1
Los Angeles 1
Lugano 1
Lyngby 1
Miami 1
Milan 1
Mogilëv 1
Molfetta 1
Nagold 1
Nuremberg 1
Totale 3.724
Salva come PNG Salva come JPEG
Nome #
A state/event-based model-checking approach for the analysis of abstract system properties. 279
A logical framework to deal with variability 253
Applying the QuARS tool to detect variability 227
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 216
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 186
Ambiguity defects as variation points in requirements 169
Controller synthesis of service contracts with variability 166
Hacking an Ambiguity Detection Tool to Extract Variation Points 149
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 147
Formal methods and safety certification: Challenges in the railways domain 147
A model-checking tool for families of services. 142
Variability-based design of services for smart transportation systems 142
Refinement of Behavioural Models for Variability Description 141
Adopting Formal Methods in an Industrial Setting: The Railways Case 139
Formal Methods for Distributed Computing in Future Railway Systems 123
Formal methods for railway control systems 121
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 121
Model-Based Development and Formal Methods in the Railway Industry 120
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 119
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 117
States and Events in KandISTI 114
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 112
Design and validation of variability in product lines 110
Formal Description of Variability in Product Families 109
Optimizing Feature Interaction Detection 108
An experience with the application of three nlp tools for the analysis of natural language requirements 108
Variability and Rigour in Service Computing Engineering 107
On the Adoption of Model Checking in Safety-Related Software Industry 105
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 96
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 92
Language and Communication Problems in Formalization: A Natural Language Approach 86
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 83
Model Checking, cos'è e come si applica 82
A spaCy-based tool for extracting variability from NL requirements 77
Using FMC for family-based analysis of software product lines 73
VIBE: Looking for Variability In amBiguous rEquirements? 69
Coherent modal transition systems refinement 16
The 4SECURail Case Study on Rigorous Standard Interface Specifications 14
Totale 4.785
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.084
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 12.084
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020376 0 0 0 0 0 0 87 93 89 49 41 17
2020/2021486 30 43 13 48 17 28 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/20251.860 67 162 118 231 758 518 6 0 0 0 0 0
Totale 4.785