IRIS
Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.989
AS - Asia 4.427
EU - Europa 2.486
SA - Sud America 765
Continente sconosciuto - Info sul continente non disponibili 291
AF - Africa 94
OC - Oceania 5
Totale 18.057
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.801
SG - Singapore 1.933
VN - Vietnam 845
CN - Cina 796
BR - Brasile 623
IT - Italia 524
RU - Federazione Russa 398
DE - Germania 263
GB - Regno Unito 202
FR - Francia 201
KR - Corea 189
FI - Finlandia 183
SE - Svezia 163
LV - Lettonia 148
HK - Hong Kong 130
UA - Ucraina 115
BG - Bulgaria 104
IN - India 104
CA - Canada 86
BD - Bangladesh 70
ID - Indonesia 56
MX - Messico 52
NL - Olanda 49
IQ - Iraq 48
JO - Giordania 47
AR - Argentina 43
ZA - Sudafrica 41
JP - Giappone 40
TR - Turchia 31
ES - Italia 25
EC - Ecuador 24
VE - Venezuela 23
CL - Cile 22
PK - Pakistan 17
UZ - Uzbekistan 16
CR - Costa Rica 14
AT - Austria 13
EG - Egitto 13
PL - Polonia 13
LT - Lituania 12
PH - Filippine 12
CO - Colombia 11
IL - Israele 11
IR - Iran 11
KE - Kenya 11
KZ - Kazakistan 11
BE - Belgio 10
MY - Malesia 10
RO - Romania 10
CZ - Repubblica Ceca 9
IE - Irlanda 8
MA - Marocco 8
PE - Perù 8
PY - Paraguay 8
AE - Emirati Arabi Uniti 7
AL - Albania 7
TN - Tunisia 7
HN - Honduras 6
JM - Giamaica 6
AU - Australia 5
DZ - Algeria 5
KG - Kirghizistan 5
NP - Nepal 5
TW - Taiwan 5
AZ - Azerbaigian 4
BY - Bielorussia 4
PT - Portogallo 4
SA - Arabia Saudita 4
TT - Trinidad e Tobago 4
DK - Danimarca 3
NI - Nicaragua 3
PA - Panama 3
UY - Uruguay 3
AG - Antigua e Barbuda 2
BB - Barbados 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
EU - Europa 2
GA - Gabon 2
GD - Grenada 2
GE - Georgia 2
HR - Croazia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
LB - Libano 2
LK - Sri Lanka 2
MK - Macedonia 2
MQ - Martinica 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
BH - Bahrain 1
BS - Bahamas 1
CH - Svizzera 1
CI - Costa d'Avorio 1
EE - Estonia 1
Totale 17.754
Salva come PNG Salva come JPEG
Città #
Singapore 1.205
Ashburn 1.000
Chandler 895
Fairfield 715
San Jose 634
Dallas 400
Santa Clara 390
Houston 344
Woodbridge 330
Columbus 326
Seattle 303
Cambridge 282
Wilmington 278
Princeton 241
Council Bluffs 237
Ho Chi Minh City 225
Jacksonville 223
Hanoi 222
Beijing 213
New York 207
Seoul 183
Ann Arbor 179
Los Angeles 171
Moscow 169
Riga 148
San Mateo 145
Lauterbourg 130
Helsinki 126
Hong Kong 105
Sofia 103
Trento 99
Munich 90
Chicago 82
The Dalles 72
São Paulo 67
London 61
San Diego 57
Milan 56
Da Nang 48
Buffalo 39
Orem 38
Phoenix 38
Frankfurt am Main 37
Jakarta 36
Boardman 34
Haiphong 33
Toronto 30
Falkenstein 29
Redondo Beach 29
Tokyo 28
Atlanta 27
Rome 27
Hefei 26
Brooklyn 25
Como 25
Washington 25
Chennai 24
Denver 23
Johannesburg 23
Montreal 23
Norwalk 23
Elk Grove Village 22
Salt Lake City 22
Lawrence 21
Tampa 20
Dong Ket 19
Belo Horizonte 18
Bến Tre 18
Mexico City 17
Turku 17
Amsterdam 16
Boston 15
Des Moines 15
Guangzhou 15
Rio de Janeiro 15
Tashkent 15
Thái Bình 15
Dhaka 14
Mumbai 14
Shanghai 14
Stockholm 14
Biên Hòa 13
Brasília 13
Falls Church 13
Las Vegas 13
San José 13
Fremont 12
Manchester 12
San Paolo di Civitate 12
Santiago 12
Curitiba 11
Karlsruhe 11
Kilburn 11
North Bergen 11
Poplar 11
Andover 10
Hải Dương 10
Miano 10
Nuremberg 10
Paris 10
Totale 11.957
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 301
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 281
Strong temporal planning with uncontrollable durations 268
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 254
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 247
Satisfiability Modulo Transcendental Functions via Incremental Linearization 218
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 216
Assumption-based Runtime Verification with Partial Observability and Resets 213
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 212
HRELTL: A temporal logic for hybrid systems 208
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 206
The nuXmv Symbolic Model Checker 193
Supporting Requirements Validation: The EuRailCheck Tool 191
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 189
Object Models with Temporal Constraints 188
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 187
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 184
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 176
Dynamic controllability via Timed Game Automata 176
SMT-based analysis of switching multi-domain linear Kirchhoff networks 175
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 174
Solving strong controllability of temporal problems with uncertainty using SMT 171
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 164
Verilog2SMV: A tool for word-level verification 163
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 163
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 159
Efficient theory combination via Boolean search 159
Formal Verification of Infinite-State BIP Models 159
NuSMV 2: An opensource tool for symbolic model checking 158
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 158
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 157
Solving Temporal Problems Using SMT: Strong Controllability 156
NuRV: a nuXmv Extension for Runtime Verification 156
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 154
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 154
An Analytic Evaluation of SystemC Encodings in Promela 152
Formalization and validation of a subset of the European Train Control System 152
Formalization and Validation of Safety-Critical Requirements 151
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 149
From Informal Requirements to Property-Driven Formal Validation 148
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 143
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 142
Lemmas for satisfiability modulo transcendental functions via incremental linearization 141
A Comprehensive Approach to On-Board Autonomy Verification and Validation 139
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 138
Formal analysis of hardware requirements 138
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 134
Timelines with Temporal Uncertainty 133
Building Efficient Decision Procedures on top of SAT solvers 131
Formal specification of beliefs in multi-agent systems 131
OthelloPlay: a plug-in based tool for requirement formalization and validation 131
The xSAP Safety Analysis Platform 130
Requirements Validation for Hybrid Systems 126
Assumption-Based Runtime Verification of Infinite-State Systems 126
A Model Checker for AADL 124
From PSL to NBA: a Modular Symbolic Encoding 123
Software model checking via large-block encoding 120
Safety Assessment of AltaRica Models via Symbolic Model Checking 120
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 120
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 120
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 118
HYCOMP - an SMT-based model checker for hybrid systems 118
Applying SMT in Symbolic Execution of Microcode 117
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 116
Efficient Interpolant Generation in Satisfiability Modulo Theories 116
Kratos - A Software Model Checker for SystemC 116
Formal Specification and Synthesis of FDI through an Example 115
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 112
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 111
A Modular Approach to MaxSAT Modulo Theories 109
Verifying Industrial Hybrid Systems with MathSAT 108
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 107
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 107
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 106
Satisfiability Modulo the Theory of Costs: Foundations and Applications 105
Conformant Planning via Symbolic Model Checking 105
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 105
Abstraction Modulo Stability for Reverse Engineering 104
IC3 Modulo Theories via Implicit Predicate Abstraction 102
Proving the Existence of Fair Paths in Infinite-State Systems 101
Solving Temporal Problems Using SMT: Weak Controllability 100
Software Model Checking SystemC 100
Conformant Planning via Model Checking 100
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 99
Verification and performance evaluation of AADL models 99
Model Checking and Safety Assessment of Altarica models 98
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 95
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 94
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 94
Codesign of Dependable Systems: A Component-Based Modeling Language 93
Verification of SMT Systems with Quantifiers 92
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 91
Spacecraft Early Design Validation using Formal Methods 91
Structure-Aware Computation of Predicate Abstraction 91
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 90
A Comprehensive Approach to On-Board Autonomy Verification and Validation 90
NuSMV2: an Open Source Tool for Symbolic Model Checking 89
Bounded Verification of Past LTL 89
Software Model Checking with Explicit Scheduler and Symbolic Threads 88
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 88
Totale 14.119
Salva come PNG Salva come JPEG
Categoria #
all - tutte 88.313
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 809
Totale 89.122
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.109 0 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/20267.086 433 191 882 1.079 829 444 1.414 170 543 613 218 270
2026/2027768 249 519 0 0 0 0 0 0 0 0 0 0
Totale 18.057