CNR Institutional Research Information System

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