CNR Institutional Research Information System

MAZZANTI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.759
NA - Nord America 2.354
EU - Europa 658
SA - Sud America 529
AF - Africa 48
Continente sconosciuto - Info sul continente non disponibili 17
OC - Oceania 1
Totale 6.366
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.249
SG - Singapore 1.225
CN - Cina 640
BR - Brasile 430
VN - Vietnam 283
IT - Italia 212
HK - Hong Kong 210
FR - Francia 153
JP - Giappone 103
KR - Corea 94
RU - Federazione Russa 62
CA - Canada 43
DE - Germania 42
NL - Olanda 39
IN - India 38
BD - Bangladesh 35
GB - Regno Unito 34
FI - Finlandia 32
AR - Argentina 30
AT - Austria 24
ID - Indonesia 22
MX - Messico 21
EC - Ecuador 20
CO - Colombia 19
IL - Israele 18
IQ - Iraq 17
TR - Turchia 13
SA - Arabia Saudita 12
ZA - Sudafrica 12
VE - Venezuela 11
PE - Perù 8
CY - Cipro 7
EG - Egitto 7
ES - Italia 7
JM - Giamaica 7
PL - Polonia 7
CR - Costa Rica 6
KE - Kenya 6
PH - Filippine 6
PK - Pakistan 6
AE - Emirati Arabi Uniti 5
BB - Barbados 5
CI - Costa d'Avorio 5
HN - Honduras 5
MA - Marocco 5
MY - Malesia 5
AL - Albania 4
AZ - Azerbaigian 4
BE - Belgio 4
CH - Svizzera 4
LV - Lettonia 4
TN - Tunisia 4
BG - Bulgaria 3
CL - Cile 3
IE - Irlanda 3
LT - Lituania 3
NP - Nepal 3
PR - Porto Rico 3
PT - Portogallo 3
PY - Paraguay 3
SC - Seychelles 3
TH - Thailandia 3
UA - Ucraina 3
UY - Uruguay 3
UZ - Uzbekistan 3
AM - Armenia 2
BO - Bolivia 2
BS - Bahamas 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
GR - Grecia 2
GT - Guatemala 2
QA - Qatar 2
RO - Romania 2
SE - Svezia 2
SV - El Salvador 2
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
AO - Angola 1
AU - Australia 1
AW - Aruba 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BW - Botswana 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GD - Grenada 1
HU - Ungheria 1
JO - Giordania 1
KY - Cayman, isole 1
NA - Namibia 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TJ - Tagikistan 1
ZM - Zambia 1
Totale 6.349
Salva come PNG Salva come JPEG
Città #
Singapore 797
Santa Clara 635
Hefei 249
San Jose 233
Hong Kong 206
Ashburn 152
Lauterbourg 134
Council Bluffs 114
Beijing 98
Seoul 92
Hanoi 90
Tokyo 85
Ho Chi Minh City 82
Princeton 45
Dallas 34
Los Angeles 34
New York 34
Abbeville 31
São Paulo 28
Moscow 26
Pisa 23
Rome 20
Milan 19
Chicago 18
Nuremberg 18
Phoenix 18
Queens 18
Da Nang 17
Helsinki 16
Rio de Janeiro 16
Lappeenranta 15
Minamishinagawa 15
Vienna 15
Buffalo 14
Brasília 13
Haiphong 13
Houston 13
Jacksonville 12
Naples 11
Baghdad 10
Denver 10
Florence 10
Las Vegas 10
Orem 10
Philadelphia 10
Toronto 10
Belo Horizonte 9
Bengaluru 9
Curitiba 9
Newark 9
Amsterdam 8
Cascina 8
Frankfurt am Main 8
Turin 8
Brooklyn 7
Chennai 7
Guayaquil 7
Miami 7
Montreal 7
Atlanta 6
Biên Hòa 6
Bologna 6
Detroit 6
Dhaka 6
Guangzhou 6
Modena 6
Nairobi 6
Oroklini 6
Rio Grande 6
San Francisco 6
Tel Aviv 6
The Bronx 6
Warsaw 6
Ankara 5
Bari 5
Bridgetown 5
Campinas 5
Cincinnati 5
Kingston 5
Livorno 5
Milwaukee 5
Porto Alegre 5
Quito 5
Abidjan 4
Austin 4
Baku 4
Boardman 4
Bridgeport 4
Buenos Aires 4
Bắc Giang 4
Bắc Ninh 4
Canoas 4
Cape Town 4
Dammam 4
Fortaleza 4
Griffin 4
Guarujá 4
Jackson 4
Jeddah 4
Johannesburg 4
Totale 3.878
Salva come PNG Salva come JPEG
Nome #
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 103
Ten diverse formal models for a CBTC automatic train supervision system 98
SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties 91
An experience on formal analysis of a high-level graphical SOA design 87
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 86
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 85
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session 80
The 4SECURail case study on rigorous standard interface specifications 79
Efficient static analysis and verification of featured transition systems 79
Formal models of the SAI/CSL system of the 4SECURail case study 77
The AIDA experiment 74
Designing a deadlock-free train scheduler: A model checking approach 74
Formal modeling and initial analysis of the 4SECURail case study 74
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 74
Towards formal methods diversity in railways: an experience report with seven frameworks 73
Systematic evaluation and usability analysis of formal tools for railway system design 71
From EU projects to a family of model checkers. From Kandinsky to KandISTI 71
4SECURail - D.2.1: Specification of formal development demonstrator 71
The 4SECURail formal methods demonstrator 71
Comparing formal tools for system design: a judgment study 70
The 4SECURail approach to formalizing standard interfaces between signalling systems components 70
Static analysis and family-based model checking of featured transition systems with VMC 70
Formal methods for railway systems: a survey of research and technology transfer projects 69
A case study in formal analysis of system requirements 69
Static analysis and family-based model checking with VMC 68
Compositional verification of concurrent systems by combining bisimulations 67
ASTrail - Deliverable D4.3 - Validation Report 67
Designing a demonstrator of formal methods for railways infrastructure managers 67
AGILE: Software Architecture for Mobility 65
A systematic approach to programming and verifying attribute-based communication systems 63
A summary of: on the expressiveness of modal transition systems with variability constraints 63
PSC V0.4 62
The UMC2LNT and UMC2PROB model transformation tools 62
Adopting Formal Methods in an Industrial Setting: The Railways Case 58
Comparing model checking and model-based simulation 58
Modelling and analysing the finance case study in UMC 57
4SECURail - Revised requirements of the 4SECURail case study 56
ASTRail D4.2 - Preliminary Trial Report 54
4SECURail - Formal development demonstrator prototype, final release 54
States and Events in KandISTI: A Retrospective 52
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 50
On the expressiveness of modal transition systems with variability constraints 50
CN MOST SP4 D1.3.1: Report on formal models 49
Designing UML models with UMC 49
Comparing model checking and model-based simulation: presentation 48
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints 48
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications 48
A Formal Methods Demonstrator for Railways 48
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC 46
An abstract, on the fly framework for the verification of service-oriented systems 46
UMC User Guide (version 2.5) 45
The KandIStI/UMC Online Open-Access Verification Framework 45
A survey of the implementation-dependent aspects of Ada 44
A symbolic model checker for ACTL 43
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 43
Stochastic model-based analysis of energy consumption in a rail road switch heating system 43
A collection of models of a bike-sharing case study. 42
On the industrial uptake of formal methods in the railway domain: a survey with stakeholders 42
A model-checking approach for service component architectures 42
A critical survey of the implementation dependent aspects of ADA 41
A state/event-based model-checking approach for the analysis of abstract system properties 41
CMC: COWS model checker version 0.4 41
Towards the static detection of erroneus executions in Ada 95 40
Deadlock avoidance in train scheduling: A model checking approach 40
Prototipo schedurer ATS 40
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 39
Mu-ACTL+: a temporal logic for UML statechart diagrams 38
A model checking approach for verifying COWS specifications 38
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities 38
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles 38
On the fly model checking of communicating UML state machines 37
Demonstration of a model checker for the analysis of product variability. 37
Deductive proof of software properties 37
VMC: a tool for the analysis of variability in software product lines 36
KandISTI: a family of model checkers for the analysis of software designs 36
CBTC.ATS.0001_00_05 Specifica preliminare di sistema 36
Survey on formal methods and tools in railways: the ASTRail approach 36
Model checking value-passing modal specifications 35
The risk of destructive run-time errors 35
Experimenting dynamic linking with Ada 35
A logical verification methodology for service-oriented computing 35
SEFM 2010 - Poster and Tool Demo Session Proceedings 35
CBTC.AGEN.0023_00_06 Protocollo ATS-ATC 35
CBTC.ATS.006_00_03 Documentazione prototipo ATS 35
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications 34
Formal modelling and verification in service-oriented computing 34
Sensoria - Manual for using the UMC model of the automotive case study 34
Reducing unpredictability in Ada executions 34
CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema 33
Towards the static detection of erroneous execution in Ada 95 33
Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system 33
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine 33
Coding regulations for safety critical software development 33
Verifying properties of systems relying on attribute-based communication 32
VMC: recent advances and challenges ahead 32
Model checking value-passing modal specifications 32
Tools and Verification 32
The draft formal definition of ADA. Modelling implementation dependent aspects 32
Formal verification of fault tolerant mechanisms by model-checking. 32
Formalising a software safety case via belief networks 31
Totale 5.168
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.394
article - articoli 3.770
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.827
Totale 28.991
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/20263.191 170 281 269 440 490 111 576 208 217 213 91 125
2026/20271.138 203 129 466 340 0 0 0 0 0 0 0 0
Totale 6.366