IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.813
EU - Europa 6.417
AS - Asia 1.835
Continente sconosciuto - Info sul continente non disponibili 70
SA - Sud America 10
OC - Oceania 9
AF - Africa 1
Totale 19.155
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.713
DE - Germania 1.586
UA - Ucraina 983
SE - Svezia 900
IT - Italia 884
FI - Finlandia 600
HK - Hong Kong 477
IN - India 427
CN - Cina 418
IE - Irlanda 367
GB - Regno Unito 336
VN - Vietnam 303
RU - Federazione Russa 252
FR - Francia 188
BE - Belgio 149
CA - Canada 88
EU - Europa 70
JP - Giappone 39
IL - Israele 35
HU - Ungheria 31
IR - Iran 29
NL - Olanda 26
KR - Corea 22
SG - Singapore 21
LB - Libano 20
SI - Slovenia 20
PK - Pakistan 16
GR - Grecia 15
AT - Austria 13
DK - Danimarca 13
ES - Italia 13
TR - Turchia 11
RO - Romania 10
AU - Australia 8
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
CZ - Repubblica Ceca 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.155
Salva come PNG Salva come JPEG
Città #
Chandler 2.442
Jacksonville 1.993
Ashburn 629
Wilmington 587
Hong Kong 470
Ann Arbor 379
Dublin 358
Trento 343
Helsinki 342
Kronberg 321
Dong Ket 303
Boardman 287
Dearborn 270
Los Angeles 248
Woodbridge 216
Beijing 210
New York 185
Brooklyn 175
Brussels 129
Seattle 124
Houston 123
Milan 91
Pune 91
Phoenix 88
Redwood City 70
Verona 69
Guangzhou 68
Ottawa 48
Shanghai 48
Norwalk 39
Nuremberg 36
Mountain View 32
Augusta 29
Falls Church 28
Hanover 28
Leawood 27
Toronto 27
Munich 26
San Mateo 26
Fremont 25
Budapest 21
Singapore 20
Inglewood 19
Rome 19
Falkenstein 18
Monmouth Junction 18
Portland 17
Redmond 17
Fairfield 16
Nanjing 16
Council Bluffs 15
Tokyo 15
Karlsruhe 14
Stuttgart 13
Duncan 12
Kharagpur 12
Ardabil 11
Cheyenne 11
Kagoya 11
Tappahannock 11
Cologne 10
Ljubljana 10
Ponte Sasso 10
Cambridge 9
Hefei 9
Saint Petersburg 9
Vienna 9
Ames 8
Auburn Hills 8
Braunschweig 8
Karachi 8
Leuven 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
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
Batumi 4
Costa Mesa 4
El Salvador 4
Totale 11.593
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 225
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 216
NuRV: a nuXmv Extension for Runtime Verification 200
Robustness Envelopes for Temporal Plans 164
Assumption-based Runtime Verification with Partial Observability and Resets 161
COMPASS 3.0 155
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 152
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 132
Strong temporal planning with uncontrollable durations 114
Conformant Planning via Symbolic Model Checking 112
NuSMV 110
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 103
ESACS: an integrated methodology for design and safety analysis of complex systems 102
Tightening the contract refinements of a system architecture 102
Model-based Safety Assessment of a Triple Modular Generator with XSAP 101
Automated Synthesis of Timed Failure Propagation Graphs 95
Symbolic execution with existential second-order constraints 95
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 94
Model-Based Design of an Energy-System Embedded Controller Using Taste 93
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 93
Efficient Anytime Techniques for Model-Based Safety Analysis 90
Supporting Requirements Validation: The EuRailCheck Tool 90
A Comprehensive Approach to On-Board Autonomy Verification and Validation 89
NuGAT 89
COMPASS Tool 89
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 88
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 88
OthelloPlay: a plug-in based tool for requirement formalization and validation 88
Formal Specification and Verification of Dynamic Parametrized Architectures 88
KRATOS 87
A Many Sorted Natural Deduction 85
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 85
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 85
A Model Checker for AADL 84
Strong Planning under Partial Observability 83
MBP: A Model Based Planner 83
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 83
The xSAP Safety Analysis Platform 82
A Lazy Approach to Temporal Epistemic Logic Model Checking 82
RAT 81
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 81
NuSMV: a New Symbolic Model Verifier 81
A Framework for Planning with Extended Goals under Partial Observability 80
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 80
A Model Based Decision Procedure for Common Sense Temporal Reasoning 79
Automated Analysis of Reliability Architectures 79
Model checking: teoria ed applicazioni 79
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 78
Efficient Analysis of Reliability Architectures via Predicate Abstraction 78
Safety Assessment of AltaRica Models via Symbolic Model Checking 77
Formal Methods for Aerospace Systems 77
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 76
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 76
MRG: Building planners for real world complex applications 75
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 74
Integrating BDD-based and SAT-based Symbolic Model Checking 74
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 74
Comparing Different Functional Allocations in Automated Air Traffic Control Design 74
Interpolant Generation for UTVPI 73
A System for Multi-Level Reasoning 73
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 73
Software Model Checking via Large-Block Encoding 72
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 72
Structure-Aware Computation of Predicate Abstraction 72
Model Checking and Safety Assessment of Altarica models 72
SMT-based Validation of Timed Failure Propagation Graphs 72
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 72
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 72
RATSY - A new Requirements Analysis Tool with Synthesis 71
Beyond the single planning paradigm: introspective planning 71
Kratos - A Software Model Checker for SystemC 71
Symbolic Synthesis of Observability Requirements for Diagnosability 71
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 70
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 70
Combining MILS with Contract-Based Design for Safety and Security Requirements 70
A Property-Based Proof System for Contract-Based Design 69
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 69
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 69
The MathSAT Solver - a comparative evaluation 69
The Mathsat3 System 68
Interleaving Execution and Planning via Symbolic Model Checking 68
Formal Specification and Development of a Safety-Critical Train Management 68
Safety, Dependability and Performance Analysis of Extended AADL Models 68
An Analytic Evaluation of SystemC Encodings in Promela 68
A Modular Approach to MaxSAT Modulo Theories 68
Formal Specification and Synthesis of FDI through an Example 68
Tactics: extending the notion of plan 68
FAME: A Model-Based Environment for FDIR Design in Aerospace 68
Infinite-state invariant checking with IC3 and predicate abstraction 68
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 67
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 67
Solving Temporal Problems using SMT: Weak Controllability 67
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 67
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 67
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 66
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 66
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 66
Abstraction in Planning via Model Checking 66
Boolean Abstraction for Temporal Logic Satisfiability 66
A Comprehensive Approach to On-Board Autonomy Verification and Validation 66
Totale 8.634
Salva come PNG Salva come JPEG
Categoria #
all - tutte 102.424
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 102.424
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019132 0 0 0 0 0 0 0 0 0 0 88 44
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.091 289 152 341 262 226 547 177 405 169 519 4 0
Totale 19.654