IRIS
Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.286
AS - Asia 4.393
EU - Europa 2.447
SA - Sud America 746
AF - Africa 94
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 16.974
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.125
SG - Singapore 1.920
VN - Vietnam 845
CN - Cina 788
BR - Brasile 614
IT - Italia 500
RU - Federazione Russa 398
DE - Germania 259
FR - Francia 200
GB - Regno Unito 196
KR - Corea 189
FI - Finlandia 183
SE - Svezia 163
LV - Lettonia 148
HK - Hong Kong 126
UA - Ucraina 115
BG - Bulgaria 103
IN - India 99
CA - Canada 81
BD - Bangladesh 69
ID - Indonesia 55
NL - Olanda 49
IQ - Iraq 48
MX - Messico 48
JO - Giordania 47
ZA - Sudafrica 41
JP - Giappone 40
AR - Argentina 38
TR - Turchia 31
ES - Italia 24
CL - Cile 22
VE - Venezuela 22
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
CR - Costa Rica 10
MY - Malesia 10
RO - Romania 10
CZ - Repubblica Ceca 9
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
JM - Giamaica 4
PT - Portogallo 4
SA - Arabia Saudita 4
DK - Danimarca 3
PA - Panama 3
UY - Uruguay 3
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
GT - Guatemala 1
HR - Croazia 1
IM - Isola di Man 1
Totale 16.965
Salva come PNG Salva come JPEG
Città #
Singapore 1.194
Ashburn 967
Chandler 895
Fairfield 715
San Jose 536
Dallas 389
Santa Clara 369
Houston 338
Woodbridge 329
Seattle 303
Columbus 283
Cambridge 282
Wilmington 278
Princeton 241
Ho Chi Minh City 225
Hanoi 222
Jacksonville 222
Beijing 213
New York 199
Seoul 183
Ann Arbor 179
Moscow 169
Los Angeles 163
Riga 148
San Mateo 145
Lauterbourg 130
Helsinki 126
Sofia 103
Hong Kong 101
Trento 98
Munich 90
Council Bluffs 89
Chicago 80
The Dalles 72
São Paulo 64
London 58
San Diego 56
Milan 50
Da Nang 48
Buffalo 39
Frankfurt am Main 37
Orem 37
Jakarta 36
Phoenix 34
Haiphong 33
Boardman 32
Toronto 30
Falkenstein 29
Redondo Beach 29
Tokyo 28
Hefei 26
Como 25
Washington 24
Chennai 23
Denver 23
Johannesburg 23
Norwalk 23
Rome 23
Brooklyn 22
Elk Grove Village 22
Montreal 22
Salt Lake City 22
Atlanta 21
Lawrence 21
Dong Ket 19
Tampa 19
Belo Horizonte 18
Bến Tre 18
Turku 17
Amsterdam 16
Des Moines 15
Guangzhou 15
Rio de Janeiro 15
Tashkent 15
Thái Bình 15
Boston 14
Dhaka 14
Mexico City 14
Stockholm 14
Biên Hòa 13
Brasília 13
Falls Church 13
Shanghai 13
Fremont 12
Manchester 12
San Paolo di Civitate 12
Santiago 12
Curitiba 11
Kilburn 11
North Bergen 11
Poplar 11
Andover 10
Hải Dương 10
Miano 10
Mumbai 10
Nuremberg 10
Paris 10
Saint Petersburg 10
Thái Nguyên 10
Warsaw 10
Totale 11.508
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 297
Strong temporal planning with uncontrollable durations 258
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 252
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 244
Satisfiability Modulo Transcendental Functions via Incremental Linearization 212
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 210
Assumption-based Runtime Verification with Partial Observability and Resets 209
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 208
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 205
HRELTL: A temporal logic for hybrid systems 201
The nuXmv Symbolic Model Checker 190
Supporting Requirements Validation: The EuRailCheck Tool 188
Object Models with Temporal Constraints 184
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 182
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 179
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 176
Dynamic controllability via Timed Game Automata 173
SMT-based analysis of switching multi-domain linear Kirchhoff networks 172
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 171
Solving strong controllability of temporal problems with uncertainty using SMT 169
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 166
Verilog2SMV: A tool for word-level verification 162
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 162
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 160
Formal Verification of Infinite-State BIP Models 156
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 155
Efficient theory combination via Boolean search 155
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 155
Solving Temporal Problems Using SMT: Strong Controllability 153
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 153
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 152
NuRV: a nuXmv Extension for Runtime Verification 152
An Analytic Evaluation of SystemC Encodings in Promela 150
Formalization and validation of a subset of the European Train Control System 150
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 149
Formalization and Validation of Safety-Critical Requirements 149
From Informal Requirements to Property-Driven Formal Validation 146
NuSMV 2: An opensource tool for symbolic model checking 142
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 141
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 140
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 135
A Comprehensive Approach to On-Board Autonomy Verification and Validation 135
Formal analysis of hardware requirements 135
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 133
Lemmas for satisfiability modulo transcendental functions via incremental linearization 130
Formal specification of beliefs in multi-agent systems 129
Timelines with Temporal Uncertainty 128
OthelloPlay: a plug-in based tool for requirement formalization and validation 128
Building Efficient Decision Procedures on top of SAT solvers 127
Assumption-Based Runtime Verification of Infinite-State Systems 125
The xSAP Safety Analysis Platform 125
Requirements Validation for Hybrid Systems 123
A Model Checker for AADL 121
From PSL to NBA: a Modular Symbolic Encoding 121
Safety Assessment of AltaRica Models via Symbolic Model Checking 119
Software model checking via large-block encoding 117
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 117
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 117
Applying SMT in Symbolic Execution of Microcode 116
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 116
HYCOMP - an SMT-based model checker for hybrid systems 115
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 114
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 113
Efficient Interpolant Generation in Satisfiability Modulo Theories 113
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 112
Kratos - A Software Model Checker for SystemC 112
Formal Specification and Synthesis of FDI through an Example 110
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 108
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 107
A Modular Approach to MaxSAT Modulo Theories 107
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 106
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 105
Verifying Industrial Hybrid Systems with MathSAT 104
Satisfiability Modulo the Theory of Costs: Foundations and Applications 103
Conformant Planning via Symbolic Model Checking 103
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 103
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 100
Abstraction Modulo Stability for Reverse Engineering 99
Software Model Checking SystemC 99
Proving the Existence of Fair Paths in Infinite-State Systems 99
IC3 Modulo Theories via Implicit Predicate Abstraction 99
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 98
Solving Temporal Problems Using SMT: Weak Controllability 97
Verification and performance evaluation of AADL models 97
Model Checking and Safety Assessment of Altarica models 94
Conformant Planning via Model Checking 92
Structure-Aware Computation of Predicate Abstraction 90
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 90
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 89
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 88
A Comprehensive Approach to On-Board Autonomy Verification and Validation 88
Spacecraft Early Design Validation using Formal Methods 88
Software Model Checking with Explicit Scheduler and Symbolic Threads 86
Codesign of Dependable Systems: A Component-Based Modeling Language 86
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 86
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 86
Bounded Verification of Past LTL 85
NuSMV2: an Open Source Tool for Symbolic Model Checking 84
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 84
null 84
Totale 13.548
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.871
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 776
Totale 84.647
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021157 0 0 0 0 0 0 0 0 0 0 0 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/20267.059 433 191 882 1.079 829 444 1.414 170 543 613 218 243
Totale 17.262