CNR Institutional Research Information System

FANTECHI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 3.752
NA - Nord America 2.710
EU - Europa 873
SA - Sud America 833
AF - Africa 84
Continente sconosciuto - Info sul continente non disponibili 48
OC - Oceania 5
Totale 8.305
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.570
SG - Singapore 1.611
CN - Cina 800
BR - Brasile 648
VN - Vietnam 422
HK - Hong Kong 350
FR - Francia 236
IT - Italia 231
JP - Giappone 163
KR - Corea 117
DE - Germania 84
RU - Federazione Russa 72
AR - Argentina 66
CA - Canada 65
GB - Regno Unito 57
BD - Bangladesh 53
IN - India 50
FI - Finlandia 38
EC - Ecuador 35
CO - Colombia 34
ID - Indonesia 31
MX - Messico 30
NL - Olanda 29
AT - Austria 25
MA - Marocco 21
IQ - Iraq 20
IL - Israele 19
SA - Arabia Saudita 18
ZA - Sudafrica 16
PH - Filippine 15
SE - Svezia 15
PE - Perù 14
UA - Ucraina 13
VE - Venezuela 13
TR - Turchia 12
PK - Pakistan 11
NG - Nigeria 9
PL - Polonia 9
EG - Egitto 8
HU - Ungheria 8
MY - Malesia 8
UY - Uruguay 8
CL - Cile 7
ES - Italia 7
JM - Giamaica 7
TN - Tunisia 7
AE - Emirati Arabi Uniti 6
CR - Costa Rica 6
AZ - Azerbaigian 5
GT - Guatemala 5
HN - Honduras 5
JO - Giordania 5
KE - Kenya 5
PY - Paraguay 5
TH - Thailandia 5
TT - Trinidad e Tobago 5
AU - Australia 4
CH - Svizzera 4
CZ - Repubblica Ceca 4
IR - Iran 4
KZ - Kazakistan 4
LT - Lituania 4
LV - Lettonia 4
PR - Porto Rico 4
AL - Albania 3
BE - Belgio 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
GR - Grecia 3
HR - Croazia 3
IS - Islanda 3
NP - Nepal 3
PA - Panama 3
RO - Romania 3
SC - Seychelles 3
UZ - Uzbekistan 3
XK - ???statistics.table.value.countryCode.XK??? 3
BO - Bolivia 2
BS - Bahamas 2
BW - Botswana 2
CU - Cuba 2
DK - Danimarca 2
EE - Estonia 2
KG - Kirghizistan 2
KW - Kuwait 2
NO - Norvegia 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TW - Taiwan 2
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BZ - Belize 1
CG - Congo 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
Totale 8.240
Salva come PNG Salva come JPEG
Città #
Singapore 1.008
Santa Clara 610
Hong Kong 345
San Jose 313
Hefei 290
Ashburn 221
Lauterbourg 203
Ho Chi Minh City 158
Tokyo 142
Hanoi 119
Seoul 116
Beijing 97
Los Angeles 81
Dallas 53
New York 53
São Paulo 50
Council Bluffs 35
Pisa 35
Rio de Janeiro 33
Nuremberg 24
Buffalo 23
Frankfurt am Main 23
Helsinki 22
Orem 21
Phoenix 21
Atlanta 19
Da Nang 19
Houston 19
Milan 19
Guayaquil 18
Cascina 17
Minamishinagawa 17
Lappeenranta 16
Moscow 16
Rome 16
Curitiba 15
Baghdad 14
Queens 14
Belo Horizonte 12
Chicago 12
Haiphong 12
Naples 12
Philadelphia 12
Montreal 11
Vienna 11
Brasília 10
Dhaka 10
Guangzhou 10
Denver 9
Florence 9
Johannesburg 9
Lagos 9
London 9
The Bronx 9
Bengaluru 8
Bogotá 8
Brooklyn 8
Buenos Aires 8
Charlotte 8
Detroit 8
Hải Dương 8
Jacksonville 8
Kansas City 8
Quito 8
Recife 8
Rio Grande 8
San Antonio 8
Amsterdam 7
Budapest 7
Cleveland 7
Manaus 7
Montevideo 7
Newark 7
Pittsburgh 7
Riyadh 7
San Francisco 7
Toronto 7
Washington 7
Bắc Ninh 6
Caxias do Sul 6
Columbus 6
Fortaleza 6
Hortolândia 6
Jeddah 6
Las Vegas 6
Livorno 6
Memphis 6
New Orleans 6
Orlando 6
Osasco 6
Palermo 6
Porto Alegre 6
Staten Island 6
Vancouver 6
Warsaw 6
Baku 5
Birmingham 5
Biên Hòa 5
Boston 5
Can Tho 5
Totale 4.789
Salva come PNG Salva come JPEG
Nome #
Model Driven Development and Code Generation: An Automotive Case Study 154
Coherent modal transition systems refinement 107
Exploring LLMs’ ability to detect variability in requirements 98
Can AI help with the formalization of railway cybersecurity requirements? 93
Session types for safe Web service orchestration 93
Optimizing Feature Interaction Detection 90
Formal Methods for Distributed Computing in Future Railway Systems 90
An integrated perspective on the evaluation of complex railway systems 90
Transformation rules 88
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 81
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 77
Formal methods for industrial critical systems: 30 years of railway applications 76
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 72
VIBE: looking for Variability In amBiguous rEquirements 71
4SECURail - D.2.1: Specification of formal development demonstrator 70
Comparing lotos and estelle formal descriptions 69
Comparing formal tools for system design: a judgment study 68
An experience with the application of three nlp tools for the analysis of natural language requirements 67
ADA as the system language: the CNET inter-node communication mechanism 65
ASTrail - Deliverable D4.3 - Validation Report 65
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 64
Designing a demonstrator of formal methods for railways infrastructure managers 64
Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces 63
A logical framework to deal with variability 62
Formal validation of fault-tolerance mechanisms 59
A story about formal methods adoption by a railway signaling Manufacturer 59
Formal methods for distributed control systems of future railways 59
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 58
An execution environment for the formal definition of Ada 57
Adopting Formal Methods in an Industrial Setting: The Railways Case 57
ASTRail D4.2 - Preliminary Trial Report 53
Design validation of embedded dependable systems 52
Enhancing test coverage by back-tracing model-checker counterexamples 51
Statecharts composition to model topologically distributed applications 51
Transformation rules 51
Statecharts composition to model topologically distributed applications 50
Formal description and validation for an integrity policy supporting multiple levels of criticality 50
Evaluation of natural language requirements in the MODCONTROL project 49
ActLab: an action based toolset (verifying reactive systems by talking to them) 48
Finite approximations for model checking non-finite-state processes 47
Applying the QARS tool to detect variability 47
Refinement of behavioural models for variability description 46
From generic requirements to variability 46
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 46
A logical framework to deal with variability 46
The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back 46
Model checking fault tolerant systems 45
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications 45
Towards a discipline of system engineering: validation of dependable systems 44
Twenty-Five Years of Formal Methods and Railways: What Next? 44
A comparison between handwritten and automatic generation of C code from SDL using static analysis 44
Preface to FMICS 2008 44
An experience in formal verification of safety properties of a railway signalling control system 43
Formal verification 43
Informatica industriale 43
A deontic logical framework for modelling product families 43
A formal verification environment for railway signaling system design 43
A survey of the implementation-dependent aspects of Ada 42
Model checking of non-finite state processes by finite approximations 42
A method to compare formal protocol specifications 42
Evaluation of natural language requirements in an industrial case study 42
A history of formal methods in railways 42
Deontic logics for modeling behavioural variability 42
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain 42
A collection of models of a bike-sharing case study. 41
A Relation-based Approach to Use Case Analysis 41
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies 41
QuARS Express - A Tool Demonstration 41
Actlab: verifying reactive systems by talking to them 40
A symbolic model checker for ACTL 40
Product line use cases: scenario-based specification and testing of requirements 40
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 40
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria 40
A state/event-based model-checking approach for the analysis of abstract system properties 39
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 39
Formal validation of fault-tolerance mechanisms inside GUARDS 38
A critical survey of the implementation dependent aspects of ADA 38
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 38
A compositional framework to derive product line behavioural descriptions 38
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 38
Compositional logic semantics and lotos 37
Model driven development of railway systems using diversity 37
Experimenting with diversity in the formal development of railway signalling systems 37
Proposals for the electronic exchange of documents inside the ADA FD project 36
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 36
Verifying hardware components with JACK 36
Stochastic model-based analysis of railway operation to support traffic planning 35
Partial correctness preservation for extensive trasformations 35
Formal methods for the railway sector 35
A temporal semantics for basic process algebra 34
The Metrô Rio ATP case study 34
An expressive temporal logic for basic LOTOS 34
Validazione formale di meccanismi per la tolleranza ai guasti 34
An experience in using a tool for evaluating a large set of natural language requirements 34
Another temporal semantics for basic LOTOS 33
Model-based development and formal methods in the railway industry 33
Formal verification of safety requirements on complex systems 33
MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) 33
Verifying concurrent system by talking to them 33
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications 32
Totale 5.163
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.250
article - articoli 6.615
book - libri 506
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.944
Totale 41.315
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.553 182 391 441 632 717 146 894 273 383 274 118 102
2026/20271.209 370 185 654 0 0 0 0 0 0 0 0 0
Totale 8.305