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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022858 0 0 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/20271.320 312 301 707 0 0 0 0 0 0 0 0 0
Totale 29.750