FANTECHI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.670
EU - Europa 7.444
AS - Asia 1.344
OC - Oceania 84
AF - Africa 42
Continente sconosciuto - Info sul continente non disponibili 8
SA - Sud America 8
Totale 19.600
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.649
PL - Polonia 3.492
RU - Federazione Russa 1.559
IT - Italia 708
IE - Irlanda 438
SE - Svezia 431
HK - Hong Kong 376
CN - Cina 347
SG - Singapore 332
DE - Germania 229
UA - Ucraina 220
FI - Finlandia 134
GB - Regno Unito 103
AU - Australia 83
IN - India 79
JO - Giordania 71
FR - Francia 47
VN - Vietnam 44
ID - Indonesia 37
TR - Turchia 35
CI - Costa d'Avorio 29
ES - Italia 22
NL - Olanda 21
CA - Canada 19
SC - Seychelles 11
BE - Belgio 10
BR - Brasile 8
EU - Europa 8
AT - Austria 6
CH - Svizzera 6
DK - Danimarca 5
IR - Iran 4
RO - Romania 4
CZ - Repubblica Ceca 2
IL - Israele 2
IQ - Iraq 2
JP - Giappone 2
PK - Pakistan 2
SA - Arabia Saudita 2
BD - Bangladesh 1
BY - Bielorussia 1
CR - Costa Rica 1
EG - Egitto 1
GE - Georgia 1
GR - Grecia 1
HU - Ungheria 1
KE - Kenya 1
KG - Kirghizistan 1
KR - Corea 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MD - Moldavia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 19.600
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.593
Warsaw 3.492
Fairfield 1.200
Seattle 518
Ashburn 515
Woodbridge 515
Chandler 483
Cambridge 473
Dublin 436
Wilmington 434
Houston 428
Jacksonville 312
Singapore 272
Altamura 232
Lawrence 210
Ann Arbor 190
Princeton 157
Hong Kong 149
Beijing 140
Florence 128
Medford 99
Boston 81
Boardman 80
Hangzhou 80
Melbourne 80
Mumbai 64
Moscow 59
San Diego 59
Shanghai 48
Dong Ket 42
Jakarta 37
Izmir 35
Southend 32
Norwalk 31
Abidjan 29
Munich 29
Helsinki 28
New York 26
Dearborn 25
Buffalo 23
Milan 21
Kent 20
Falls Church 18
Toronto 18
Barcelona 17
Frankfurt Am Main 17
Rome 17
Phoenix 16
Latina 15
Redwood City 15
Andover 13
London 12
Yubileyny 12
Hillsboro 11
Los Angeles 11
Pisa 11
Brussels 10
Lucca 10
Roxheim 10
West Jordan 10
Ningbo 9
Auburn Hills 8
Boulder 8
Arezzo 7
Cascina 7
Prato 7
Turin 7
Verona 7
Duncan 6
Laurel 6
Orsay 6
Bologna 5
Guangzhou 5
Nanjing 5
Saint Petersburg 5
Vienna 5
Bern 4
Fremont 4
Groningen 4
Karlsruhe 4
Lyngby 4
Paris 4
Perugia 4
Salerno 4
San Lazzaro Di Savena 4
Santa Croce Sull' Arno 4
Shenzhen 4
Campi Bisenzio 3
Chiusdino 3
Collesalvetti 3
Forlì 3
Fuzhou 3
Hounslow 3
Imperia 3
Marseille 3
Naples 3
Prad am Stilfser Joch 3
Rufina 3
Siena 3
Tappahannock 3
Totale 15.334
Salva come PNG Salva come JPEG
Nome #
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain 328
Validation process for railway interlocking systems 295
A state/event-based model-checking approach for the analysis of abstract system properties. 279
A Story about Formal Methods Adoption by a Railway Signaling Manufacturer 278
A model checking approach for verifying COWS specifications 275
Model Based Testing and Abstract Interpretation in the Railway Signaling Context 271
Model-Based Development of an Automatic Train Operation Component for Communication Based Train Control 254
A logical framework to deal with variability 253
Session types for orchestration charts 247
Witness and counterexample automata for ACTL 246
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). 243
An experience in using a tool for evaluating a large set of natural language requirements 240
Towards a Discipline of System Engineering: Validation of Dependable Systems 235
Formal modeling for product families engineering 232
Formal Development for Railway Signaling Using Commercial Tools 231
Applying the QuARS tool to detect variability 227
A deontic logical framework for modelling product families 226
Statecharts composition to model topologically distributed applications 226
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications 224
An industrial application of formal model based development: the Metro Rio ATP case 220
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 216
An On-line system for automated recognition of human activities 213
Model driven development of railway systems using diversity 210
Deontic logics for modeling behavioural variability 209
Analysis of a Road/Tramway Intersection by the ORIS Tool 208
Integrated Validation of Dependable Systems 207
Compositional model checking of interlocking systems for lines with multiple stations 206
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP 204
Formal modeling for railway signaling using commercial tools 199
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 186
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 171
Ambiguity defects as variation points in requirements 169
A novel layered approach to evaluate reliability of complex systems 169
Validation of Railway Interlocking Systems by Formal Verification, A Case Study 168
Product line models of large cyber-physical systems 165
Safety Interlocking as a Distributed Mutual Exclusion Problem 160
Hacking an Ambiguity Detection Tool to Extract Variation Points 149
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 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
Stochastic modeling and analysis of road–tramway intersections 144
Enhancing test coverage by back-tracing model-checker counterexamples 143
A model-checking tool for families of services. 142
Informatica Industriale 142
Variability-based design of services for smart transportation systems 142
Refinement of Behavioural Models for Variability Description 141
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 139
Adopting Formal Methods in an Industrial Setting: The Railways Case 139
Model Checking Interlocking Control Tables 138
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 132
A Symbolic Model Checker for ACTL 131
"A Comparison between Handwritten and Automatic Generation of C Code from SDL using Static Analysis" 131
Twenty-Five Years of Formal Methods and Railways: What Next? - Software Engineering and Formal Methods 130
A Behavioural Model for Product Families 129
Formalizing REST APIs for web-based communication and SIP interworking 127
Validation Coverage for a Component-based SDL model of a Railway Signaling System 126
A Logical Verification Methodology for Service-Oriented Computing 126
A GUI Testability Problem: A Case Study in the Railway Signaling Domain 126
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems 124
Formal Methods for Distributed Computing in Future Railway Systems 123
Application of Linguistic Techniques for Use Case Analysis 122
SYRMA: a tool for a system approach to risk management in mission critical systems 121
Formal methods for railway control systems 121
A Methodology for the Derivation and Verification of Use Cases for Product Lines 120
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living 120
Model-Based Development and Formal Methods in the Railway Industry 120
Natural Language Processing of Patents and Technical Documentation 119
Object-oriented analysis of COBOL 119
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 119
Formal techniques for a data-driven certification of advanced railway signalling systems 119
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 119
Formally Verifying Fault Tolerant System Designs 117
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System 117
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 117
Formal Validation of the GUARDS Inter-consistency Mechanism 115
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 115
States and Events in KandISTI 114
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 114
Elicitation of Use Cases for Product Lines. 114
Compositional verification of multi-station interlocking systems 113
Model driven development and code generation: an automotive case study 112
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems 112
From Behavioural Contracts to Session Types 112
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 112
Design and validation of variability in product lines 110
Connected or Autonomous Trains? 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
Instantiating Generic Charts for Railway Interlocking Systems 108
Variability and Rigour in Service Computing Engineering 107
Model Checking Fault Tolerant Systems 106
Behavioural Contracts for a Sound Assembly of Components 106
Transformations and Consistent Semantics for ODP Viewpoints 105
On the Adoption of Model Checking in Safety-Related Software Industry 105
The Role of Formal Methods in Software Development for Railway Applications 105
Model Checking for Action-based Logics 105
Topologically configurable systems as product families 105
Adding Sessions to BPEL 105
Application of Linguistic Techniques for Use Case Analysis 104
Totale 15.866
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.885
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 45.885
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.753 0 0 0 0 0 0 369 447 367 220 276 74
2020/20212.211 210 209 95 246 99 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/20256.234 232 635 387 804 2.651 1.522 3 0 0 0 0 0
Totale 19.724