CNR Institutional Research Information System

MAZZANTI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.719
NA - Nord America 1.528
EU - Europa 559
SA - Sud America 486
AF - Africa 45
OC - Oceania 1
Totale 5.338
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.463
SG - Singapore 1.218
CN - Cina 639
BR - Brasile 417
VN - Vietnam 280
HK - Hong Kong 208
FR - Francia 152
IT - Italia 130
JP - Giappone 102
KR - Corea 94
RU - Federazione Russa 62
DE - Germania 42
IN - India 38
NL - Olanda 37
FI - Finlandia 32
AR - Argentina 28
BD - Bangladesh 28
CA - Canada 26
AT - Austria 24
GB - Regno Unito 23
IL - Israele 18
IQ - Iraq 17
MX - Messico 15
ID - Indonesia 14
TR - Turchia 13
EC - Ecuador 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
JM - Giamaica 6
KE - Kenya 6
PK - Pakistan 6
AE - Emirati Arabi Uniti 5
CI - Costa d'Avorio 5
MA - Marocco 5
VE - Venezuela 5
AL - Albania 4
AZ - Azerbaigian 4
CH - Svizzera 4
LV - Lettonia 4
MY - Malesia 4
TN - Tunisia 4
BB - Barbados 3
BE - Belgio 3
BG - Bulgaria 3
CL - Cile 3
CR - Costa Rica 3
HN - Honduras 3
IE - Irlanda 3
PH - Filippine 3
PT - Portogallo 3
PY - Paraguay 3
UA - Ucraina 3
UZ - Uzbekistan 3
BS - Bahamas 2
CZ - Repubblica Ceca 2
GR - Grecia 2
LT - Lituania 2
NP - Nepal 2
RO - Romania 2
SE - Svezia 2
AM - Armenia 1
AO - Angola 1
AU - Australia 1
AW - Aruba 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BW - Botswana 1
BY - Bielorussia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GD - Grenada 1
HU - Ungheria 1
JO - Giordania 1
KY - Cayman, isole 1
NA - Namibia 1
NO - Norvegia 1
PA - Panama 1
QA - Qatar 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.338
Salva come PNG Salva come JPEG
Città #
Singapore 796
Santa Clara 623
Hefei 249
Hong Kong 206
San Jose 151
Lauterbourg 134
Ashburn 118
Beijing 98
Seoul 92
Hanoi 90
Tokyo 84
Ho Chi Minh City 80
Los Angeles 29
New York 29
Dallas 28
São Paulo 28
Moscow 26
Pisa 22
Nuremberg 18
Da Nang 17
Helsinki 16
Lappeenranta 15
Minamishinagawa 15
Rio de Janeiro 15
Vienna 15
Haiphong 13
Milan 12
Buffalo 11
Jacksonville 11
Rome 11
Baghdad 10
Belo Horizonte 9
Bengaluru 9
Brasília 9
Council Bluffs 9
Houston 9
Orem 9
Amsterdam 8
Cascina 8
Curitiba 8
Frankfurt am Main 8
Phoenix 8
Chennai 7
Chicago 7
Biên Hòa 6
Denver 6
Dhaka 6
Guangzhou 6
Modena 6
Nairobi 6
Oroklini 6
Tel Aviv 6
Warsaw 6
Ankara 5
Campinas 5
Porto Alegre 5
Queens 5
Rio Grande 5
Toronto 5
Abidjan 4
Atlanta 4
Baku 4
Boardman 4
Brooklyn 4
Bắc Giang 4
Bắc Ninh 4
Canoas 4
Cape Town 4
Florence 4
Fortaleza 4
Guarujá 4
Guayaquil 4
Jeddah 4
Johannesburg 4
Jundiaí 4
Kingston 4
Livorno 4
Mexico City 4
Mumbai 4
Newark 4
Osasco 4
Philadelphia 4
Porto Seguro 4
San Diego 4
São José dos Campos 4
The Bronx 4
Volta Redonda 4
Americana 3
Anápolis 3
Atibaia 3
Austin 3
Bergamo 3
Boston 3
Bridgetown 3
Buenos Aires 3
Bến Tre 3
Cairo 3
Cincinnati 3
Contagem 3
Covina 3
Totale 3.405
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 92
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 84
Ten diverse formal models for a CBTC automatic train supervision system 81
SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties 79
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 76
An experience on formal analysis of a high-level graphical SOA design 72
The AIDA experiment 69
The 4SECURail case study on rigorous standard interface specifications 69
Designing a deadlock-free train scheduler: A model checking approach 68
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session 68
Efficient static analysis and verification of featured transition systems 68
From EU projects to a family of model checkers. From Kandinsky to KandISTI 65
The 4SECURail approach to formalizing standard interfaces between signalling systems components 65
Formal modeling and initial analysis of the 4SECURail case study 65
4SECURail - D.2.1: Specification of formal development demonstrator 64
The 4SECURail formal methods demonstrator 63
Systematic evaluation and usability analysis of formal tools for railway system design 62
Comparing formal tools for system design: a judgment study 61
AGILE: Software Architecture for Mobility 60
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 60
A systematic approach to programming and verifying attribute-based communication systems 59
Towards formal methods diversity in railways: an experience report with seven frameworks 59
A case study in formal analysis of system requirements 59
ASTrail - Deliverable D4.3 - Validation Report 59
Static analysis and family-based model checking with VMC 58
Static analysis and family-based model checking of featured transition systems with VMC 58
PSC V0.4 57
Compositional verification of concurrent systems by combining bisimulations 57
A summary of: on the expressiveness of modal transition systems with variability constraints 56
Designing a demonstrator of formal methods for railways infrastructure managers 56
Formal models of the SAI/CSL system of the 4SECURail case study 53
Adopting Formal Methods in an Industrial Setting: The Railways Case 52
The UMC2LNT and UMC2PROB model transformation tools 52
ASTRail D4.2 - Preliminary Trial Report 49
4SECURail - Revised requirements of the 4SECURail case study 49
Formal methods for railway systems: a survey of research and technology transfer projects 49
4SECURail - Formal development demonstrator prototype, final release 48
Comparing model checking and model-based simulation 46
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC 42
Designing UML models with UMC 42
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 42
On the expressiveness of modal transition systems with variability constraints 42
A survey of the implementation-dependent aspects of Ada 41
States and Events in KandISTI: A Retrospective 41
UMC User Guide (version 2.5) 40
Comparing model checking and model-based simulation: presentation 39
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications 39
A collection of models of a bike-sharing case study. 38
Towards the static detection of erroneus executions in Ada 95 37
A critical survey of the implementation dependent aspects of ADA 37
Modelling and analysing the finance case study in UMC 37
A Formal Methods Demonstrator for Railways 37
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
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints 36
The KandIStI/UMC Online Open-Access Verification Framework 36
Prototipo schedurer ATS 36
CN MOST SP4 D1.3.1: Report on formal models 35
An abstract, on the fly framework for the verification of service-oriented systems 35
CMC: COWS model checker version 0.4 34
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles 34
Mu-ACTL+: a temporal logic for UML statechart diagrams 32
A symbolic model checker for ACTL 32
SEFM 2010 - Poster and Tool Demo Session Proceedings 32
Stochastic model-based analysis of energy consumption in a rail road switch heating system 32
On the industrial uptake of formal methods in the railway domain: a survey with stakeholders 32
Deductive proof of software properties 31
CBTC.ATS.0001_00_05 Specifica preliminare di sistema 31
Survey on formal methods and tools in railways: the ASTRail approach 31
A model-checking approach for service component architectures 31
Formal modelling and verification in service-oriented computing 30
Deadlock avoidance in train scheduling: A model checking approach 30
Demonstration of a model checker for the analysis of product variability. 30
Experimenting dynamic linking with Ada 30
Towards the static detection of erroneous execution in Ada 95 30
Model checking value-passing modal specifications 29
A logical verification methodology for service-oriented computing 29
Reducing unpredictability in Ada executions 29
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities 29
VMC: a tool for the analysis of variability in software product lines 29
KandISTI: a family of model checkers for the analysis of software designs 29
CBTC.ATS.006_00_03 Documentazione prototipo ATS 29
On the fly model checking of communicating UML state machines 28
CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema 28
The risk of destructive run-time errors 28
A model checking approach for verifying COWS specifications 28
CBTC.AGEN.0023_00_06 Protocollo ATS-ATC 28
Formal verification of fault tolerant mechanisms by model-checking. 28
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 28
Verifying properties of systems relying on attribute-based communication 27
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications 27
Guide to erroneous executions in Ada 95 27
VMC: recent advances and challenges ahead 27
Model checking value-passing modal specifications 27
Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system 27
UMC User Guide (version 3.3) 27
Sensoria - Manual for using the UMC model of the automotive case study 27
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine 27
Experimenting dynamic linking in Ada 27
A user manual of the metalanguage for the trial definition 27
Totale 4.369
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.814
article - articoli 3.205
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.514
Totale 24.533
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/2027127 127 0 0 0 0 0 0 0 0 0 0 0
Totale 5.355