FANTECHI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.603
EU - Europa 8.322
AS - Asia 3.653
SA - Sud America 598
AF - Africa 99
OC - Oceania 86
Continente sconosciuto - Info sul continente non disponibili 9
Totale 24.370
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.521
PL - Polonia 3.505
RU - Federazione Russa 2.130
SG - Singapore 991
CN - Cina 949
IT - Italia 772
HK - Hong Kong 697
BR - Brasile 494
IE - Irlanda 440
SE - Svezia 434
KR - Corea 394
DE - Germania 338
VN - Vietnam 226
UA - Ucraina 225
FI - Finlandia 174
GB - Regno Unito 114
IN - India 112
AU - Australia 83
JO - Giordania 73
FR - Francia 55
ID - Indonesia 53
AR - Argentina 40
CA - Canada 40
NL - Olanda 40
TR - Turchia 40
CI - Costa d'Avorio 31
ES - Italia 30
MX - Messico 24
EC - Ecuador 23
BD - Bangladesh 22
ZA - Sudafrica 19
JP - Giappone 16
BE - Belgio 11
CO - Colombia 11
IQ - Iraq 11
SC - Seychelles 11
AT - Austria 9
MA - Marocco 9
CH - Svizzera 8
EU - Europa 8
NP - Nepal 8
PE - Perù 8
PY - Paraguay 8
RO - Romania 7
TN - Tunisia 7
CL - Cile 6
DK - Danimarca 6
DZ - Algeria 6
KE - Kenya 6
PK - Pakistan 6
SA - Arabia Saudita 6
UZ - Uzbekistan 6
LT - Lituania 5
VE - Venezuela 5
DO - Repubblica Dominicana 4
EG - Egitto 4
IR - Iran 4
TH - Thailandia 4
AO - Angola 3
GE - Georgia 3
GR - Grecia 3
IL - Israele 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LB - Libano 3
NI - Nicaragua 3
PA - Panama 3
AL - Albania 2
AZ - Azerbaigian 2
BB - Barbados 2
BJ - Benin 2
BY - Bielorussia 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
HN - Honduras 2
JM - Giamaica 2
KW - Kuwait 2
LV - Lettonia 2
NZ - Nuova Zelanda 2
OM - Oman 2
PH - Filippine 2
PS - Palestinian Territory 2
TW - Taiwan 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
BG - Bulgaria 1
BO - Bolivia 1
GA - Gabon 1
HU - Ungheria 1
IS - Islanda 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MD - Moldavia 1
MK - Macedonia 1
MM - Myanmar 1
MN - Mongolia 1
MY - Malesia 1
NR - Nauru 1
Totale 24.366
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.609
Warsaw 3.505
Fairfield 1.200
Ashburn 690
Singapore 639
Seattle 519
Woodbridge 515
Chandler 483
Cambridge 473
Hong Kong 468
Dublin 438
Wilmington 435
Houston 433
Seoul 394
Jacksonville 313
Beijing 255
Altamura 232
Hefei 224
Lawrence 210
Ann Arbor 190
Princeton 157
Florence 134
Los Angeles 113
Munich 102
Moscow 100
Medford 99
Boston 89
Buffalo 89
Hangzhou 82
Boardman 80
Melbourne 80
Mumbai 70
Ho Chi Minh City 68
Helsinki 62
San Diego 59
Shanghai 49
New York 45
Dallas 42
Dong Ket 42
Kent 40
Jakarta 39
São Paulo 38
Clifton 36
Hanoi 36
Izmir 35
Milan 34
Southend 32
The Dalles 32
Abidjan 31
Norwalk 31
Dearborn 25
Redondo Beach 25
Phoenix 23
Rome 21
Toronto 21
Chicago 18
Falls Church 18
Barcelona 17
Frankfurt Am Main 17
Belo Horizonte 15
Latina 15
Redwood City 15
Rio de Janeiro 15
Tokyo 15
London 14
Pisa 14
Andover 13
Montreal 13
Frankfurt am Main 12
Lucca 12
Yubileyny 12
Curitiba 11
Guangzhou 11
Hillsboro 11
San Francisco 11
Brussels 10
Johannesburg 10
Ningbo 10
Roxheim 10
West Jordan 10
Campinas 9
Denver 9
Quito 9
Salvador 9
Tianjin 9
Atlanta 8
Auburn Hills 8
Bengaluru 8
Boulder 8
Verona 8
Arezzo 7
Brooklyn 7
Cascina 7
Haiphong 7
Lima 7
Prato 7
Salt Lake City 7
Turin 7
Asunción 6
Brasília 6
Totale 17.768
Salva come PNG Salva come JPEG
Nome #
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain 365
Validation process for railway interlocking systems 330
A state/event-based model-checking approach for the analysis of abstract system properties. 315
A Story about Formal Methods Adoption by a Railway Signaling Manufacturer 313
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 308
A model checking approach for verifying COWS specifications 307
Model Based Testing and Abstract Interpretation in the Railway Signaling Context 291
A logical framework to deal with variability 285
Model-Based Development of an Automatic Train Operation Component for Communication Based Train Control 284
Session types for orchestration charts 276
Witness and counterexample automata for ACTL 269
Analysis of a Road/Tramway Intersection by the ORIS Tool 267
Applying the QuARS tool to detect variability 262
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). 261
Towards a Discipline of System Engineering: Validation of Dependable Systems 260
A deontic logical framework for modelling product families 258
An experience in using a tool for evaluating a large set of natural language requirements 256
Formal modeling for product families engineering 250
Formal Development for Railway Signaling Using Commercial Tools 248
Compositional model checking of interlocking systems for lines with multiple stations 248
Statecharts composition to model topologically distributed applications 243
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications 239
An On-line system for automated recognition of human activities 238
An industrial application of formal model based development: the Metro Rio ATP case 235
Model driven development of railway systems using diversity 234
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP 233
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 228
Deontic logics for modeling behavioural variability 225
Integrated Validation of Dependable Systems 222
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 219
Formal modeling for railway signaling using commercial tools 217
Product line models of large cyber-physical systems 209
A novel layered approach to evaluate reliability of complex systems 203
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 203
Validation of Railway Interlocking Systems by Formal Verification, A Case Study 200
Ambiguity defects as variation points in requirements 191
Hacking an Ambiguity Detection Tool to Extract Variation Points 188
Safety Interlocking as a Distributed Mutual Exclusion Problem 182
A model-checking tool for families of services. 176
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 174
Formal methods and safety certification: Challenges in the railways domain 171
Stochastic modeling and analysis of road–tramway intersections 170
Enhancing test coverage by back-tracing model-checker counterexamples 169
A Logical Verification Methodology for Service-Oriented Computing 168
Variability-based design of services for smart transportation systems 168
A Symbolic Model Checker for ACTL 166
Adopting Formal Methods in an Industrial Setting: The Railways Case 166
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 164
Twenty-Five Years of Formal Methods and Railways: What Next? - Software Engineering and Formal Methods 162
"A Comparison between Handwritten and Automatic Generation of C Code from SDL using Static Analysis" 162
Model Checking Interlocking Control Tables 161
A GUI Testability Problem: A Case Study in the Railway Signaling Domain 161
A Behavioural Model for Product Families 160
Refinement of Behavioural Models for Variability Description 160
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 160
Informatica Industriale 160
An experience with the application of three nlp tools for the analysis of natural language requirements 159
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 158
A Methodology for the Derivation and Verification of Use Cases for Product Lines 157
An efficient library for reliability block diagram evaluation 154
Application of Linguistic Techniques for Use Case Analysis 153
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems 150
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 149
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 148
Formal Methods for Distributed Computing in Future Railway Systems 148
Formally Verifying Fault Tolerant System Designs 147
Formalizing REST APIs for web-based communication and SIP interworking 147
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 147
Model-Based Development and Formal Methods in the Railway Industry 146
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System 145
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living 144
Formal methods for railway control systems 144
Formal Validation of the GUARDS Inter-consistency Mechanism 143
Connected or Autonomous Trains? 142
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 142
SYRMA: a tool for a system approach to risk management in mission critical systems 141
Formal techniques for a data-driven certification of advanced railway signalling systems 140
Validation Coverage for a Component-based SDL model of a Railway Signaling System 140
States and Events in KandISTI 140
Model Checking Fault Tolerant Systems 138
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems 138
Object-oriented analysis of COBOL 137
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 137
Adding Sessions to BPEL 137
Natural Language Processing of Patents and Technical Documentation 136
Design and validation of variability in product lines 136
Formal Description of Variability in Product Families 136
Elicitation of Use Cases for Product Lines. 136
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 136
Future Train Control Systems: Challenges for Dependability Assessment 135
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker 135
From Behavioural Contracts to Session Types 134
Compositional verification of multi-station interlocking systems 133
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 132
Behavioural Contracts for a Sound Assembly of Components 131
VIBE: Looking for Variability In amBiguous rEquirements? 130
Model driven development and code generation: an automotive case study 130
On the Adoption of Model Checking in Safety-Related Software Industry 129
STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities 129
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies 128
Totale 18.737
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.171
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 60.171
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.352 0 0 0 0 0 225 156 197 241 271 92 170
2021/20221.034 69 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/20263.617 516 1.032 609 576 794 90 0 0 0 0 0 0
Totale 24.509