IRIS Institutional Research Information System

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