CNR Institutional Research Information System

MAZZANTI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.694
NA - Nord America 1.310
EU - Europa 526
SA - Sud America 482
AF - Africa 45
OC - Oceania 1
Totale 5.058
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.258
SG - Singapore 1.213
CN - Cina 635
BR - Brasile 416
VN - Vietnam 280
HK - Hong Kong 207
FR - Francia 152
IT - Italia 104
JP - Giappone 102
KR - Corea 94
RU - Federazione Russa 62
DE - Germania 42
IN - India 38
NL - Olanda 36
FI - Finlandia 32
AR - Argentina 26
AT - Austria 24
GB - Regno Unito 22
CA - Canada 21
IL - Israele 18
IQ - Iraq 17
BD - Bangladesh 15
ID - Indonesia 14
MX - Messico 13
EC - Ecuador 12
TR - Turchia 12
ZA - Sudafrica 12
CO - Colombia 10
SA - Arabia Saudita 10
CY - Cipro 7
EG - Egitto 7
ES - Italia 7
PE - Perù 7
PL - Polonia 7
KE - Kenya 6
PK - Pakistan 6
CI - Costa d'Avorio 5
JM - Giamaica 5
MA - Marocco 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
LV - Lettonia 4
MY - Malesia 4
TN - Tunisia 4
VE - Venezuela 4
AL - Albania 3
BB - Barbados 3
BE - Belgio 3
BG - Bulgaria 3
CH - Svizzera 3
CL - Cile 3
CR - Costa Rica 3
IE - Irlanda 3
PH - Filippine 3
PT - Portogallo 3
PY - Paraguay 3
UA - Ucraina 3
UZ - Uzbekistan 3
CZ - Repubblica Ceca 2
GR - Grecia 2
LT - Lituania 2
NP - Nepal 2
RO - Romania 2
AM - Armenia 1
AO - Angola 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BS - Bahamas 1
BW - Botswana 1
DK - Danimarca 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
QA - Qatar 1
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SV - El Salvador 1
TH - Thailandia 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
ZM - Zambia 1
Totale 5.058
Salva come PNG Salva come JPEG
Città #
Singapore 791
Santa Clara 621
Hefei 249
Hong Kong 206
San Jose 150
Lauterbourg 134
Beijing 98
Seoul 92
Hanoi 90
Ashburn 85
Tokyo 84
Ho Chi Minh City 80
New York 29
São Paulo 28
Los Angeles 27
Moscow 26
Dallas 24
Pisa 22
Nuremberg 18
Da Nang 17
Helsinki 16
Lappeenranta 15
Minamishinagawa 15
Rio de Janeiro 15
Haiphong 13
Vienna 11
Baghdad 10
Buffalo 10
Belo Horizonte 9
Bengaluru 9
Brasília 9
Orem 9
Amsterdam 8
Cascina 8
Curitiba 8
Frankfurt am Main 8
Chennai 7
Council Bluffs 7
Rome 7
Biên Hòa 6
Guangzhou 6
Houston 6
Modena 6
Nairobi 6
Oroklini 6
Phoenix 6
Tel Aviv 6
Warsaw 6
Ankara 5
Campinas 5
Chicago 5
Dhaka 5
Rio Grande 5
Abidjan 4
Baku 4
Bắc Giang 4
Bắc Ninh 4
Canoas 4
Cape Town 4
Denver 4
Florence 4
Fortaleza 4
Guarujá 4
Guayaquil 4
Jacksonville 4
Jeddah 4
Johannesburg 4
Jundiaí 4
Kingston 4
Livorno 4
Mexico City 4
Milan 4
Mumbai 4
Osasco 4
Porto Alegre 4
Porto Seguro 4
São José dos Campos 4
Toronto 4
Volta Redonda 4
Americana 3
Anápolis 3
Atibaia 3
Atlanta 3
Bergamo 3
Boston 3
Bridgetown 3
Brooklyn 3
Buenos Aires 3
Bến Tre 3
Cairo 3
Contagem 3
Dammam 3
Delhi 3
Dublin 3
Guarulhos 3
Ha Long 3
Hai Bà Trưng 3
Irecê 3
Jakarta 3
Joinville 3
Totale 3.311
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 88
SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties 78
Ten diverse formal models for a CBTC automatic train supervision system 78
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 74
An experience on formal analysis of a high-level graphical SOA design 70
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 70
The AIDA experiment 67
Designing a deadlock-free train scheduler: A model checking approach 65
Formal modeling and initial analysis of the 4SECURail case study 64
The 4SECURail case study on rigorous standard interface specifications 64
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session 63
From EU projects to a family of model checkers. From Kandinsky to KandISTI 62
Systematic evaluation and usability analysis of formal tools for railway system design 60
Comparing formal tools for system design: a judgment study 60
Efficient static analysis and verification of featured transition systems 60
AGILE: Software Architecture for Mobility 59
4SECURail - D.2.1: Specification of formal development demonstrator 59
The 4SECURail formal methods demonstrator 59
A systematic approach to programming and verifying attribute-based communication systems 57
PSC V0.4 57
A summary of: on the expressiveness of modal transition systems with variability constraints 56
Towards formal methods diversity in railways: an experience report with seven frameworks 56
A case study in formal analysis of system requirements 56
ASTrail - Deliverable D4.3 - Validation Report 56
The 4SECURail approach to formalizing standard interfaces between signalling systems components 55
Designing a demonstrator of formal methods for railways infrastructure managers 55
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 54
Formal models of the SAI/CSL system of the 4SECURail case study 52
The UMC2LNT and UMC2PROB model transformation tools 51
Static analysis and family-based model checking with VMC 51
ASTRail D4.2 - Preliminary Trial Report 49
Formal methods for railway systems: a survey of research and technology transfer projects 47
Adopting Formal Methods in an Industrial Setting: The Railways Case 46
4SECURail - Revised requirements of the 4SECURail case study 45
Compositional verification of concurrent systems by combining bisimulations 45
4SECURail - Formal development demonstrator prototype, final release 45
Static analysis and family-based model checking of featured transition systems with VMC 43
Comparing model checking and model-based simulation 43
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 42
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC 41
UMC User Guide (version 2.5) 40
A survey of the implementation-dependent aspects of Ada 40
On the expressiveness of modal transition systems with variability constraints 40
Comparing model checking and model-based simulation: presentation 38
States and Events in KandISTI: A Retrospective 38
Towards the static detection of erroneus executions in Ada 95 37
A critical survey of the implementation dependent aspects of ADA 37
Designing UML models with UMC 37
A Formal Methods Demonstrator for Railways 37
A collection of models of a bike-sharing case study. 36
Modelling and analysing the finance case study in UMC 36
A state/event-based model-checking approach for the analysis of abstract system properties 36
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints 36
An abstract, on the fly framework for the verification of service-oriented systems 35
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 34
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications 34
The KandIStI/UMC Online Open-Access Verification Framework 34
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles 33
CN MOST SP4 D1.3.1: Report on formal models 32
CMC: COWS model checker version 0.4 32
Mu-ACTL+: a temporal logic for UML statechart diagrams 31
Deductive proof of software properties 31
SEFM 2010 - Poster and Tool Demo Session Proceedings 31
A model-checking approach for service component architectures 31
A symbolic model checker for ACTL 30
Formal modelling and verification in service-oriented computing 30
Deadlock avoidance in train scheduling: A model checking approach 30
Experimenting dynamic linking with Ada 30
On the industrial uptake of formal methods in the railway domain: a survey with stakeholders 30
Model checking value-passing modal specifications 29
Reducing unpredictability in Ada executions 29
KandISTI: a family of model checkers for the analysis of software designs 29
CBTC.ATS.0001_00_05 Specifica preliminare di sistema 29
CBTC.ATS.006_00_03 Documentazione prototipo ATS 29
Towards the static detection of erroneous execution in Ada 95 28
CBTC.AGEN.0023_00_06 Protocollo ATS-ATC 28
Formal verification of fault tolerant mechanisms by model-checking. 28
Survey on formal methods and tools in railways: the ASTRail approach 28
On the fly model checking of communicating UML state machines 27
Verifying properties of systems relying on attribute-based communication 27
Guide to erroneous executions in Ada 95 27
Model checking value-passing modal specifications 27
The risk of destructive run-time errors 27
A logical verification methodology for service-oriented computing 27
Stochastic model-based analysis of energy consumption in a rail road switch heating system 27
VMC: a tool for the analysis of variability in software product lines 27
Experimenting dynamic linking in Ada 27
A user manual of the metalanguage for the trial definition 27
Prototipo schedurer ATS 27
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications 26
On the fly model checking of communicating UML state machines 26
VMC: recent advances and challenges ahead 26
Demonstration of a model checker for the analysis of product variability. 26
A model checking approach for verifying COWS specifications 26
UMC User Guide (version 3.3) 26
The point on Ada erroneous executions 26
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 26
CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema 25
FMCTools 25
COWS V0.2 25
Totale 4.135
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.948
article - articoli 2.928
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.370
Totale 22.246
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.038 170 281 269 440 490 111 576 208 217 213 63 0
Totale 5.075