IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 26.765
EU - Europa 22.486
AS - Asia 11.030
SA - Sud America 2.736
Continente sconosciuto - Info sul continente non disponibili 697
AF - Africa 331
OC - Oceania 29
AN - Antartide 1
Totale 64.075
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 25.879
RU - Federazione Russa 12.646
SG - Singapore 4.026
DE - Germania 2.314
BR - Brasile 2.254
CN - Cina 1.983
VN - Vietnam 1.669
IT - Italia 1.507
HK - Hong Kong 1.473
SE - Svezia 1.230
UA - Ucraina 1.037
FI - Finlandia 760
FR - Francia 699
GB - Regno Unito 686
IN - India 662
CA - Canada 443
NL - Olanda 426
IE - Irlanda 392
AR - Argentina 187
MX - Messico 180
BD - Bangladesh 171
BE - Belgio 171
JP - Giappone 171
PL - Polonia 148
ZA - Sudafrica 132
IQ - Iraq 120
TR - Turchia 98
ES - Italia 97
IL - Israele 73
EU - Europa 70
PK - Pakistan 65
EC - Ecuador 58
VE - Venezuela 57
CO - Colombia 53
ID - Indonesia 53
LT - Lituania 51
AT - Austria 44
SA - Arabia Saudita 44
UZ - Uzbekistan 41
CR - Costa Rica 40
HU - Ungheria 39
AE - Emirati Arabi Uniti 37
PY - Paraguay 36
CL - Cile 34
IR - Iran 33
LB - Libano 31
MA - Marocco 31
PH - Filippine 31
KE - Kenya 30
MY - Malesia 30
TT - Trinidad e Tobago 30
EE - Estonia 29
NP - Nepal 28
JM - Giamaica 27
PR - Porto Rico 27
SC - Seychelles 27
SV - El Salvador 27
GT - Guatemala 25
AU - Australia 24
CH - Svizzera 24
CZ - Repubblica Ceca 24
DK - Danimarca 24
JO - Giordania 24
KR - Corea 24
PE - Perù 24
SI - Slovenia 24
TN - Tunisia 24
DZ - Algeria 22
AZ - Azerbaigian 20
EG - Egitto 20
GR - Grecia 20
HN - Honduras 20
RO - Romania 20
OM - Oman 18
NI - Nicaragua 17
TH - Thailandia 17
UY - Uruguay 17
DO - Repubblica Dominicana 15
TW - Taiwan 15
CW - ???statistics.table.value.countryCode.CW??? 14
PT - Portogallo 14
PS - Palestinian Territory 12
ET - Etiopia 11
GP - Guadalupe 11
KZ - Kazakistan 11
BO - Bolivia 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
BG - Bulgaria 6
SY - Repubblica araba siriana 6
BA - Bosnia-Erzegovina 5
KH - Cambogia 5
LU - Lussemburgo 5
LV - Lettonia 5
MD - Moldavia 5
Totale 63.370
Salva come PNG Salva come JPEG
Città #
San Jose 2.776
Council Bluffs 2.602
Chandler 2.444
Jacksonville 2.004
Singapore 1.985
Ashburn 1.578
Hong Kong 1.404
Dallas 973
Moscow 855
The Dalles 644
Boardman 642
Beijing 628
Los Angeles 628
Wilmington 598
New York 529
Helsinki 445
Trento 428
Ho Chi Minh City 423
Ann Arbor 380
Dublin 378
Hefei 366
Hanoi 328
Kronberg 320
Lauterbourg 319
Dong Ket 303
Brooklyn 283
Dearborn 273
Buffalo 256
Munich 243
São Paulo 227
Phoenix 226
Woodbridge 218
Santa Clara 196
Houston 176
Seattle 176
Milan 162
Brussels 146
Tokyo 141
Toronto 116
Denver 113
Frankfurt am Main 110
Des Moines 108
Chicago 107
Warsaw 107
Orem 98
Pune 97
Guangzhou 96
Montreal 93
Garland 85
Miami 84
Johannesburg 82
Atlanta 81
Rio de Janeiro 81
Verona 79
Falkenstein 78
Da Nang 77
London 75
Shanghai 72
Redwood City 70
Stockholm 67
Ottawa 65
Poplar 65
Chennai 64
Nuremberg 63
Rome 62
Amsterdam 59
Haiphong 57
Washington 56
Manchester 55
Boston 53
Boydton 52
North Easton 52
Turku 50
San Francisco 47
Norwalk 46
Belo Horizonte 45
Mexico City 45
Queens 44
Honolulu 43
Princeton 43
Brasília 41
Tampa 41
Ankara 37
Assago 36
Campinas 36
Lawrenceville 36
Tashkent 36
Charlotte 35
Tianjin 35
Curitiba 34
Augusta 33
Dhaka 33
Querétaro 33
Salvador 33
Mountain View 32
San José 32
Fremont 31
Hanover 31
Columbus 29
Falls Church 29
Totale 30.428
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 370
Formal reliability analysis of redundant architectures 356
Formal Verification of Diagnosability via Symbolic Model Checking 333
NuRV: a nuXmv Extension for Runtime Verification 333
HRELTL: A temporal logic for hybrid systems 329
Assumption-based Runtime Verification with Partial Observability and Resets 323
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 318
Contracts-refinement proof system for component-based embedded systems 301
NuSMV 282
COMPASS 3.0 278
A Framework for Planning with Extended Goals under Partial Observability 262
Robustness Envelopes for Temporal Plans 260
A Model Based Decision Procedure for Common Sense Temporal Reasoning 257
Model-based Safety Assessment of a Triple Modular Generator with XSAP 256
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 251
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 248
A Comprehensive Approach to On-Board Autonomy Verification and Validation 248
A Modular Approach to MaxSAT Modulo Theories 246
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 246
A Comprehensive Approach to On-Board Autonomy Verification and Validation 244
ESACS: an integrated methodology for design and safety analysis of complex systems 244
The xSAP Safety Analysis Platform 244
A Lazy Approach to Temporal Epistemic Logic Model Checking 244
NuGAT 242
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 241
Efficient Anytime Techniques for Model-Based Safety Analysis 241
Safety Assessment of AltaRica Models via Symbolic Model Checking 240
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 238
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 238
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 237
A Model Checker for AADL 234
COMPASS Tool 234
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 234
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 233
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 233
A Many Sorted Natural Deduction 232
A Property-Based Proof System for Contract-Based Design 232
Automated Analysis of Reliability Architectures 231
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 230
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 228
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 228
RAT 227
Satisfiability Modulo Transcendental Functions via Incremental Linearization 227
Automated Synthesis of Timed Failure Propagation Graphs 225
Tightening the contract refinements of a system architecture 225
Assumption-Based Runtime Verification of Infinite-State Systems 225
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 224
Conformant Planning via Symbolic Model Checking and Heuristic Search 224
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 224
SMT-based Validation of Timed Failure Propagation Graphs 223
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 222
An Integrated Process for FDIR Design in Aerospace 222
Conformant Planning via Symbolic Model Checking 221
Model-Based Design of an Energy-System Embedded Controller Using Taste 221
RATSY - A new Requirements Analysis Tool with Synthesis 220
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 220
A Context-Based Mechanization of Multi-Agent Reasoning 220
KRATOS 219
An Analytic Evaluation of SystemC Encodings in Promela 219
Model Checking and Safety Assessment of Altarica models 218
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 217
Strong temporal planning with uncontrollable durations 217
Formal Verification of Diagnosability via Symbolic Model Checking 216
OthelloPlay: a plug-in based tool for requirement formalization and validation 216
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 216
Boolean Abstraction for Temporal Logic Satisfiability 215
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 215
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 215
A System for Multi-Level Reasoning 214
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 212
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 211
Comparing Different Functional Allocations in Automated Air Traffic Control Design 210
Supporting Requirements Validation: The EuRailCheck Tool 210
A Formal IDE for Railways: Research Challenges 209
Dynamic controllability via Timed Game Automata 209
A comprehensive framework for the analysis of automotive systems 208
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 208
Formal Specification and Synthesis of FDI through an Example 207
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 207
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 206
Parameter Synthesis with IC3 206
Efficient Analysis of Reliability Architectures via Predicate Abstraction 205
Verilog2SMV: A Tool for Word-level Verification 205
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 204
Quantifier-free encoding of invariants for hybrid systems 204
Efficient Theory Combination via Boolean Search 204
A first-order logic characterization of safety and co-safety languages 202
Formal Design and Validation of an Automatic Train Operation Control System 202
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 202
Applying SMT in Symbolic Execution of Microcode 202
Bounded Verification of Past LTL 202
HYCOMP - an SMT-based model checker for hybrid systems 202
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 202
Bounded Model Checking for Timed Systems 201
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 201
MBP: A Model Based Planner 201
Building Efficient Decision Procedures on top of SAT solvers 200
Infinite-state invariant checking with IC3 and predicate abstraction 200
Symbolic execution with existential second-order constraints 200
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 200
Totale 23.208
Salva come PNG Salva come JPEG
Categoria #
all - tutte 262.055
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 262.055
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.754 0 0 0 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/20276.328 1.140 942 2.107 2.139 0 0 0 0 0 0 0 0
Totale 64.075