CNR Institutional Research Information System

FANTECHI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 3.677
NA - Nord America 1.647
SA - Sud America 771
EU - Europa 753
AF - Africa 82
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.937
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 1.602
US - Stati Uniti d'America 1.568
CN - Cina 799
BR - Brasile 632
VN - Vietnam 413
HK - Hong Kong 347
FR - Francia 233
JP - Giappone 162
IT - Italia 148
KR - Corea 117
DE - Germania 82
RU - Federazione Russa 72
AR - Argentina 61
IN - India 49
GB - Regno Unito 43
FI - Finlandia 38
CA - Canada 33
BD - Bangladesh 32
MX - Messico 27
NL - Olanda 26
AT - Austria 25
EC - Ecuador 23
ID - Indonesia 21
MA - Marocco 21
IQ - Iraq 20
IL - Israele 19
SA - Arabia Saudita 18
ZA - Sudafrica 16
PE - Perù 14
TR - Turchia 12
UA - Ucraina 12
CO - Colombia 10
SE - Svezia 10
NG - Nigeria 9
PH - Filippine 9
PL - Polonia 9
VE - Venezuela 9
EG - Egitto 8
HU - Ungheria 8
UY - Uruguay 8
PK - Pakistan 7
TN - Tunisia 7
AE - Emirati Arabi Uniti 6
CL - Cile 6
ES - Italia 6
AZ - Azerbaigian 5
JO - Giordania 5
KE - Kenya 5
MY - Malesia 5
PY - Paraguay 5
AU - Australia 4
KZ - Kazakistan 4
LV - Lettonia 4
BE - Belgio 3
CH - Svizzera 3
CZ - Repubblica Ceca 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
GT - Guatemala 3
HR - Croazia 3
IR - Iran 3
LT - Lituania 3
PA - Panama 3
RO - Romania 3
UZ - Uzbekistan 3
AL - Albania 2
BO - Bolivia 2
BW - Botswana 2
DK - Danimarca 2
GR - Grecia 2
HN - Honduras 2
JM - Giamaica 2
KG - Kirghizistan 2
KW - Kuwait 2
NO - Norvegia 2
NP - Nepal 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
TW - Taiwan 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BS - Bahamas 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CU - Cuba 1
CY - Cipro 1
EE - Estonia 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
GY - Guiana 1
IE - Irlanda 1
IS - Islanda 1
Totale 6.921
Salva come PNG Salva come JPEG
Città #
Singapore 1.003
Santa Clara 599
Hong Kong 344
Hefei 290
San Jose 228
Lauterbourg 203
Ho Chi Minh City 154
Tokyo 142
Ashburn 125
Hanoi 116
Seoul 116
Beijing 97
Los Angeles 71
São Paulo 47
Dallas 43
New York 37
Rio de Janeiro 32
Pisa 27
Nuremberg 24
Frankfurt am Main 23
Helsinki 22
Orem 21
Da Nang 19
Cascina 17
Minamishinagawa 17
Buffalo 16
Lappeenranta 16
Moscow 16
Curitiba 15
Baghdad 14
Council Bluffs 14
Belo Horizonte 12
Guayaquil 12
Haiphong 12
Milan 12
Rome 11
Guangzhou 10
Florence 9
Johannesburg 9
Lagos 9
Phoenix 9
Vienna 9
Bengaluru 8
Brasília 8
Hải Dương 8
London 8
Recife 8
Budapest 7
Buenos Aires 7
Manaus 7
Montevideo 7
Naples 7
Riyadh 7
Bắc Ninh 6
Caxias do Sul 6
Dhaka 6
Fortaleza 6
Hortolândia 6
Houston 6
Jeddah 6
Livorno 6
Osasco 6
Porto Alegre 6
Quito 6
Warsaw 6
Amsterdam 5
Baku 5
Biên Hòa 5
Can Tho 5
Casablanca 5
Chicago 5
Denver 5
Istanbul 5
Lima 5
Mexico City 5
Montreal 5
Newark 5
Niterói 5
Paris 5
Ribeirão Preto 5
Rio Grande 5
Thái Nguyên 5
Vancouver 5
Vũng Tàu 5
Amman 4
Atlanta 4
Boston 4
Brandenburg 4
Cape Town 4
Cuiabá 4
Feira de Santana 4
Gothenburg 4
Heinsberg 4
Irecê 4
Mumbai 4
Ninh Bình 4
Nova Friburgo 4
Padua 4
Patna 4
Porto Seguro 4
Totale 4.335
Salva come PNG Salva come JPEG
Nome #
Coherent modal transition systems refinement 98
Exploring LLMs’ ability to detect variability in requirements 90
Session types for safe Web service orchestration 86
Formal Methods for Distributed Computing in Future Railway Systems 82
Transformation rules 81
Optimizing Feature Interaction Detection 81
Can AI help with the formalization of railway cybersecurity requirements? 80
An integrated perspective on the evaluation of complex railway systems 79
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 68
Comparing lotos and estelle formal descriptions 65
ADA as the system language: the CNET inter-node communication mechanism 64
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 63
Comparing formal tools for system design: a judgment study 60
VIBE: looking for Variability In amBiguous rEquirements 60
Formal methods for industrial critical systems: 30 years of railway applications 60
4SECURail - D.2.1: Specification of formal development demonstrator 59
An experience with the application of three nlp tools for the analysis of natural language requirements 57
Model Driven Development and Code Generation: An Automotive Case Study 56
ASTrail - Deliverable D4.3 - Validation Report 56
A logical framework to deal with variability 56
Formal validation of fault-tolerance mechanisms 55
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 55
Designing a demonstrator of formal methods for railways infrastructure managers 55
A story about formal methods adoption by a railway signaling Manufacturer 53
An execution environment for the formal definition of Ada 52
Formal methods for distributed control systems of future railways 51
Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces 51
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 50
ASTRail D4.2 - Preliminary Trial Report 49
Statecharts composition to model topologically distributed applications 48
Enhancing test coverage by back-tracing model-checker counterexamples 47
Statecharts composition to model topologically distributed applications 47
Adopting Formal Methods in an Industrial Setting: The Railways Case 46
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 46
Formal description and validation for an integrity policy supporting multiple levels of criticality 45
Transformation rules 45
ActLab: an action based toolset (verifying reactive systems by talking to them) 44
A logical framework to deal with variability 43
Finite approximations for model checking non-finite-state processes 42
A deontic logical framework for modelling product families 42
Evaluation of natural language requirements in the MODCONTROL project 41
From generic requirements to variability 41
Applying the QARS tool to detect variability 41
A survey of the implementation-dependent aspects of Ada 40
A Relation-based Approach to Use Case Analysis 40
Design validation of embedded dependable systems 39
Deontic logics for modeling behavioural variability 39
Actlab: verifying reactive systems by talking to them 38
Product line use cases: scenario-based specification and testing of requirements 38
A comparison between handwritten and automatic generation of C code from SDL using static analysis 38
An experience in formal verification of safety properties of a railway signalling control system 37
A critical survey of the implementation dependent aspects of ADA 37
A method to compare formal protocol specifications 36
A collection of models of a bike-sharing case study. 36
Informatica industriale 36
A state/event-based model-checking approach for the analysis of abstract system properties 36
Preface to FMICS 2008 36
Model checking of non-finite state processes by finite approximations 35
Towards a discipline of system engineering: validation of dependable systems 35
Evaluation of natural language requirements in an industrial case study 35
Model checking fault tolerant systems 35
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 35
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 35
A compositional framework to derive product line behavioural descriptions 35
The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back 35
Formal validation of fault-tolerance mechanisms inside GUARDS 34
Compositional logic semantics and lotos 34
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 34
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications 34
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria 34
Formal verification 32
Another temporal semantics for basic LOTOS 32
Partial correctness preservation for extensive trasformations 32
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 32
QuARS Express - A Tool Demonstration 32
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain 32
Refinement of behavioural models for variability description 31
A temporal semantics for basic process algebra 30
Stochastic model-based analysis of railway operation to support traffic planning 30
Model-based development and formal methods in the railway industry 30
A symbolic model checker for ACTL 30
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies 30
Formal methods for railway control systems 30
Comparing formal specifications using temporal logics: a case study on LOTOS and estelle protocol descriptions 29
The Metrô Rio ATP case study 29
Proposals for the electronic exchange of documents inside the ADA FD project 29
Verifying hardware components with JACK 29
A formal verification environment for railway signaling system design 29
Experimenting with diversity in the formal development of railway signalling systems 29
Model checking of non-finite state processes by finite approximations 29
Twenty-Five Years of Formal Methods and Railways: What Next? 29
Verifying concurrent system by talking to them 29
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 29
Model driven development of railway systems using diversity 28
Formal verification of safety requirements on complex systems 28
Formal validation of the GUARDS inter-consistency mechanism 28
A logic approach to guarded and unguarded recursion 28
Testing equivalences for event structures 28
Elicitation of use cases for product lines 28
Formal verification of fault tolerant mechanisms by model-checking. 28
Totale 4.355
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.882
article - articoli 5.330
book - libri 402
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.541
Totale 33.155
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202427 0 0 0 0 0 0 0 0 7 0 9 11
2024/20252.516 12 22 205 139 512 140 29 54 47 75 677 604
2025/20264.435 182 391 441 632 717 146 894 273 383 274 102 0
Totale 6.978