IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.880 0 73 53 254 153 45 58 319 156 67 271 431
2022/20235.005 163 408 134 872 272 766 95 390 1.160 360 222 163
2023/20243.558 286 148 338 261 226 547 177 404 169 516 45 441
2024/202510.532 92 131 673 365 445 251 502 708 3.704 1.191 1.629 841
2025/202627.097 940 1.570 1.815 2.093 1.347 1.037 3.664 9.671 1.608 1.526 1.467 359
2026/20271.825 1.140 685 0 0 0 0 0 0 0 0 0 0
Totale 59.572