FANTECHI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.082
EU - Europa 9.598
AS - Asia 4.982
SA - Sud America 683
Continente sconosciuto - Info sul continente non disponibili 167
AF - Africa 151
OC - Oceania 86
Totale 28.749
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.900
PL - Polonia 3.506
RU - Federazione Russa 2.134
IT - Italia 1.784
CN - Cina 1.331
SG - Singapore 1.271
HK - Hong Kong 723
VN - Vietnam 565
BR - Brasile 540
IE - Irlanda 442
SE - Svezia 437
KR - Corea 395
DE - Germania 367
UA - Ucraina 227
FR - Francia 207
FI - Finlandia 200
IN - India 134
GB - Regno Unito 129
BD - Bangladesh 123
CA - Canada 107
AU - Australia 83
JO - Giordania 80
JP - Giappone 74
ID - Indonesia 57
AR - Argentina 50
NL - Olanda 46
TR - Turchia 45
MX - Messico 40
CI - Costa d'Avorio 32
ES - Italia 32
TW - Taiwan 30
EC - Ecuador 28
ZA - Sudafrica 27
IQ - Iraq 24
NG - Nigeria 19
PK - Pakistan 15
SA - Arabia Saudita 15
CO - Colombia 14
BE - Belgio 13
MA - Marocco 13
TN - Tunisia 13
AT - Austria 12
UZ - Uzbekistan 12
VE - Venezuela 12
CL - Cile 11
LT - Lituania 11
NP - Nepal 11
PE - Perù 11
SC - Seychelles 11
CH - Svizzera 10
KE - Kenya 10
PH - Filippine 10
PY - Paraguay 10
DZ - Algeria 8
EU - Europa 8
TH - Thailandia 8
AZ - Azerbaigian 7
RO - Romania 7
DK - Danimarca 6
DO - Repubblica Dominicana 6
EG - Egitto 6
AE - Emirati Arabi Uniti 5
CR - Costa Rica 5
GE - Georgia 5
JM - Giamaica 5
LB - Libano 5
AO - Angola 4
IR - Iran 4
KZ - Kazakistan 4
NI - Nicaragua 4
OM - Oman 4
SV - El Salvador 4
UY - Uruguay 4
AL - Albania 3
BG - Bulgaria 3
BO - Bolivia 3
ET - Etiopia 3
GR - Grecia 3
HN - Honduras 3
IL - Israele 3
KG - Kirghizistan 3
MD - Moldavia 3
MM - Myanmar 3
PA - Panama 3
PS - Palestinian Territory 3
PT - Portogallo 3
BB - Barbados 2
BJ - Benin 2
BY - Bielorussia 2
CZ - Repubblica Ceca 2
KW - Kuwait 2
LV - Lettonia 2
MY - Malesia 2
NZ - Nuova Zelanda 2
QA - Qatar 2
XK - ???statistics.table.value.countryCode.XK??? 2
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
CU - Cuba 1
Totale 28.575
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.636
Warsaw 3.506
Fairfield 1.200
Ashburn 1.139
Singapore 901
Seattle 520
Woodbridge 515
Hong Kong 486
Chandler 483
Cambridge 474
Dublin 439
Houston 435
Wilmington 435
Seoul 394
Milan 350
Jacksonville 315
San Jose 278
Beijing 277
Altamura 232
Hefei 224
Lawrence 210
Ann Arbor 191
Ho Chi Minh City 161
Princeton 157
Florence 155
Los Angeles 147
The Dalles 146
Lauterbourg 138
Rome 127
Hanoi 119
Munich 103
Moscow 102
Buffalo 99
Medford 99
Boston 89
Hangzhou 86
Helsinki 86
Boardman 83
Melbourne 82
Mumbai 73
New York 72
Tokyo 70
San Diego 61
Shanghai 58
Dallas 56
Naples 52
Council Bluffs 48
Dong Ket 42
São Paulo 42
Jakarta 41
Kent 40
Clifton 36
Izmir 35
Abidjan 32
Southend 32
Norwalk 31
Turin 31
Da Nang 29
Taipei 29
Toronto 29
Bologna 28
Chicago 26
Frankfurt am Main 26
Guangzhou 26
Dearborn 25
Phoenix 25
Redondo Beach 25
Haiphong 23
Atlanta 22
Figino 22
Miano 20
Abuja 19
Montreal 19
Falls Church 18
Orem 18
Barcelona 17
Frankfurt Am Main 17
London 17
Rio de Janeiro 17
Shenzhen 17
Belo Horizonte 16
Pisa 16
San Francisco 16
Latina 15
Lucca 15
Redwood City 15
Johannesburg 14
Andover 13
Hải Dương 13
Las Vegas 13
Verona 13
Bari 12
Brescia 12
Genoa 12
Hillsboro 12
Tianjin 12
Yubileyny 12
Biên Hòa 11
Curitiba 11
Mexico City 11
Totale 20.249
Salva come PNG Salva come JPEG
Nome #
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain 430
A Story about Formal Methods Adoption by a Railway Signaling Manufacturer 374
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 371
Validation process for railway interlocking systems 370
A state/event-based model-checking approach for the analysis of abstract system properties. 352
A model checking approach for verifying COWS specifications 332
Session types for orchestration charts 318
Model Based Testing and Abstract Interpretation in the Railway Signaling Context 315
Model-Based Development of an Automatic Train Operation Component for Communication Based Train Control 311
A logical framework to deal with variability 309
Witness and counterexample automata for ACTL 300
A deontic logical framework for modelling product families 296
Analysis of a Road/Tramway Intersection by the ORIS Tool 296
Applying the QuARS tool to detect variability 288
Compositional model checking of interlocking systems for lines with multiple stations 282
Towards a Discipline of System Engineering: Validation of Dependable Systems 281
An experience in using a tool for evaluating a large set of natural language requirements 274
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). 272
Formal modeling for product families engineering 270
Formal modeling for railway signaling using commercial tools 265
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP 265
Statecharts composition to model topologically distributed applications 264
Formal Development for Railway Signaling Using Commercial Tools 264
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications 262
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 262
Model driven development of railway systems using diversity 258
An industrial application of formal model based development: the Metro Rio ATP case 258
An On-line system for automated recognition of human activities 258
Deontic logics for modeling behavioural variability 256
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 256
A novel layered approach to evaluate reliability of complex systems 239
Integrated Validation of Dependable Systems 239
Validation of Railway Interlocking Systems by Formal Verification, A Case Study 233
Ambiguity defects as variation points in requirements 230
Product line models of large cyber-physical systems 230
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 229
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 229
A Logical Verification Methodology for Service-Oriented Computing 216
Hacking an Ambiguity Detection Tool to Extract Variation Points 211
Safety Interlocking as a Distributed Mutual Exclusion Problem 211
Stochastic modeling and analysis of road–tramway intersections 201
An efficient library for reliability block diagram evaluation 198
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 196
Model Checking Interlocking Control Tables 195
"A Comparison between Handwritten and Automatic Generation of C Code from SDL using Static Analysis" 195
Formal methods and safety certification: Challenges in the railways domain 193
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 192
A GUI Testability Problem: A Case Study in the Railway Signaling Domain 192
A model-checking tool for families of services. 191
Twenty-Five Years of Formal Methods and Railways: What Next? - Software Engineering and Formal Methods 190
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 189
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 189
A Symbolic Model Checker for ACTL 186
Informatica Industriale 186
Adopting Formal Methods in an Industrial Setting: The Railways Case 185
Variability-based design of services for smart transportation systems 184
A Methodology for the Derivation and Verification of Use Cases for Product Lines 180
Enhancing test coverage by back-tracing model-checker counterexamples 178
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 178
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
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 176
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker 175
A Behavioural Model for Product Families 174
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 174
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 172
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies 170
Software rejuvenation and runtime reliability monitoring 170
Application of Linguistic Techniques for Use Case Analysis 170
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System 168
Formalizing REST APIs for web-based communication and SIP interworking 167
Compositional verification of multi-station interlocking systems 166
Formal Methods for Distributed Computing in Future Railway Systems 166
Formally Verifying Fault Tolerant System Designs 165
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems 164
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living 164
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 164
Formal methods for railway control systems 163
Object-oriented analysis of COBOL 162
Adding Sessions to BPEL 161
Future Train Control Systems: Challenges for Dependability Assessment 160
Connected or Autonomous Trains? 160
Validation Coverage for a Component-based SDL model of a Railway Signaling System 159
States and Events in KandISTI 159
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems 158
Design and validation of variability in product lines 158
From Behavioural Contracts to Session Types 157
Formal techniques for a data-driven certification of advanced railway signalling systems 157
Formal Validation of the GUARDS Inter-consistency Mechanism 156
STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities 156
SYRMA: a tool for a system approach to risk management in mission critical systems 155
Topologically configurable systems as product families 155
Automated Compositional Verification of Interlocking Systems 154
Formal Description of Variability in Product Families 153
VIBE: Looking for Variability In amBiguous rEquirements? 151
Comparing formal tools for system design: A judgment study 151
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer: Applying Formal Methods to Railway Standard Interfaces 151
Model Checking Fault Tolerant Systems 149
The Metrô Rio case study 149
Totale 21.442
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.701
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 71.701
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022965 0 107 90 21 31 46 38 76 56 57 171 272
2022/20232.415 250 547 87 159 245 413 217 112 263 13 77 32
2023/2024782 50 105 151 54 27 73 51 152 15 49 26 29
2024/20257.402 232 635 387 804 2.651 1.522 147 208 374 116 151 175
2025/20267.538 516 1.032 609 576 789 296 852 498 548 440 240 1.142
2026/2027319 312 7 0 0 0 0 0 0 0 0 0 0
Totale 28.749