IRIS Institutional Research Information System

Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.622
EU - Europa 10.759
AS - Asia 4.320
SA - Sud America 923
Continente sconosciuto - Info sul continente non disponibili 70
AF - Africa 40
OC - Oceania 19
Totale 28.753
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.420
RU - Federazione Russa 3.424
DE - Germania 1.819
SG - Singapore 1.459
HK - Hong Kong 1.165
IT - Italia 1.120
UA - Ucraina 990
SE - Svezia 906
BR - Brasile 860
FI - Finlandia 719
CN - Cina 592
IN - India 444
GB - Regno Unito 390
IE - Irlanda 374
NL - Olanda 368
VN - Vietnam 307
FR - Francia 198
BE - Belgio 169
CA - Canada 156
EU - Europa 70
JP - Giappone 69
IL - Israele 39
HU - Ungheria 33
IR - Iran 31
MX - Messico 31
TR - Turchia 28
LT - Lituania 27
AR - Argentina 26
AT - Austria 25
EE - Estonia 24
PK - Pakistan 24
KR - Corea 23
BD - Bangladesh 22
ES - Italia 21
LB - Libano 21
SI - Slovenia 20
CZ - Repubblica Ceca 19
DK - Danimarca 17
AU - Australia 16
GR - Grecia 16
PL - Polonia 16
CH - Svizzera 12
PE - Perù 12
ZA - Sudafrica 12
IQ - Iraq 11
RO - Romania 11
AZ - Azerbaigian 10
MA - Marocco 9
JO - Giordania 8
PT - Portogallo 8
TW - Taiwan 8
GE - Georgia 6
ID - Indonesia 6
PY - Paraguay 6
TN - Tunisia 6
EC - Ecuador 5
EG - Egitto 5
LK - Sri Lanka 5
LU - Lussemburgo 5
MY - Malesia 5
AE - Emirati Arabi Uniti 4
BO - Bolivia 4
GT - Guatemala 4
KZ - Kazakistan 4
LV - Lettonia 4
SK - Slovacchia (Repubblica Slovacca) 4
UZ - Uzbekistan 4
VE - Venezuela 4
BY - Bielorussia 3
CR - Costa Rica 3
DZ - Algeria 3
KE - Kenya 3
KH - Cambogia 3
NO - Norvegia 3
NP - Nepal 3
NZ - Nuova Zelanda 3
OM - Oman 3
PS - Palestinian Territory 3
AL - Albania 2
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
CL - Cile 2
CO - Colombia 2
DO - Repubblica Dominicana 2
IS - Islanda 2
KG - Kirghizistan 2
MN - Mongolia 2
PA - Panama 2
RS - Serbia 2
TJ - Tagikistan 2
UY - Uruguay 2
CI - Costa d'Avorio 1
CY - Cipro 1
GA - Gabon 1
HN - Honduras 1
IM - Isola di Man 1
JM - Giamaica 1
MD - Moldavia 1
MK - Macedonia 1
Totale 28.746
Salva come PNG Salva come JPEG
Città #
Chandler 2.442
Jacksonville 1.993
Hong Kong 1.150
Moscow 846
Singapore 782
Ashburn 656
Boardman 624
Wilmington 587
The Dalles 516
Helsinki 434
Trento 393
Ann Arbor 379
Dublin 365
Kronberg 321
Dong Ket 303
Los Angeles 297
Dearborn 270
Beijing 220
Woodbridge 216
New York 203
Brooklyn 183
Brussels 148
Seattle 129
Houston 123
Milan 118
Munich 104
Phoenix 94
Pune 91
Guangzhou 81
Falkenstein 78
Verona 75
Redwood City 70
São Paulo 67
Ottawa 65
Shanghai 64
Toronto 61
Miami 48
Nuremberg 46
Tokyo 43
Santa Clara 40
Norwalk 39
Council Bluffs 34
London 32
Mountain View 32
Augusta 29
Falls Church 28
Frankfurt am Main 28
Hanover 28
Fremont 27
Leawood 27
Rome 27
San Mateo 26
Rio de Janeiro 24
Budapest 23
Turku 21
Amsterdam 20
Assago 20
Belo Horizonte 19
Inglewood 19
Monmouth Junction 18
Nanjing 18
Stuttgart 18
Portland 17
Redmond 17
San Francisco 17
Fairfield 16
Campinas 15
Karlsruhe 14
Brasília 13
Curitiba 13
Salvador 13
Vienna 13
Dallas 12
Duncan 12
Kharagpur 12
Ardabil 11
Atlanta 11
Cheyenne 11
Kagoya 11
Mexico City 11
Tappahannock 11
Baku 10
Bolzano 10
Charlotte 10
Chicago 10
Cologne 10
Florence 10
Hefei 10
Ljubljana 10
Ponte Sasso 10
Warsaw 10
Arequipa 9
Buenos Aires 9
Cambridge 9
Contagem 9
Karachi 9
Laives 9
Olomouc 9
Saint Petersburg 9
Ames 8
Totale 15.712
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 254
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 247
NuRV: a nuXmv Extension for Runtime Verification 235
Formal Verification of Diagnosability via Symbolic Model Checking 233
Contracts-refinement proof system for component-based embedded systems 215
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 204
Assumption-based Runtime Verification with Partial Observability and Resets 194
COMPASS 3.0 183
Robustness Envelopes for Temporal Plans 183
HRELTL: A temporal logic for hybrid systems 167
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 154
NuSMV 151
Strong temporal planning with uncontrollable durations 138
Model-based Safety Assessment of a Triple Modular Generator with XSAP 138
Conformant Planning via Symbolic Model Checking 132
Tightening the contract refinements of a system architecture 131
A Lazy Approach to Temporal Epistemic Logic Model Checking 130
A Comprehensive Approach to On-Board Autonomy Verification and Validation 126
ESACS: an integrated methodology for design and safety analysis of complex systems 125
Automated Synthesis of Timed Failure Propagation Graphs 125
COMPASS Tool 124
The xSAP Safety Analysis Platform 124
Efficient Anytime Techniques for Model-Based Safety Analysis 124
Model-Based Design of an Energy-System Embedded Controller Using Taste 124
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 122
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 122
A Model Checker for AADL 121
NuGAT 121
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 120
KRATOS 120
OthelloPlay: a plug-in based tool for requirement formalization and validation 120
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 120
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 118
A Many Sorted Natural Deduction 117
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 116
Symbolic execution with existential second-order constraints 116
A Framework for Planning with Extended Goals under Partial Observability 115
Automated Analysis of Reliability Architectures 115
RAT 114
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 113
Supporting Requirements Validation: The EuRailCheck Tool 113
A Modular Approach to MaxSAT Modulo Theories 112
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 111
MBP: A Model Based Planner 111
A Model Based Decision Procedure for Common Sense Temporal Reasoning 110
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 110
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 110
Safety Assessment of AltaRica Models via Symbolic Model Checking 110
Formal Methods for Aerospace Systems 109
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 109
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 109
Strong Planning under Partial Observability 108
A Comprehensive Approach to On-Board Autonomy Verification and Validation 108
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 107
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 107
NuSMV: a New Symbolic Model Verifier 106
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 105
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 105
Formal Specification and Verification of Dynamic Parametrized Architectures 104
RATSY - A new Requirements Analysis Tool with Synthesis 103
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 103
An Analytic Evaluation of SystemC Encodings in Promela 103
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 103
Comparing Different Functional Allocations in Automated Air Traffic Control Design 103
The MathSAT Solver - a comparative evaluation 103
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 102
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 102
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 101
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 101
Kratos - A Software Model Checker for SystemC 100
Time-aware Relational Abstractions for Hybrid Systems 100
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 100
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 99
MRG: Building planners for real world complex applications 99
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 99
Model Checking and Safety Assessment of Altarica models 99
A Property-Based Proof System for Contract-Based Design 99
Automated Verification and Tightening of Failure Propagation Models 99
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 99
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 98
Model Checking of Hybrid Systems using Shallow Synchronization 98
Efficient Analysis of Reliability Architectures via Predicate Abstraction 98
Dynamic controllability via Timed Game Automata 98
A System for Multi-Level Reasoning 97
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 97
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 97
Model checking: teoria ed applicazioni 97
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 97
Formal Verification of Diagnosability via Symbolic Model Checking 96
SMT-based Validation of Timed Failure Propagation Graphs 96
Formal Verification of Infinite-State BIP Models 96
Software Model Checking via Large-Block Encoding 95
Experiencing Real-Life Interactions with the Mobile Platform of MAIA 95
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 95
MathSAT 95
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 95
An Integrated Process for FDIR Design in Aerospace 95
Infinite-state invariant checking with IC3 and predicate abstraction 95
Assumption-Based Runtime Verification of Infinite-State Systems 95
Abstraction in Planning via Model Checking 94
Totale 11.951
Salva come PNG Salva come JPEG
Categoria #
all - tutte 164.419
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 164.419
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020637 0 0 0 0 0 0 0 0 0 0 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/20259.169 94 132 674 369 446 253 503 709 3.718 1.193 1.078 0
Totale 29.308