IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.411
EU - Europa 11.774
AS - Asia 7.755
SA - Sud America 2.296
AF - Africa 191
Continente sconosciuto - Info sul continente non disponibili 71
OC - Oceania 24
AN - Antartide 1
Totale 38.523
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.929
RU - Federazione Russa 3.463
SG - Singapore 3.049
BR - Brasile 2.004
DE - Germania 2.002
CN - Cina 1.531
HK - Hong Kong 1.272
IT - Italia 1.220
UA - Ucraina 1.017
SE - Svezia 967
FI - Finlandia 756
GB - Regno Unito 598
VN - Vietnam 587
IN - India 575
NL - Olanda 399
IE - Irlanda 378
FR - Francia 306
CA - Canada 295
BE - Belgio 169
JP - Giappone 138
MX - Messico 132
AR - Argentina 128
PL - Polonia 125
ZA - Sudafrica 106
BD - Bangladesh 98
TR - Turchia 79
ES - Italia 72
EU - Europa 70
IQ - Iraq 57
IL - Israele 56
LT - Lituania 50
EC - Ecuador 43
PK - Pakistan 43
AT - Austria 38
HU - Ungheria 33
IR - Iran 33
UZ - Uzbekistan 29
CO - Colombia 24
EE - Estonia 24
LB - Libano 24
KR - Corea 23
PY - Paraguay 23
KE - Kenya 22
VE - Venezuela 22
PE - Perù 21
SI - Slovenia 21
CZ - Repubblica Ceca 20
ID - Indonesia 20
MA - Marocco 20
AU - Australia 19
CH - Svizzera 18
DK - Danimarca 18
SA - Arabia Saudita 18
GR - Grecia 16
RO - Romania 15
AE - Emirati Arabi Uniti 14
AZ - Azerbaigian 13
EG - Egitto 13
JO - Giordania 13
MY - Malesia 12
TN - Tunisia 11
UY - Uruguay 11
DO - Repubblica Dominicana 10
CL - Cile 9
PT - Portogallo 9
DZ - Algeria 8
OM - Oman 8
PS - Palestinian Territory 8
TT - Trinidad e Tobago 8
TW - Taiwan 8
BO - Bolivia 7
GE - Georgia 7
CR - Costa Rica 6
KZ - Kazakistan 6
LK - Sri Lanka 6
NP - Nepal 6
BB - Barbados 5
ET - Etiopia 5
GT - Guatemala 5
LU - Lussemburgo 5
PA - Panama 5
AL - Albania 4
BY - Bielorussia 4
GY - Guiana 4
JM - Giamaica 4
LV - Lettonia 4
NZ - Nuova Zelanda 4
SK - Slovacchia (Repubblica Slovacca) 4
KH - Cambogia 3
MK - Macedonia 3
NI - Nicaragua 3
NO - Norvegia 3
RS - Serbia 3
SN - Senegal 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
CI - Costa d'Avorio 2
DM - Dominica 2
IS - Islanda 2
Totale 38.491
Salva come PNG Salva come JPEG
Città #
Chandler 2.442
Jacksonville 1.995
Singapore 1.771
Hong Kong 1.254
Ashburn 1.252
Dallas 923
Moscow 857
Boardman 642
Wilmington 587
The Dalles 574
Beijing 562
Los Angeles 494
Helsinki 441
Trento 408
New York 394
Ann Arbor 379
Dublin 368
Hefei 366
Kronberg 321
Dong Ket 303
Dearborn 271
Brooklyn 241
Munich 222
Woodbridge 216
São Paulo 206
Seattle 154
Houston 149
Brussels 148
Phoenix 137
Milan 128
Tokyo 112
Warsaw 101
Pune 95
Ho Chi Minh City 94
Santa Clara 89
Guangzhou 85
Toronto 83
Verona 79
Falkenstein 78
Denver 76
Montreal 75
Johannesburg 73
Rio de Janeiro 73
Frankfurt am Main 70
Redwood City 70
Shanghai 66
London 65
Orem 65
Ottawa 65
Poplar 65
Stockholm 63
Atlanta 59
Chicago 54
Chennai 53
Miami 53
Hanoi 52
Des Moines 51
Nuremberg 51
Turku 50
Boston 46
Amsterdam 45
Manchester 42
Belo Horizonte 41
Council Bluffs 40
Norwalk 40
Mexico City 39
Ankara 36
Assago 36
Brasília 35
Rome 35
Querétaro 33
Mountain View 32
San Francisco 32
Augusta 31
Curitiba 30
Tianjin 30
Salvador 29
Campinas 28
Falls Church 28
Hanover 28
Fremont 27
Leawood 27
Porto Alegre 26
San Mateo 26
Tashkent 26
Budapest 23
Secaucus 21
Nairobi 20
San Jose 20
Vienna 20
Dhaka 19
Inglewood 19
Stuttgart 19
Buenos Aires 18
Charlotte 18
Goiânia 18
Monmouth Junction 18
Nanjing 18
St Petersburg 18
Hillsboro 17
Totale 21.424
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 288
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 282
HRELTL: A temporal logic for hybrid systems 268
NuRV: a nuXmv Extension for Runtime Verification 263
Formal Verification of Diagnosability via Symbolic Model Checking 258
Contracts-refinement proof system for component-based embedded systems 238
Assumption-based Runtime Verification with Partial Observability and Resets 238
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 231
Robustness Envelopes for Temporal Plans 206
NuSMV 203
COMPASS 3.0 201
A Framework for Planning with Extended Goals under Partial Observability 178
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 170
A Comprehensive Approach to On-Board Autonomy Verification and Validation 169
A Comprehensive Approach to On-Board Autonomy Verification and Validation 168
A Lazy Approach to Temporal Epistemic Logic Model Checking 165
Model-based Safety Assessment of a Triple Modular Generator with XSAP 165
A Modular Approach to MaxSAT Modulo Theories 163
ESACS: an integrated methodology for design and safety analysis of complex systems 162
A Model Checker for AADL 161
COMPASS Tool 161
NuGAT 160
The xSAP Safety Analysis Platform 160
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 158
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 157
A Model Based Decision Procedure for Common Sense Temporal Reasoning 157
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 157
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 157
A Many Sorted Natural Deduction 155
Model-Based Design of an Energy-System Embedded Controller Using Taste 155
Tightening the contract refinements of a system architecture 155
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 155
Automated Analysis of Reliability Architectures 153
Safety Assessment of AltaRica Models via Symbolic Model Checking 153
Strong temporal planning with uncontrollable durations 153
Automated Synthesis of Timed Failure Propagation Graphs 152
Efficient Anytime Techniques for Model-Based Safety Analysis 152
RAT 151
Conformant Planning via Symbolic Model Checking 151
KRATOS 150
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 150
Satisfiability Modulo Transcendental Functions via Incremental Linearization 150
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 150
A Property-Based Proof System for Contract-Based Design 149
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 149
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 149
RATSY - A new Requirements Analysis Tool with Synthesis 145
A System for Multi-Level Reasoning 145
A Context-Based Mechanization of Multi-Agent Reasoning 144
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 144
SMT-based Validation of Timed Failure Propagation Graphs 143
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 142
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 140
An Analytic Evaluation of SystemC Encodings in Promela 140
Model Checking and Safety Assessment of Altarica models 140
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 140
Dynamic controllability via Timed Game Automata 140
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 140
OthelloPlay: a plug-in based tool for requirement formalization and validation 139
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 139
Supporting Requirements Validation: The EuRailCheck Tool 139
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 137
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 137
Assumption-Based Runtime Verification of Infinite-State Systems 137
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 136
Verilog2SMV: A Tool for Word-level Verification 136
MBP: A Model Based Planner 136
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 135
Comparing Different Functional Allocations in Automated Air Traffic Control Design 135
An Integrated Process for FDIR Design in Aerospace 134
Symbolic execution with existential second-order constraints 134
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 134
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 133
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 132
Boolean Abstraction for Temporal Logic Satisfiability 131
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 131
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 131
Efficient Analysis of Reliability Architectures via Predicate Abstraction 130
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 130
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 130
Formal Specification and Synthesis of FDI through an Example 129
Formal Verification of Infinite-State BIP Models 129
Formal Methods for Aerospace Systems 129
The MathSAT Solver - a comparative evaluation 129
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 128
A planning language and a semantics for real world autonomous agents 128
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 128
NuSMV: a New Symbolic Model Verifier 127
Infinite-state invariant checking with IC3 and predicate abstraction 127
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 127
The Mathsat3 System 126
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 126
Conformant Planning via Symbolic Model Checking and Heuristic Search 126
Formal Design and Validation of an Automatic Train Operation Control System 125
Formal Verification of Diagnosability via Symbolic Model Checking 125
Automated Verification and Tightening of Failure Propagation Models 125
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 125
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 124
Formal Specification and Verification of Dynamic Parametrized Architectures 124
Strong Planning under Partial Observability 123
Totale 15.365
Salva come PNG Salva come JPEG
Categoria #
all - tutte 200.472
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 200.472
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.027 0 0 0 0 0 135 431 60 149 612 159 481
2021/20221.959 79 73 53 254 153 45 58 319 156 67 271 431
2022/20235.008 163 408 134 872 272 766 95 390 1.160 360 222 166
2023/20243.576 289 152 341 262 226 547 177 405 169 519 45 444
2024/202510.566 94 132 674 369 446 253 503 709 3.718 1.193 1.634 841
2025/20268.392 943 1.573 1.819 2.103 1.350 604 0 0 0 0 0 0
Totale 39.097