IRIS
Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.882
AS - Asia 4.344
EU - Europa 2.339
SA - Sud America 744
AF - Africa 93
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 16.410
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.738
SG - Singapore 1.910
VN - Vietnam 844
CN - Cina 774
BR - Brasile 613
IT - Italia 402
RU - Federazione Russa 398
DE - Germania 257
FR - Francia 199
GB - Regno Unito 194
KR - Corea 188
FI - Finlandia 183
SE - Svezia 162
LV - Lettonia 148
HK - Hong Kong 121
UA - Ucraina 115
BG - Bulgaria 103
IN - India 99
CA - Canada 74
BD - Bangladesh 56
ID - Indonesia 51
IQ - Iraq 48
NL - Olanda 48
JO - Giordania 47
MX - Messico 44
ZA - Sudafrica 41
JP - Giappone 39
AR - Argentina 38
TR - Turchia 31
ES - Italia 22
VE - Venezuela 22
CL - Cile 21
EC - Ecuador 21
PK - Pakistan 17
UZ - Uzbekistan 16
AT - Austria 13
EG - Egitto 13
PL - Polonia 13
LT - Lituania 12
PH - Filippine 12
IL - Israele 11
IR - Iran 11
KE - Kenya 11
KZ - Kazakistan 11
BE - Belgio 10
CO - Colombia 10
MY - Malesia 10
RO - Romania 10
CZ - Repubblica Ceca 9
CR - Costa Rica 8
IE - Irlanda 8
MA - Marocco 8
PE - Perù 8
PY - Paraguay 8
AL - Albania 7
TN - Tunisia 7
AE - Emirati Arabi Uniti 5
AU - Australia 5
DZ - Algeria 5
HN - Honduras 5
KG - Kirghizistan 5
NP - Nepal 5
TW - Taiwan 5
AZ - Azerbaigian 4
BY - Bielorussia 4
PT - Portogallo 4
SA - Arabia Saudita 4
PA - Panama 3
UY - Uruguay 3
DK - Danimarca 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
EU - Europa 2
GA - Gabon 2
GD - Grenada 2
GE - Georgia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
LB - Libano 2
LK - Sri Lanka 2
MK - Macedonia 2
NI - Nicaragua 2
NO - Norvegia 2
OM - Oman 2
QA - Qatar 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
SY - Repubblica araba siriana 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
BB - Barbados 1
BH - Bahrain 1
CH - Svizzera 1
CI - Costa d'Avorio 1
EE - Estonia 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
JM - Giamaica 1
LU - Lussemburgo 1
Totale 16.403
Salva come PNG Salva come JPEG
Città #
Singapore 1.189
Chandler 895
Ashburn 890
Fairfield 715
San Jose 454
Dallas 386
Santa Clara 352
Houston 332
Woodbridge 329
Seattle 303
Columbus 283
Cambridge 282
Wilmington 277
Princeton 241
Ho Chi Minh City 225
Hanoi 221
Jacksonville 221
Beijing 207
Seoul 183
New York 182
Ann Arbor 179
Moscow 169
Los Angeles 158
Riga 148
San Mateo 145
Lauterbourg 130
Helsinki 126
Sofia 103
Hong Kong 96
Trento 96
Munich 90
Council Bluffs 84
Chicago 78
The Dalles 72
São Paulo 64
London 58
San Diego 56
Da Nang 48
Buffalo 36
Frankfurt am Main 36
Jakarta 36
Orem 35
Haiphong 33
Phoenix 32
Falkenstein 29
Redondo Beach 29
Toronto 29
Boardman 28
Tokyo 28
Hefei 26
Como 25
Chennai 23
Johannesburg 23
Norwalk 23
Washington 23
Elk Grove Village 22
Salt Lake City 22
Lawrence 21
Montreal 21
Atlanta 20
Denver 20
Rome 20
Dong Ket 19
Milan 19
Belo Horizonte 18
Bến Tre 18
Tampa 18
Turku 17
Amsterdam 16
Brooklyn 16
Des Moines 15
Guangzhou 15
Rio de Janeiro 15
Tashkent 15
Thái Bình 15
Dhaka 14
Stockholm 14
Biên Hòa 13
Boston 13
Brasília 13
Falls Church 13
Fremont 12
Manchester 12
San Paolo di Civitate 12
Santiago 12
Shanghai 12
Curitiba 11
Kilburn 11
North Bergen 11
Poplar 11
Andover 10
Hải Dương 10
Mexico City 10
Mumbai 10
Nuremberg 10
Paris 10
Saint Petersburg 10
Thái Nguyên 10
Warsaw 10
Ankara 9
Totale 11.206
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 292
Strong temporal planning with uncontrollable durations 253
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 246
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 240
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 209
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
Assumption-based Runtime Verification with Partial Observability and Resets 202
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 200
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 196
HRELTL: A temporal logic for hybrid systems 193
The nuXmv Symbolic Model Checker 187
Supporting Requirements Validation: The EuRailCheck Tool 183
Object Models with Temporal Constraints 181
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 178
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 175
Dynamic controllability via Timed Game Automata 173
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 169
SMT-based analysis of switching multi-domain linear Kirchhoff networks 169
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 169
Solving strong controllability of temporal problems with uncertainty using SMT 166
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 162
Verilog2SMV: A tool for word-level verification 159
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 156
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 155
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 153
Solving Temporal Problems Using SMT: Strong Controllability 151
Efficient theory combination via Boolean search 151
NuRV: a nuXmv Extension for Runtime Verification 151
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 150
Formal Verification of Infinite-State BIP Models 149
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 148
An Analytic Evaluation of SystemC Encodings in Promela 148
Formalization and validation of a subset of the European Train Control System 148
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 146
Formalization and Validation of Safety-Critical Requirements 145
From Informal Requirements to Property-Driven Formal Validation 143
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 140
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 134
A Comprehensive Approach to On-Board Autonomy Verification and Validation 134
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 134
NuSMV 2: An opensource tool for symbolic model checking 132
Formal analysis of hardware requirements 131
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 129
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 127
Timelines with Temporal Uncertainty 127
Building Efficient Decision Procedures on top of SAT solvers 127
Formal specification of beliefs in multi-agent systems 126
Lemmas for satisfiability modulo transcendental functions via incremental linearization 124
OthelloPlay: a plug-in based tool for requirement formalization and validation 124
Assumption-Based Runtime Verification of Infinite-State Systems 122
The xSAP Safety Analysis Platform 120
Requirements Validation for Hybrid Systems 119
From PSL to NBA: a Modular Symbolic Encoding 116
Software model checking via large-block encoding 115
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 115
A Model Checker for AADL 115
Applying SMT in Symbolic Execution of Microcode 114
Safety Assessment of AltaRica Models via Symbolic Model Checking 114
HYCOMP - an SMT-based model checker for hybrid systems 113
Efficient Interpolant Generation in Satisfiability Modulo Theories 112
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 112
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 111
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 111
Formal Specification and Synthesis of FDI through an Example 110
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 110
Kratos - A Software Model Checker for SystemC 109
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 107
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 107
A Modular Approach to MaxSAT Modulo Theories 106
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 105
Verifying Industrial Hybrid Systems with MathSAT 104
Satisfiability Modulo the Theory of Costs: Foundations and Applications 103
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 100
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 100
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 99
Conformant Planning via Symbolic Model Checking 98
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 97
Solving Temporal Problems Using SMT: Weak Controllability 96
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 96
Proving the Existence of Fair Paths in Infinite-State Systems 96
IC3 Modulo Theories via Implicit Predicate Abstraction 96
Software Model Checking SystemC 95
Abstraction Modulo Stability for Reverse Engineering 93
Model Checking and Safety Assessment of Altarica models 93
Verification and performance evaluation of AADL models 88
Conformant Planning via Model Checking 86
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 86
Structure-Aware Computation of Predicate Abstraction 86
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 86
Codesign of Dependable Systems: A Component-Based Modeling Language 85
A Comprehensive Approach to On-Board Autonomy Verification and Validation 85
null 84
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 84
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 83
NuSMV2: an Open Source Tool for Symbolic Model Checking 82
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead 82
Software Model Checking with Explicit Scheduler and Symbolic Threads 81
Verifying SystemC: a Software Model Checking Approach 81
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 81
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 80
Totale 13.163
Salva come PNG Salva come JPEG
Categoria #
all - tutte 78.892
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 730
Totale 79.622
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021380 0 0 0 0 0 0 0 0 0 134 89 157
2021/20221.138 29 126 11 54 64 60 41 287 62 49 99 256
2022/20231.753 198 202 33 246 140 269 10 155 289 30 122 59
2023/2024860 42 80 74 36 58 210 60 56 14 71 23 136
2024/20253.129 32 37 187 602 239 422 103 192 288 452 300 275
2025/20266.495 433 191 882 1.079 829 444 1.414 170 543 510 0 0
Totale 16.698