IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 22.091
NA - Nord America 21.039
AS - Asia 10.917
SA - Sud America 2.693
AF - Africa 302
Continente sconosciuto - Info sul continente non disponibili 72
OC - Oceania 29
AN - Antartide 1
Totale 57.144
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 20.426
RU - Federazione Russa 12.676
SG - Singapore 4.015
DE - Germania 2.280
BR - Brasile 2.235
CN - Cina 1.968
VN - Vietnam 1.667
HK - Hong Kong 1.443
IT - Italia 1.368
SE - Svezia 1.075
UA - Ucraina 1.034
FI - Finlandia 761
FR - Francia 681
IN - India 661
GB - Regno Unito 648
NL - Olanda 423
IE - Irlanda 389
CA - Canada 333
AR - Argentina 183
MX - Messico 178
BE - Belgio 172
BD - Bangladesh 167
JP - Giappone 165
PL - Polonia 142
ZA - Sudafrica 132
IQ - Iraq 122
TR - Turchia 93
ES - Italia 92
EU - Europa 70
IL - Israele 63
PK - Pakistan 63
EC - Ecuador 54
VE - Venezuela 54
LT - Lituania 51
ID - Indonesia 48
CO - Colombia 44
SA - Arabia Saudita 44
AT - Austria 43
UZ - Uzbekistan 41
HU - Ungheria 37
PY - Paraguay 36
IR - Iran 33
LB - Libano 31
MA - Marocco 31
AE - Emirati Arabi Uniti 30
CL - Cile 30
KE - Kenya 30
MY - Malesia 28
NP - Nepal 25
PH - Filippine 25
AU - Australia 24
CZ - Repubblica Ceca 24
EE - Estonia 24
JO - Giordania 24
PE - Perù 24
CH - Svizzera 23
KR - Corea 23
SI - Slovenia 23
TN - Tunisia 23
DZ - Algeria 22
AZ - Azerbaigian 20
DK - Danimarca 20
EG - Egitto 20
GR - Grecia 18
OM - Oman 18
RO - Romania 18
UY - Uruguay 17
DO - Repubblica Dominicana 15
TW - Taiwan 15
CR - Costa Rica 14
TH - Thailandia 14
JM - Giamaica 13
PT - Portogallo 13
PS - Palestinian Territory 12
ET - Etiopia 11
TT - Trinidad e Tobago 11
BO - Bolivia 10
GT - Guatemala 10
KZ - Kazakistan 10
GE - Georgia 9
BY - Bielorussia 8
LK - Sri Lanka 8
CI - Costa d'Avorio 7
PA - Panama 7
AL - Albania 6
BB - Barbados 6
SY - Repubblica araba siriana 6
BG - Bulgaria 5
HN - Honduras 5
KH - Cambogia 5
LU - Lussemburgo 5
LV - Lettonia 5
NI - Nicaragua 5
PR - Porto Rico 5
SN - Senegal 5
BA - Bosnia-Erzegovina 4
CG - Congo 4
GY - Guiana 4
KW - Kuwait 4
MD - Moldavia 4
Totale 57.070
Salva come PNG Salva come JPEG
Città #
Chandler 2.442
San Jose 2.399
Jacksonville 1.999
Singapore 1.976
Ashburn 1.501
Hong Kong 1.397
Council Bluffs 1.055
Dallas 935
Moscow 858
The Dalles 645
Boardman 644
Beijing 619
Wilmington 587
Los Angeles 561
Helsinki 446
Trento 423
Ho Chi Minh City 422
New York 418
Ann Arbor 379
Dublin 378
Hefei 367
Hanoi 328
Kronberg 321
Lauterbourg 319
Dong Ket 303
Dearborn 272
Brooklyn 244
São Paulo 225
Munich 223
Woodbridge 216
Seattle 155
Houston 153
Brussels 148
Phoenix 144
Milan 140
Tokyo 135
Santa Clara 125
Frankfurt am Main 110
Warsaw 106
Orem 98
Pune 97
Guangzhou 96
Des Moines 88
Toronto 88
Denver 87
Johannesburg 82
Rio de Janeiro 81
Falkenstein 79
Montreal 79
Verona 79
Da Nang 77
Atlanta 73
London 71
Shanghai 71
Redwood City 70
Chicago 68
Stockholm 67
Poplar 66
Ottawa 65
Chennai 64
Nuremberg 63
Amsterdam 58
Haiphong 57
Miami 57
Manchester 51
Turku 50
Boston 47
Mexico City 44
Belo Horizonte 43
Rome 43
Brasília 40
Norwalk 40
Ankara 37
Assago 36
Buffalo 36
Tashkent 36
Tianjin 35
Campinas 34
Curitiba 33
Dhaka 33
Querétaro 33
Salvador 33
Mountain View 32
San Francisco 32
Augusta 31
Boydton 31
Baghdad 30
Hanover 30
Washington 30
Porto Alegre 29
Falls Church 28
Nairobi 28
Fremont 27
Leawood 27
Budapest 26
San Mateo 26
Can Tho 25
Mumbai 25
Vienna 23
Amman 22
Totale 27.205
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 348
Formal reliability analysis of redundant architectures 337
NuRV: a nuXmv Extension for Runtime Verification 318
HRELTL: A temporal logic for hybrid systems 317
Formal Verification of Diagnosability via Symbolic Model Checking 316
Assumption-based Runtime Verification with Partial Observability and Resets 306
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 299
Contracts-refinement proof system for component-based embedded systems 286
NuSMV 264
COMPASS 3.0 250
A Framework for Planning with Extended Goals under Partial Observability 245
Robustness Envelopes for Temporal Plans 245
Model-based Safety Assessment of a Triple Modular Generator with XSAP 235
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 234
A Comprehensive Approach to On-Board Autonomy Verification and Validation 233
A Lazy Approach to Temporal Epistemic Logic Model Checking 231
A Modular Approach to MaxSAT Modulo Theories 230
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 228
A Model Based Decision Procedure for Common Sense Temporal Reasoning 228
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 227
NuGAT 226
A Comprehensive Approach to On-Board Autonomy Verification and Validation 223
The xSAP Safety Analysis Platform 223
Efficient Anytime Techniques for Model-Based Safety Analysis 223
ESACS: an integrated methodology for design and safety analysis of complex systems 222
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 222
Safety Assessment of AltaRica Models via Symbolic Model Checking 221
A Many Sorted Natural Deduction 219
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 218
COMPASS Tool 217
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 215
A Property-Based Proof System for Contract-Based Design 215
Automated Analysis of Reliability Architectures 215
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 215
A Model Checker for AADL 214
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 214
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 214
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 213
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 211
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 211
Automated Synthesis of Timed Failure Propagation Graphs 210
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 210
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 207
Tightening the contract refinements of a system architecture 206
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 205
An Analytic Evaluation of SystemC Encodings in Promela 205
Model-Based Design of an Energy-System Embedded Controller Using Taste 205
Assumption-Based Runtime Verification of Infinite-State Systems 205
RAT 204
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 204
KRATOS 204
SMT-based Validation of Timed Failure Propagation Graphs 204
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 204
Formal Verification of Diagnosability via Symbolic Model Checking 203
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 203
A Context-Based Mechanization of Multi-Agent Reasoning 203
An Integrated Process for FDIR Design in Aerospace 202
Conformant Planning via Symbolic Model Checking 201
A System for Multi-Level Reasoning 200
Model Checking and Safety Assessment of Altarica models 200
OthelloPlay: a plug-in based tool for requirement formalization and validation 200
Strong temporal planning with uncontrollable durations 200
RATSY - A new Requirements Analysis Tool with Synthesis 198
Boolean Abstraction for Temporal Logic Satisfiability 197
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 197
Supporting Requirements Validation: The EuRailCheck Tool 196
Conformant Planning via Symbolic Model Checking and Heuristic Search 194
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 194
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 194
Dynamic controllability via Timed Game Automata 194
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 194
Comparing Different Functional Allocations in Automated Air Traffic Control Design 193
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 190
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 190
Verilog2SMV: A Tool for Word-level Verification 190
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 189
MBP: A Model Based Planner 188
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 188
A Formal IDE for Railways: Research Challenges 187
Efficient Analysis of Reliability Architectures via Predicate Abstraction 187
Bounded Model Checking for Timed Systems 187
A comprehensive framework for the analysis of automotive systems 186
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 186
Formal Specification and Synthesis of FDI through an Example 186
Model Checking of Hybrid Systems using Shallow Synchronization 185
Efficient Theory Combination via Boolean Search 185
HYCOMP - an SMT-based model checker for hybrid systems 185
Infinite-state invariant checking with IC3 and predicate abstraction 185
Formal Design and Validation of an Automatic Train Operation Control System 184
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 184
A first-order logic characterization of safety and co-safety languages 183
Applying SMT in Symbolic Execution of Microcode 183
Building Efficient Decision Procedures on top of SAT solvers 183
Quantifier-free encoding of invariants for hybrid systems 183
A planning language and a semantics for real world autonomous agents 183
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 182
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 181
Bounded Verification of Past LTL 181
Automated Verification and Tightening of Failure Propagation Models 181
Totale 21.375
Salva come PNG Salva come JPEG
Categoria #
all - tutte 236.137
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 236.137
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021481 0 0 0 0 0 0 0 0 0 0 0 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/202627.031 943 1.573 1.819 2.103 1.350 1.039 3.669 9.702 1.613 1.528 1.474 218
Totale 57.736