IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 22.033
NA - Nord America 19.455
AS - Asia 10.681
SA - Sud America 2.691
AF - Africa 301
Continente sconosciuto - Info sul continente non disponibili 71
OC - Oceania 28
AN - Antartide 1
Totale 55.261
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.872
RU - Federazione Russa 12.676
SG - Singapore 3.933
DE - Germania 2.276
BR - Brasile 2.235
CN - Cina 1.866
VN - Vietnam 1.657
HK - Hong Kong 1.431
IT - Italia 1.331
SE - Svezia 1.074
UA - Ucraina 1.034
FI - Finlandia 761
FR - Francia 681
IN - India 657
GB - Regno Unito 645
NL - Olanda 422
IE - Irlanda 389
CA - Canada 322
AR - Argentina 182
MX - Messico 174
BE - Belgio 171
BD - Bangladesh 165
JP - Giappone 163
PL - Polonia 141
ZA - Sudafrica 131
IQ - Iraq 121
TR - Turchia 93
ES - Italia 89
EU - Europa 70
PK - Pakistan 63
IL - Israele 62
EC - Ecuador 54
VE - Venezuela 53
LT - Lituania 51
ID - Indonesia 48
CO - Colombia 44
SA - Arabia Saudita 44
AT - Austria 42
UZ - Uzbekistan 37
PY - Paraguay 36
HU - Ungheria 35
IR - Iran 33
LB - Libano 31
MA - Marocco 31
CL - Cile 30
KE - Kenya 30
AE - Emirati Arabi Uniti 29
PH - Filippine 25
CZ - Repubblica Ceca 24
EE - Estonia 24
MY - Malesia 24
PE - Perù 24
AU - Australia 23
CH - Svizzera 23
JO - Giordania 23
KR - Corea 23
SI - Slovenia 23
TN - Tunisia 23
DZ - Algeria 22
AZ - Azerbaigian 20
DK - Danimarca 20
EG - Egitto 20
NP - Nepal 19
OM - Oman 18
RO - Romania 18
GR - Grecia 17
UY - Uruguay 17
DO - Repubblica Dominicana 15
PT - Portogallo 13
TH - Thailandia 13
PS - Palestinian Territory 12
TW - Taiwan 12
ET - Etiopia 11
BO - Bolivia 10
CR - Costa Rica 10
KZ - Kazakistan 10
TT - Trinidad e Tobago 10
GE - Georgia 9
GT - Guatemala 9
BY - Bielorussia 8
JM - Giamaica 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
SN - Senegal 5
CG - Congo 4
GY - Guiana 4
KW - Kuwait 4
MK - Macedonia 4
NG - Nigeria 4
NO - Norvegia 4
NZ - Nuova Zelanda 4
Totale 55.193
Salva come PNG Salva come JPEG
Città #
Chandler 2.442
San Jose 2.194
Jacksonville 1.995
Singapore 1.970
Ashburn 1.490
Hong Kong 1.386
Dallas 927
Moscow 858
The Dalles 644
Boardman 642
Beijing 602
Wilmington 587
Los Angeles 547
Helsinki 446
Ho Chi Minh City 419
Trento 410
New York 408
Ann Arbor 379
Dublin 378
Hefei 367
Hanoi 326
Kronberg 321
Lauterbourg 319
Dong Ket 303
Dearborn 271
Brooklyn 241
São Paulo 225
Munich 223
Woodbridge 216
Seattle 155
Houston 151
Brussels 148
Phoenix 140
Milan 138
Tokyo 135
Frankfurt am Main 110
Warsaw 106
Santa Clara 104
Orem 98
Pune 97
Guangzhou 95
Toronto 86
Denver 84
Johannesburg 82
Rio de Janeiro 81
Falkenstein 79
Verona 79
Montreal 78
Da Nang 77
London 70
Redwood City 70
Shanghai 70
Stockholm 67
Atlanta 66
Poplar 66
Chicago 65
Ottawa 65
Chennai 64
Council Bluffs 63
Nuremberg 63
Amsterdam 58
Haiphong 57
Miami 56
Des Moines 55
Manchester 51
Turku 50
Boston 47
Belo Horizonte 43
Brasília 40
Mexico City 40
Norwalk 40
Rome 40
Ankara 37
Assago 36
Campinas 34
Tianjin 34
Curitiba 33
Dhaka 33
Querétaro 33
Salvador 33
Mountain View 32
San Francisco 32
Tashkent 32
Augusta 31
Baghdad 30
Hanover 30
Porto Alegre 29
Buffalo 28
Falls Church 28
Nairobi 28
Fremont 27
Leawood 27
San Mateo 26
Can Tho 25
Budapest 24
Mumbai 23
Vienna 23
Hillsboro 22
Hải Dương 22
Amman 21
Totale 25.778
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 343
Formal reliability analysis of redundant architectures 336
Formal Verification of Diagnosability via Symbolic Model Checking 314
HRELTL: A temporal logic for hybrid systems 314
NuRV: a nuXmv Extension for Runtime Verification 313
Assumption-based Runtime Verification with Partial Observability and Resets 301
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 295
Contracts-refinement proof system for component-based embedded systems 282
NuSMV 259
COMPASS 3.0 245
Robustness Envelopes for Temporal Plans 241
A Framework for Planning with Extended Goals under Partial Observability 239
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 230
A Comprehensive Approach to On-Board Autonomy Verification and Validation 229
Model-based Safety Assessment of a Triple Modular Generator with XSAP 229
A Modular Approach to MaxSAT Modulo Theories 227
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 226
A Lazy Approach to Temporal Epistemic Logic Model Checking 226
A Model Based Decision Procedure for Common Sense Temporal Reasoning 224
NuGAT 222
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 221
A Comprehensive Approach to On-Board Autonomy Verification and Validation 220
The xSAP Safety Analysis Platform 218
ESACS: an integrated methodology for design and safety analysis of complex systems 217
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 217
Safety Assessment of AltaRica Models via Symbolic Model Checking 217
Efficient Anytime Techniques for Model-Based Safety Analysis 217
A Many Sorted Natural Deduction 214
COMPASS Tool 213
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 213
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 211
Automated Analysis of Reliability Architectures 211
A Model Checker for AADL 210
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 210
A Property-Based Proof System for Contract-Based Design 209
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 209
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 209
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 208
Satisfiability Modulo Transcendental Functions via Incremental Linearization 206
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 206
Automated Synthesis of Timed Failure Propagation Graphs 204
KRATOS 203
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 203
Tightening the contract refinements of a system architecture 202
RAT 201
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 201
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 200
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 200
Model-Based Design of an Energy-System Embedded Controller Using Taste 200
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 199
An Analytic Evaluation of SystemC Encodings in Promela 199
An Integrated Process for FDIR Design in Aerospace 199
SMT-based Validation of Timed Failure Propagation Graphs 199
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 199
Assumption-Based Runtime Verification of Infinite-State Systems 199
A Context-Based Mechanization of Multi-Agent Reasoning 198
A System for Multi-Level Reasoning 197
Model Checking and Safety Assessment of Altarica models 197
OthelloPlay: a plug-in based tool for requirement formalization and validation 196
Strong temporal planning with uncontrollable durations 195
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 195
RATSY - A new Requirements Analysis Tool with Synthesis 193
Boolean Abstraction for Temporal Logic Satisfiability 193
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 192
Supporting Requirements Validation: The EuRailCheck Tool 192
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 191
Conformant Planning via Symbolic Model Checking 191
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 190
Dynamic controllability via Timed Game Automata 190
Comparing Different Functional Allocations in Automated Air Traffic Control Design 189
Conformant Planning via Symbolic Model Checking and Heuristic Search 187
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 186
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 185
Efficient Analysis of Reliability Architectures via Predicate Abstraction 185
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 184
Formal Verification of Diagnosability via Symbolic Model Checking 183
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 183
Bounded Model Checking for Timed Systems 183
Verilog2SMV: A Tool for Word-level Verification 183
MBP: A Model Based Planner 183
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 183
Formal Specification and Synthesis of FDI through an Example 182
A Formal IDE for Railways: Research Challenges 181
Formal Design and Validation of an Automatic Train Operation Control System 181
Efficient Theory Combination via Boolean Search 181
Model Checking of Hybrid Systems using Shallow Synchronization 180
Quantifier-free encoding of invariants for hybrid systems 180
HYCOMP - an SMT-based model checker for hybrid systems 180
A comprehensive framework for the analysis of automotive systems 179
Applying SMT in Symbolic Execution of Microcode 179
A planning language and a semantics for real world autonomous agents 179
Building Efficient Decision Procedures on top of SAT solvers 178
Formal Verification of Infinite-State BIP Models 178
Infinite-state invariant checking with IC3 and predicate abstraction 178
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 178
Symbolic execution with existential second-order constraints 178
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 177
Bounded Verification of Past LTL 177
Automated Verification and Tightening of Failure Propagation Models 177
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 177
Totale 20.883
Salva come PNG Salva come JPEG
Categoria #
all - tutte 224.613
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 224.613
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.252 0 0 0 0 0 0 0 0 0 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/202625.143 943 1.573 1.819 2.103 1.350 1.039 3.669 9.702 1.613 1.332 0 0
Totale 55.848