IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.553
EU - Europa 6.750
AS - Asia 3.129
Continente sconosciuto - Info sul continente non disponibili 70
SA - Sud America 38
OC - Oceania 18
AF - Africa 5
Totale 21.563
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.413
DE - Germania 1.672
HK - Hong Kong 999
UA - Ucraina 983
IT - Italia 958
SE - Svezia 903
FI - Finlandia 649
SG - Singapore 577
CN - Cina 564
IN - India 430
IE - Irlanda 371
GB - Regno Unito 366
VN - Vietnam 307
RU - Federazione Russa 253
FR - Francia 194
BE - Belgio 160
CA - Canada 124
EU - Europa 70
JP - Giappone 65
IL - Israele 35
NL - Olanda 34
HU - Ungheria 31
IR - Iran 29
KR - Corea 23
BR - Brasile 20
LB - Libano 20
SI - Slovenia 20
CZ - Repubblica Ceca 17
LT - Lituania 17
PK - Pakistan 17
GR - Grecia 16
AU - Australia 15
DK - Danimarca 15
AT - Austria 13
ES - Italia 13
PE - Perù 11
TR - Turchia 11
CH - Svizzera 10
MX - Messico 10
PL - Polonia 10
RO - Romania 10
AZ - Azerbaigian 8
PT - Portogallo 8
TW - Taiwan 8
BD - Bangladesh 7
AR - Argentina 6
LK - Sri Lanka 5
LU - Lussemburgo 5
GE - Georgia 4
GT - Guatemala 4
LV - Lettonia 4
MY - Malesia 4
SK - Slovacchia (Repubblica Slovacca) 4
EE - Estonia 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
AM - Armenia 2
BY - Bielorussia 2
ID - Indonesia 2
TJ - Tagikistan 2
AL - Albania 1
BG - Bulgaria 1
BO - Bolivia 1
CR - Costa Rica 1
CY - Cipro 1
DZ - Algeria 1
EG - Egitto 1
IM - Isola di Man 1
IQ - Iraq 1
IS - Islanda 1
JO - Giordania 1
KZ - Kazakistan 1
MA - Marocco 1
MN - Mongolia 1
NP - Nepal 1
PA - Panama 1
PH - Filippine 1
RS - Serbia 1
SA - Arabia Saudita 1
SM - San Marino 1
TH - Thailandia 1
TM - Turkmenistan 1
TN - Tunisia 1
ZA - Sudafrica 1
Totale 21.563
Salva come PNG Salva come JPEG
Città #
Chandler 2.442
Jacksonville 1.993
Hong Kong 988
Ashburn 640
Boardman 624
Wilmington 587
Singapore 440
Helsinki 385
Ann Arbor 379
Trento 365
Dublin 362
Kronberg 321
Dong Ket 303
Los Angeles 277
Dearborn 270
Beijing 217
Woodbridge 216
New York 191
Brooklyn 175
Brussels 139
Seattle 124
Houston 123
Milan 98
Pune 91
Phoenix 90
Munich 80
Guangzhou 79
Verona 72
Redwood City 70
Ottawa 60
Shanghai 59
Toronto 48
Miami 46
Tokyo 40
Norwalk 39
Nuremberg 38
Mountain View 32
Augusta 29
Falls Church 28
Hanover 28
Fremont 27
Leawood 27
San Mateo 26
Budapest 21
Rome 21
Inglewood 19
Falkenstein 18
Monmouth Junction 18
Nanjing 18
Frankfurt am Main 17
London 17
Portland 17
Redmond 17
Council Bluffs 16
Fairfield 16
Stuttgart 16
Santa Clara 15
Karlsruhe 14
Duncan 12
Kharagpur 12
Ardabil 11
Cheyenne 11
Kagoya 11
Tappahannock 11
Cologne 10
Florence 10
Hefei 10
Ljubljana 10
Ponte Sasso 10
Arequipa 9
Cambridge 9
Saint Petersburg 9
Vienna 9
Ames 8
Auburn Hills 8
Baku 8
Braunschweig 8
Dallas 8
Karachi 8
Leuven 8
Olomouc 8
Bolzano 7
Changsha 7
Fargo 7
Genova 7
Laives 7
Buenos Aires 6
Espoo 6
Gunzenhausen 6
Laion 6
North Bergen 6
Tübingen 6
Zhengzhou 6
Antwerp 5
Barcelona 5
Bari 5
Brno 5
Charlotte 5
Des Moines 5
Kish 5
Totale 13.258
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 230
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 227
Formal Verification of Diagnosability via Symbolic Model Checking 213
NuRV: a nuXmv Extension for Runtime Verification 208
Contracts-refinement proof system for component-based embedded systems 193
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 184
Assumption-based Runtime Verification with Partial Observability and Resets 175
Robustness Envelopes for Temporal Plans 170
COMPASS 3.0 159
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 140
NuSMV 125
Strong temporal planning with uncontrollable durations 119
Conformant Planning via Symbolic Model Checking 116
Model-based Safety Assessment of a Triple Modular Generator with XSAP 111
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 107
ESACS: an integrated methodology for design and safety analysis of complex systems 106
Tightening the contract refinements of a system architecture 105
NuGAT 102
OthelloPlay: a plug-in based tool for requirement formalization and validation 102
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 102
Automated Synthesis of Timed Failure Propagation Graphs 102
A Comprehensive Approach to On-Board Autonomy Verification and Validation 100
Model-Based Design of an Energy-System Embedded Controller Using Taste 100
COMPASS Tool 99
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 99
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 97
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 97
KRATOS 97
A Lazy Approach to Temporal Epistemic Logic Model Checking 97
Symbolic execution with existential second-order constraints 97
A Model Checker for AADL 96
Supporting Requirements Validation: The EuRailCheck Tool 96
Efficient Anytime Techniques for Model-Based Safety Analysis 95
A Many Sorted Natural Deduction 94
RAT 92
Automated Analysis of Reliability Architectures 92
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 92
Formal Specification and Verification of Dynamic Parametrized Architectures 92
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 91
The xSAP Safety Analysis Platform 91
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 90
Formal Methods for Aerospace Systems 90
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 90
A Framework for Planning with Extended Goals under Partial Observability 89
Strong Planning under Partial Observability 89
A Modular Approach to MaxSAT Modulo Theories 89
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 88
MBP: A Model Based Planner 88
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 87
NuSMV: a New Symbolic Model Verifier 86
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 85
A Model Based Decision Procedure for Common Sense Temporal Reasoning 85
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 84
Safety Assessment of AltaRica Models via Symbolic Model Checking 84
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 84
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 83
Comparing Different Functional Allocations in Automated Air Traffic Control Design 83
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 83
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 83
Efficient Analysis of Reliability Architectures via Predicate Abstraction 82
Model checking: teoria ed applicazioni 82
RATSY - A new Requirements Analysis Tool with Synthesis 81
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 81
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 81
A Property-Based Proof System for Contract-Based Design 81
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 81
Interpolant Generation for UTVPI 80
MRG: Building planners for real world complex applications 79
A Comprehensive Approach to On-Board Autonomy Verification and Validation 79
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 79
Model Checking and Safety Assessment of Altarica models 79
Structure-Aware Computation of Predicate Abstraction 78
Kratos - A Software Model Checker for SystemC 78
SMT-based Validation of Timed Failure Propagation Graphs 78
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 77
A System for Multi-Level Reasoning 77
Boolean Abstraction for Temporal Logic Satisfiability 77
The MathSAT Solver - a comparative evaluation 77
Integrating BDD-based and SAT-based Symbolic Model Checking 76
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 76
MathSAT 76
An Analytic Evaluation of SystemC Encodings in Promela 76
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 76
Combining MILS with Contract-Based Design for Safety and Security Requirements 75
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 75
The Mathsat3 System 74
Software Model Checking via Large-Block Encoding 74
Model Checking of Hybrid Systems using Shallow Synchronization 74
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 74
Formal Specification and Synthesis of FDI through an Example 74
Tactics: extending the notion of plan 74
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 74
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 73
Certification of Translators via Off-line and On-line Proof Logging and Checking 73
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 73
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 73
Infinite-state invariant checking with IC3 and predicate abstraction 73
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 73
Beyond the single planning paradigm: introspective planning 72
Symbolic Synthesis of Observability Requirements for Diagnosability 72
Totale 9.687
Salva come PNG Salva come JPEG
Categoria #
all - tutte 132.882
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 132.882
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.347 0 0 0 0 0 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/20251.934 94 132 674 369 446 219 0 0 0 0 0 0
Totale 22.073