IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.111
EU - Europa 6.459
AS - Asia 2.002
Continente sconosciuto - Info sul continente non disponibili 70
SA - Sud America 20
OC - Oceania 11
AF - Africa 1
Totale 19.674
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.010
DE - Germania 1.596
UA - Ucraina 983
SE - Svezia 901
IT - Italia 887
FI - Finlandia 607
HK - Hong Kong 479
CN - Cina 431
IN - India 429
IE - Irlanda 368
GB - Regno Unito 338
VN - Vietnam 303
RU - Federazione Russa 252
FR - Francia 194
BE - Belgio 149
SG - Singapore 146
CA - Canada 89
EU - Europa 70
JP - Giappone 64
IL - Israele 35
HU - Ungheria 31
IR - Iran 29
NL - Olanda 26
KR - Corea 22
LB - Libano 20
SI - Slovenia 20
PK - Pakistan 16
GR - Grecia 15
AT - Austria 13
CZ - Repubblica Ceca 13
DK - Danimarca 13
ES - Italia 13
TR - Turchia 11
AU - Australia 10
PE - Perù 10
RO - Romania 10
BR - Brasile 8
MX - Messico 8
TW - Taiwan 8
PT - Portogallo 7
CH - Svizzera 6
PL - Polonia 6
GE - Georgia 4
GT - Guatemala 4
LU - Lussemburgo 3
AR - Argentina 2
SK - Slovacchia (Repubblica Slovacca) 2
TJ - Tagikistan 2
AL - Albania 1
EE - Estonia 1
EG - Egitto 1
IS - Islanda 1
LK - Sri Lanka 1
MN - Mongolia 1
MY - Malesia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
RS - Serbia 1
SM - San Marino 1
Totale 19.674
Salva come PNG Salva come JPEG
Città #
Chandler 2.442
Jacksonville 1.993
Ashburn 629
Wilmington 587
Boardman 557
Hong Kong 470
Ann Arbor 379
Dublin 359
Helsinki 349
Trento 345
Kronberg 321
Dong Ket 303
Dearborn 270
Los Angeles 248
Woodbridge 216
Beijing 211
New York 185
Brooklyn 175
Brussels 129
Seattle 124
Houston 123
Singapore 96
Milan 91
Pune 91
Phoenix 90
Guangzhou 70
Redwood City 70
Verona 69
Shanghai 49
Ottawa 48
Tokyo 40
Norwalk 39
Nuremberg 38
Mountain View 32
Augusta 29
Munich 29
Falls Church 28
Hanover 28
Fremont 27
Leawood 27
Toronto 27
San Mateo 26
Budapest 21
Inglewood 19
Rome 19
Falkenstein 18
Monmouth Junction 18
Portland 17
Redmond 17
Fairfield 16
Nanjing 16
Stuttgart 16
Council Bluffs 15
Karlsruhe 14
Duncan 12
Kharagpur 12
Ardabil 11
Cheyenne 11
Kagoya 11
Tappahannock 11
Cologne 10
Ljubljana 10
Ponte Sasso 10
Arequipa 9
Cambridge 9
Hefei 9
Saint Petersburg 9
Vienna 9
Ames 8
Auburn Hills 8
Braunschweig 8
Karachi 8
Leuven 8
Olomouc 8
Bolzano 7
Dallas 7
Fargo 7
Florence 7
Genova 7
Laives 7
London 7
Gunzenhausen 6
Laion 6
Tübingen 6
Barcelona 5
Bari 5
Brno 5
Des Moines 5
Kish 5
Kunming 5
Loreggia 5
Mexico City 5
Nanchang 5
Naples 5
Natick 5
Sunnyvale 5
Wangen 5
Alfeld 4
Alpharetta 4
Antwerp 4
Totale 12.000
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 226
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 219
NuRV: a nuXmv Extension for Runtime Verification 203
Robustness Envelopes for Temporal Plans 165
Assumption-based Runtime Verification with Partial Observability and Resets 164
COMPASS 3.0 156
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 153
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 133
NuSMV 116
Strong temporal planning with uncontrollable durations 115
Conformant Planning via Symbolic Model Checking 113
Model-based Safety Assessment of a Triple Modular Generator with XSAP 105
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 104
ESACS: an integrated methodology for design and safety analysis of complex systems 103
Tightening the contract refinements of a system architecture 103
Automated Synthesis of Timed Failure Propagation Graphs 98
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 97
Model-Based Design of an Energy-System Embedded Controller Using Taste 95
Symbolic execution with existential second-order constraints 95
A Comprehensive Approach to On-Board Autonomy Verification and Validation 94
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 94
Supporting Requirements Validation: The EuRailCheck Tool 93
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 92
NuGAT 92
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 91
Efficient Anytime Techniques for Model-Based Safety Analysis 91
COMPASS Tool 90
OthelloPlay: a plug-in based tool for requirement formalization and validation 90
Formal Specification and Verification of Dynamic Parametrized Architectures 89
KRATOS 88
A Many Sorted Natural Deduction 87
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 87
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 87
A Model Checker for AADL 86
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 86
RAT 85
A Lazy Approach to Temporal Epistemic Logic Model Checking 85
A Framework for Planning with Extended Goals under Partial Observability 84
The xSAP Safety Analysis Platform 84
MBP: A Model Based Planner 84
Strong Planning under Partial Observability 83
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 83
Automated Analysis of Reliability Architectures 83
NuSMV: a New Symbolic Model Verifier 82
Formal Methods for Aerospace Systems 82
A Model Based Decision Procedure for Common Sense Temporal Reasoning 81
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 80
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 80
Model checking: teoria ed applicazioni 80
Efficient Analysis of Reliability Architectures via Predicate Abstraction 79
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 79
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 78
Safety Assessment of AltaRica Models via Symbolic Model Checking 78
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 76
MRG: Building planners for real world complex applications 76
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 76
Comparing Different Functional Allocations in Automated Air Traffic Control Design 76
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 76
A System for Multi-Level Reasoning 75
SMT-based Validation of Timed Failure Propagation Graphs 75
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 75
Integrating BDD-based and SAT-based Symbolic Model Checking 74
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 74
Model Checking and Safety Assessment of Altarica models 74
Combining MILS with Contract-Based Design for Safety and Security Requirements 74
Software Model Checking via Large-Block Encoding 73
Interpolant Generation for UTVPI 73
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 73
Kratos - A Software Model Checker for SystemC 73
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 73
RATSY - A new Requirements Analysis Tool with Synthesis 72
Structure-Aware Computation of Predicate Abstraction 72
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 72
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 72
Beyond the single planning paradigm: introspective planning 71
A Property-Based Proof System for Contract-Based Design 71
Formal Specification and Synthesis of FDI through an Example 71
Symbolic Synthesis of Observability Requirements for Diagnosability 71
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 71
The MathSAT Solver - a comparative evaluation 71
Boolean Abstraction for Temporal Logic Satisfiability 70
An Analytic Evaluation of SystemC Encodings in Promela 70
A Modular Approach to MaxSAT Modulo Theories 70
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 70
FAME: A Model-Based Environment for FDIR Design in Aerospace 70
Infinite-state invariant checking with IC3 and predicate abstraction 70
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 70
The Mathsat3 System 69
Safety, Dependability and Performance Analysis of Extended AADL Models 69
Tactics: extending the notion of plan 69
Interleaving Execution and Planning via Symbolic Model Checking 68
Formal Specification and Development of a Safety-Critical Train Management 68
A Comprehensive Approach to On-Board Autonomy Verification and Validation 68
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 68
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 68
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 68
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 67
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 67
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 67
Abstraction in Planning via Model Checking 67
Totale 8.823
Salva come PNG Salva come JPEG
Categoria #
all - tutte 113.104
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 113.104
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.568 318 301 76 72 454 249 420 82 418 541 365 272
2020/20213.317 368 25 379 167 351 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/202536 36 0 0 0 0 0 0 0 0 0 0 0
Totale 20.175