CNR Institutional Research Information System

MAZZANTI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.026
NA - Nord America 969
SA - Sud America 476
EU - Europa 271
AF - Africa 39
Totale 3.781
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 935
SG - Singapore 921
CN - Cina 457
BR - Brasile 411
VN - Vietnam 202
HK - Hong Kong 201
KR - Corea 94
IT - Italia 73
NL - Olanda 33
DE - Germania 32
IN - India 30
FI - Finlandia 28
AR - Argentina 26
AT - Austria 24
GB - Regno Unito 19
IL - Israele 18
JP - Giappone 18
BD - Bangladesh 13
IQ - Iraq 13
FR - Francia 12
TR - Turchia 12
EC - Ecuador 11
ID - Indonesia 11
MX - Messico 11
ZA - Sudafrica 11
CO - Colombia 10
CA - Canada 9
RU - Federazione Russa 8
SA - Arabia Saudita 8
CY - Cipro 7
EG - Egitto 7
PE - Perù 7
PL - Polonia 7
ES - Italia 5
KE - Kenya 5
AZ - Azerbaigian 4
JM - Giamaica 4
LV - Lettonia 4
MA - Marocco 4
PK - Pakistan 4
TN - Tunisia 4
VE - Venezuela 4
AL - Albania 3
BG - Bulgaria 3
CI - Costa d'Avorio 3
CL - Cile 3
IE - Irlanda 3
PY - Paraguay 3
UA - Ucraina 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CH - Svizzera 2
CR - Costa Rica 2
GR - Grecia 2
LT - Lituania 2
MY - Malesia 2
NP - Nepal 2
RO - Romania 2
AO - Angola 1
BB - Barbados 1
BE - Belgio 1
BN - Brunei Darussalam 1
BS - Bahamas 1
BW - Botswana 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GD - Grenada 1
HN - Honduras 1
JO - Giordania 1
NA - Namibia 1
NO - Norvegia 1
PA - Panama 1
PH - Filippine 1
PT - Portogallo 1
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
ZM - Zambia 1
Totale 3.781
Salva come PNG Salva come JPEG
Città #
Singapore 621
Santa Clara 619
Hefei 249
Hong Kong 201
Beijing 92
Seoul 92
Hanoi 65
Ho Chi Minh City 61
Ashburn 45
São Paulo 27
Dallas 23
Los Angeles 17
Nuremberg 17
Helsinki 15
Minamishinagawa 15
Pisa 15
Rio de Janeiro 15
Lappeenranta 12
Vienna 11
Belo Horizonte 9
Bengaluru 9
Brasília 9
Buffalo 9
Haiphong 9
New York 9
Baghdad 8
Cascina 8
Curitiba 8
Amsterdam 7
Da Nang 7
Frankfurt am Main 7
Biên Hòa 6
Guangzhou 6
Houston 6
Modena 6
Oroklini 6
Phoenix 6
Tel Aviv 6
Warsaw 6
Ankara 5
Campinas 5
Dhaka 5
Nairobi 5
Rio Grande 5
Rome 5
Baku 4
Bắc Giang 4
Canoas 4
Cape Town 4
Chicago 4
Denver 4
Fortaleza 4
Guarujá 4
Guayaquil 4
Livorno 4
Mexico City 4
Osasco 4
Porto Alegre 4
Porto Seguro 4
São José dos Campos 4
Volta Redonda 4
Americana 3
Anápolis 3
Atibaia 3
Boston 3
Buenos Aires 3
Bắc Ninh 3
Cairo 3
Chennai 3
Contagem 3
Dammam 3
Delhi 3
Dublin 3
Florence 3
Guarulhos 3
Ha Long 3
Irecê 3
Jacksonville 3
Jeddah 3
Johannesburg 3
Joinville 3
Juiz de Fora 3
Jundiaí 3
Kingston 3
Lima 3
Manassas 3
Mumbai 3
New Delhi 3
Ninh Bình 3
Passo Fundo 3
Ponte Nova 3
Portsmouth 3
Quận Một 3
Ribeirão Preto 3
Riga 3
Salvador 3
Santo André 3
Tashkent 3
Uberlândia 3
Vũng Tàu 3
Totale 2.570
Salva come PNG Salva come JPEG
Nome #
SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties 72
Ten diverse formal models for a CBTC automatic train supervision system 65
An experience on formal analysis of a high-level graphical SOA design 64
The AIDA experiment 63
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 61
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 59
Formal modeling and initial analysis of the 4SECURail case study 55
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 54
Designing a deadlock-free train scheduler: A model checking approach 52
AGILE: Software Architecture for Mobility 52
Systematic evaluation and usability analysis of formal tools for railway system design 51
A systematic approach to programming and verifying attribute-based communication systems 49
A summary of: on the expressiveness of modal transition systems with variability constraints 49
PSC V0.4 48
Static analysis and family-based model checking with VMC 48
Efficient static analysis and verification of featured transition systems 47
4SECURail - D.2.1: Specification of formal development demonstrator 46
Comparing formal tools for system design: a judgment study 46
Towards formal methods diversity in railways: an experience report with seven frameworks 44
The 4SECURail approach to formalizing standard interfaces between signalling systems components 43
A case study in formal analysis of system requirements 43
Designing a demonstrator of formal methods for railways infrastructure managers 43
Formal models of the SAI/CSL system of the 4SECURail case study 42
ASTrail - Deliverable D4.3 - Validation Report 42
The 4SECURail formal methods demonstrator 42
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 42
From EU projects to a family of model checkers. From Kandinsky to KandISTI 41
Adopting Formal Methods in an Industrial Setting: The Railways Case 40
The UMC2LNT and UMC2PROB model transformation tools 40
The 4SECURail case study on rigorous standard interface specifications 39
Static analysis and family-based model checking of featured transition systems with VMC 39
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC 38
4SECURail - Revised requirements of the 4SECURail case study 36
ASTRail D4.2 - Preliminary Trial Report 35
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session 35
Compositional verification of concurrent systems by combining bisimulations 35
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 34
4SECURail - Formal development demonstrator prototype, final release 34
UMC User Guide (version 2.5) 33
A survey of the implementation-dependent aspects of Ada 32
Towards the static detection of erroneus executions in Ada 95 31
States and Events in KandISTI: A Retrospective 30
A collection of models of a bike-sharing case study. 29
Designing UML models with UMC 29
A Formal Methods Demonstrator for Railways 28
Modelling and analysing the finance case study in UMC 27
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 27
A state/event-based model-checking approach for the analysis of abstract system properties 27
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles 27
On the expressiveness of modal transition systems with variability constraints 26
A critical survey of the implementation dependent aspects of ADA 25
Deductive proof of software properties 25
A symbolic model checker for ACTL 24
Model checking value-passing modal specifications 24
CBTC.AGEN.0023_00_06 Protocollo ATS-ATC 24
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications 24
Survey on formal methods and tools in railways: the ASTRail approach 24
On the fly model checking of communicating UML state machines 23
Deadlock avoidance in train scheduling: A model checking approach 23
CMC: COWS model checker version 0.4 23
Reducing unpredictability in Ada executions 23
VMC: a tool for the analysis of variability in software product lines 23
CBTC.ATS.0001_00_05 Specifica preliminare di sistema 23
An abstract, on the fly framework for the verification of service-oriented systems 23
CBTC.ATS.006_00_03 Documentazione prototipo ATS 23
The KandIStI/UMC Online Open-Access Verification Framework 23
Verifying properties of systems relying on attribute-based communication 22
VMC: recent advances and challenges ahead 22
Experimenting dynamic linking with Ada 22
Formalising engineering judgement on software dependability via belief networks 22
On the industrial uptake of formal methods in the railway domain: a survey with stakeholders 22
A model-checking approach for service component architectures 22
Mu-ACTL+: a temporal logic for UML statechart diagrams 21
On the fly model checking of communicating UML state machines 21
D2.3b: Modal Logics for Behavioural Properties of Mobile Systems 21
Model checking value-passing modal specifications 21
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints 21
Formal verification of fault tolerant mechanisms by model-checking. 21
Coding regulations for safety critical software development 21
CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema 20
The risk of destructive run-time errors 20
Demonstration of a model checker for the analysis of product variability. 20
A logical verification methodology for service-oriented computing 20
Experimenting dynamic linking in Ada 20
Guide to erroneous executions in Ada 95 19
Deadlock free dispatching for fleets of vehicles 19
Towards the static detection of erroneus executions in Ada 95 19
Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system 19
UMC User Guide (version 3.3) 19
Stochastic model-based analysis of energy consumption in a rail road switch heating system 19
Feasibility of ACVC validation with respect to the ADA formal definition 19
KandISTI: a family of model checkers for the analysis of software designs 19
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 19
A user manual of the metalanguage for the trial definition 19
Towards the static detection of erroneous execution in Ada 95 18
SEFM 2010 - Poster and Tool Demo Session Proceedings 18
FMCTools 18
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine 18
The point on Ada erroneous executions 18
4SECURail - D.2.2 : Formal development Demonstrator prototype - 1st release 18
Totale 3.168
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.139
article - articoli 2.517
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.114
Totale 18.770
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202410 0 0 0 0 0 0 0 0 0 0 7 3
2024/20252.027 4 10 149 78 521 127 15 52 50 69 500 452
2025/20261.758 170 281 269 440 490 108 0 0 0 0 0 0
Totale 3.795