IRIS
Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.602
AS - Asia 4.478
EU - Europa 2.672
SA - Sud America 815
Continente sconosciuto - Info sul continente non disponibili 296
AF - Africa 100
OC - Oceania 5
Totale 19.968
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.259
SG - Singapore 1.942
VN - Vietnam 849
CN - Cina 799
BR - Brasile 642
IT - Italia 619
RU - Federazione Russa 399
DE - Germania 268
GB - Regno Unito 228
FR - Francia 205
SE - Svezia 199
KR - Corea 189
FI - Finlandia 185
CA - Canada 164
LV - Lettonia 148
HK - Hong Kong 130
UA - Ucraina 116
BG - Bulgaria 104
IN - India 104
BD - Bangladesh 74
ID - Indonesia 64
MX - Messico 57
AR - Argentina 50
NL - Olanda 50
IQ - Iraq 48
JO - Giordania 47
JP - Giappone 45
ZA - Sudafrica 41
EC - Ecuador 33
TR - Turchia 32
VE - Venezuela 30
CR - Costa Rica 27
ES - Italia 25
CL - Cile 23
CO - Colombia 18
PK - Pakistan 18
JM - Giamaica 17
UZ - Uzbekistan 16
LT - Lituania 15
MY - Malesia 15
PL - Polonia 14
AT - Austria 13
EG - Egitto 13
HN - Honduras 13
IL - Israele 12
PH - Filippine 12
BE - Belgio 11
IR - Iran 11
KE - Kenya 11
KZ - Kazakistan 11
RO - Romania 10
SV - El Salvador 10
TT - Trinidad e Tobago 10
AL - Albania 9
CZ - Repubblica Ceca 9
GT - Guatemala 9
AE - Emirati Arabi Uniti 8
IE - Irlanda 8
MA - Marocco 8
PE - Perù 8
PY - Paraguay 8
SA - Arabia Saudita 8
TN - Tunisia 7
NI - Nicaragua 6
NP - Nepal 6
PR - Porto Rico 6
SC - Seychelles 6
AU - Australia 5
CW - ???statistics.table.value.countryCode.CW??? 5
DZ - Algeria 5
EE - Estonia 5
GP - Guadalupe 5
KG - Kirghizistan 5
TW - Taiwan 5
AZ - Azerbaigian 4
BS - Bahamas 4
BY - Bielorussia 4
DK - Danimarca 4
PA - Panama 4
PT - Portogallo 4
RS - Serbia 4
QA - Qatar 3
TH - Thailandia 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
MM - Myanmar 2
MQ - Martinica 2
Totale 19.655
Salva come PNG Salva come JPEG
Città #
Ashburn 1.265
Singapore 1.206
Chandler 895
San Jose 790
Fairfield 715
Santa Clara 415
Dallas 409
Council Bluffs 399
Houston 352
Columbus 330
Woodbridge 330
Seattle 306
Cambridge 282
Wilmington 278
Princeton 242
Ho Chi Minh City 227
Jacksonville 224
Hanoi 223
New York 217
Beijing 214
Seoul 183
Los Angeles 180
Ann Arbor 179
Moscow 169
Riga 148
San Mateo 145
Lauterbourg 130
Helsinki 128
Hong Kong 105
Sofia 103
Trento 99
Chicago 95
Munich 90
Phoenix 84
The Dalles 75
São Paulo 70
Milan 68
London 63
San Diego 61
Da Nang 48
Rome 42
Washington 42
Buffalo 40
Stanford 40
Orem 38
Boardman 37
Brooklyn 37
Frankfurt am Main 37
Jakarta 36
Toronto 36
Denver 33
Haiphong 33
Montreal 33
Atlanta 32
Tokyo 32
Falkenstein 29
North Bergen 29
Redondo Beach 29
Hefei 26
Como 25
Chennai 24
Johannesburg 23
Norwalk 23
Salt Lake City 23
San José 23
Elk Grove Village 22
Lawrence 21
Tampa 21
Dong Ket 19
Belo Horizonte 18
Bến Tre 18
Mexico City 17
Turku 17
Amsterdam 16
Boston 16
Las Vegas 16
Des Moines 15
Dhaka 15
Guangzhou 15
Miami 15
Rio de Janeiro 15
Tashkent 15
Thái Bình 15
Brasília 14
Mumbai 14
Shanghai 14
Stockholm 14
Biên Hòa 13
Cleveland 13
Curitiba 13
Falls Church 13
Fremont 12
Guayaquil 12
Kingston 12
Manchester 12
San Paolo di Civitate 12
Santiago 12
Karlsruhe 11
Kilburn 11
Poplar 11
Totale 12.863
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 309
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 288
Strong temporal planning with uncontrollable durations 287
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 268
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 266
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 243
Assumption-based Runtime Verification with Partial Observability and Resets 233
Satisfiability Modulo Transcendental Functions via Incremental Linearization 233
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 227
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 225
HRELTL: A temporal logic for hybrid systems 218
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 214
The nuXmv Symbolic Model Checker 211
Supporting Requirements Validation: The EuRailCheck Tool 207
Object Models with Temporal Constraints 200
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 200
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 193
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 192
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 188
SMT-based analysis of switching multi-domain linear Kirchhoff networks 187
Solving strong controllability of temporal problems with uncertainty using SMT 183
Dynamic controllability via Timed Game Automata 183
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 180
Verilog2SMV: A tool for word-level verification 177
Efficient theory combination via Boolean search 175
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 175
Formal Verification of Infinite-State BIP Models 172
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 172
NuSMV 2: An opensource tool for symbolic model checking 171
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 171
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 170
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 168
An Analytic Evaluation of SystemC Encodings in Promela 167
Solving Temporal Problems Using SMT: Strong Controllability 166
Formalization and validation of a subset of the European Train Control System 165
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 164
NuRV: a nuXmv Extension for Runtime Verification 164
Formalization and Validation of Safety-Critical Requirements 164
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 163
From Informal Requirements to Property-Driven Formal Validation 162
Lemmas for satisfiability modulo transcendental functions via incremental linearization 160
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 159
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 155
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 152
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 152
OthelloPlay: a plug-in based tool for requirement formalization and validation 149
The xSAP Safety Analysis Platform 149
A Comprehensive Approach to On-Board Autonomy Verification and Validation 146
Formal analysis of hardware requirements 146
Timelines with Temporal Uncertainty 145
Building Efficient Decision Procedures on top of SAT solvers 142
Formal specification of beliefs in multi-agent systems 140
Verifying SystemC: a Software Model Checking Approach 139
Assumption-Based Runtime Verification of Infinite-State Systems 139
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 138
Safety Assessment of AltaRica Models via Symbolic Model Checking 138
A Model Checker for AADL 138
From PSL to NBA: a Modular Symbolic Encoding 137
Applying SMT in Symbolic Execution of Microcode 135
Software model checking via large-block encoding 134
Formal Specification and Synthesis of FDI through an Example 134
Requirements Validation for Hybrid Systems 134
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 132
HYCOMP - an SMT-based model checker for hybrid systems 131
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 130
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 129
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 129
Kratos - A Software Model Checker for SystemC 128
Efficient Interpolant Generation in Satisfiability Modulo Theories 125
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 125
Satisfiability Modulo the Theory of Costs: Foundations and Applications 121
A Modular Approach to MaxSAT Modulo Theories 121
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 117
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 117
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 116
Verifying Industrial Hybrid Systems with MathSAT 115
IC3 Modulo Theories via Implicit Predicate Abstraction 115
Abstraction Modulo Stability for Reverse Engineering 113
Conformant Planning via Symbolic Model Checking 113
Proving the Existence of Fair Paths in Infinite-State Systems 113
Verification and performance evaluation of AADL models 112
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 112
Solving Temporal Problems Using SMT: Weak Controllability 111
Model Checking and Safety Assessment of Altarica models 111
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 110
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 109
Software Model Checking SystemC 109
Conformant Planning via Model Checking 109
A Comprehensive Approach to On-Board Autonomy Verification and Validation 109
Verification of SMT Systems with Quantifiers 108
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 106
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 105
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 102
Codesign of Dependable Systems: A Component-Based Modeling Language 101
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 101
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 101
Structure-Aware Computation of Predicate Abstraction 101
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 101
RAT: A tool for formal analysis of requirements 100
Bounded Verification of Past LTL 99
Totale 15.469
Salva come PNG Salva come JPEG
Categoria #
all - tutte 94.364
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 877
Totale 95.241
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022972 0 0 0 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/20272.679 249 542 720 1.168 0 0 0 0 0 0 0 0
Totale 19.968