IRIS
Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.931
AS - Asia 2.928
EU - Europa 1.998
SA - Sud America 629
AF - Africa 63
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 13.554
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.837
SG - Singapore 1.728
CN - Cina 642
BR - Brasile 540
RU - Federazione Russa 390
IT - Italia 345
DE - Germania 234
VN - Vietnam 197
FI - Finlandia 175
GB - Regno Unito 166
SE - Svezia 155
LV - Lettonia 148
UA - Ucraina 108
BG - Bulgaria 103
HK - Hong Kong 66
CA - Canada 50
JO - Giordania 42
ID - Indonesia 40
NL - Olanda 38
FR - Francia 37
IN - India 37
BD - Bangladesh 35
ZA - Sudafrica 32
AR - Argentina 30
MX - Messico 27
JP - Giappone 20
TR - Turchia 20
IQ - Iraq 19
EC - Ecuador 17
VE - Venezuela 16
ES - Italia 12
LT - Lituania 12
UZ - Uzbekistan 12
AT - Austria 11
CL - Cile 10
PL - Polonia 10
RO - Romania 10
IR - Iran 9
BE - Belgio 8
EG - Egitto 8
PK - Pakistan 8
CZ - Repubblica Ceca 7
IL - Israele 7
AL - Albania 6
KE - Kenya 6
KZ - Kazakistan 6
MA - Marocco 6
PE - Perù 6
CO - Colombia 5
CR - Costa Rica 5
IE - Irlanda 5
KG - Kirghizistan 5
TN - Tunisia 5
AE - Emirati Arabi Uniti 4
BY - Bielorussia 4
HN - Honduras 4
KR - Corea 4
MY - Malesia 4
PH - Filippine 4
TW - Taiwan 4
DZ - Algeria 3
PA - Panama 3
PT - Portogallo 3
PY - Paraguay 3
AU - Australia 2
DK - Danimarca 2
EU - Europa 2
GE - Georgia 2
LA - Repubblica Popolare Democratica del Laos 2
LK - Sri Lanka 2
NI - Nicaragua 2
NO - Norvegia 2
OM - Oman 2
UY - Uruguay 2
AZ - Azerbaigian 1
BB - Barbados 1
BH - Bahrain 1
CH - Svizzera 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GA - Gabon 1
HR - Croazia 1
HU - Ungheria 1
LB - Libano 1
LU - Lussemburgo 1
NG - Nigeria 1
NP - Nepal 1
QA - Qatar 1
RS - Serbia 1
SA - Arabia Saudita 1
SI - Slovenia 1
SN - Senegal 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 13.554
Salva come PNG Salva come JPEG
Città #
Singapore 1.097
Chandler 895
Ashburn 753
Fairfield 715
Dallas 382
Santa Clara 343
Woodbridge 329
Houston 327
Seattle 302
Columbus 283
Cambridge 282
Wilmington 277
Princeton 241
Jacksonville 221
Beijing 198
Ann Arbor 179
Moscow 167
New York 158
Riga 148
San Mateo 145
Los Angeles 126
Helsinki 118
Sofia 103
Trento 96
Munich 90
Chicago 75
Council Bluffs 62
Hong Kong 58
Ho Chi Minh City 57
São Paulo 56
San Diego 55
London 53
Hanoi 38
Buffalo 32
Jakarta 32
Redondo Beach 29
Falkenstein 28
Boardman 27
Frankfurt am Main 27
Toronto 27
Hefei 26
Phoenix 26
Como 25
Norwalk 23
Salt Lake City 22
Elk Grove Village 21
Lawrence 21
Washington 21
Dong Ket 19
Tampa 18
The Dalles 18
Denver 17
Turku 17
Atlanta 16
Johannesburg 16
Rome 16
Des Moines 15
Guangzhou 15
Tokyo 15
Belo Horizonte 14
Brooklyn 14
Falls Church 13
Rio de Janeiro 13
Brasília 12
Fremont 12
San Paolo di Civitate 12
Shanghai 12
Stockholm 12
Boston 11
Curitiba 11
Kilburn 11
Milan 11
North Bergen 11
Poplar 11
Tashkent 11
Amsterdam 10
Andover 10
Dhaka 10
Saint Petersburg 10
Chennai 9
Dearborn 9
Montreal 9
Timisoara 9
Zhengzhou 9
Karlsruhe 8
Lappeenranta 8
Orem 8
Ottawa 8
Porto Alegre 8
Udine 8
Warsaw 8
Campinas 7
Changsha 7
Detroit 7
Düsseldorf 7
Miami 7
Nuremberg 7
Altamura 6
Ankara 6
Bonndorf 6
Totale 9.390
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 266
Strong temporal planning with uncontrollable durations 232
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 222
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 199
Satisfiability Modulo Transcendental Functions via Incremental Linearization 195
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 191
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 185
Assumption-based Runtime Verification with Partial Observability and Resets 179
HRELTL: A temporal logic for hybrid systems 169
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 167
Object Models with Temporal Constraints 163
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 159
Solving strong controllability of temporal problems with uncertainty using SMT 154
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 153
Dynamic controllability via Timed Game Automata 144
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 141
Verilog2SMV: A tool for word-level verification 139
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 139
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 139
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 138
The nuXmv Symbolic Model Checker 137
Supporting Requirements Validation: The EuRailCheck Tool 137
Solving Temporal Problems Using SMT: Strong Controllability 136
NuRV: a nuXmv Extension for Runtime Verification 135
SMT-based analysis of switching multi-domain linear Kirchhoff networks 133
Formal Verification of Infinite-State BIP Models 133
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 132
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 132
Efficient theory combination via Boolean search 132
Formalization and Validation of Safety-Critical Requirements 129
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 129
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 128
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 127
Formalization and validation of a subset of the European Train Control System 127
From Informal Requirements to Property-Driven Formal Validation 124
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 117
A Comprehensive Approach to On-Board Autonomy Verification and Validation 117
Building Efficient Decision Procedures on top of SAT solvers 116
An Analytic Evaluation of SystemC Encodings in Promela 116
Formal specification of beliefs in multi-agent systems 114
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 113
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 109
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 107
OthelloPlay: a plug-in based tool for requirement formalization and validation 107
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 105
Assumption-Based Runtime Verification of Infinite-State Systems 104
Applying SMT in Symbolic Execution of Microcode 103
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 102
Software model checking via large-block encoding 101
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 101
NuSMV 2: An opensource tool for symbolic model checking 99
Formal Specification and Synthesis of FDI through an Example 99
Efficient Interpolant Generation in Satisfiability Modulo Theories 98
Kratos - A Software Model Checker for SystemC 98
A Model Checker for AADL 98
Verifying Industrial Hybrid Systems with MathSAT 97
Satisfiability Modulo the Theory of Costs: Foundations and Applications 96
Formal analysis of hardware requirements 96
From PSL to NBA: a Modular Symbolic Encoding 96
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 96
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 95
Lemmas for satisfiability modulo transcendental functions via incremental linearization 95
Safety Assessment of AltaRica Models via Symbolic Model Checking 94
HYCOMP - an SMT-based model checker for hybrid systems 93
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 92
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 90
Timelines with Temporal Uncertainty 89
A Modular Approach to MaxSAT Modulo Theories 88
Software Model Checking SystemC 87
null 84
Solving Temporal Problems Using SMT: Weak Controllability 84
IC3 Modulo Theories via Implicit Predicate Abstraction 84
Conformant Planning via Symbolic Model Checking 83
Requirements Validation for Hybrid Systems 83
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 83
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 82
Proving the Existence of Fair Paths in Infinite-State Systems 79
The xSAP Safety Analysis Platform 78
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 77
Model Checking and Safety Assessment of Altarica models 77
Structure-Aware Computation of Predicate Abstraction 77
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 75
Software Model Checking with Explicit Scheduler and Symbolic Threads 74
Bounded Verification of Past LTL 74
Codesign of Dependable Systems: A Component-Based Modeling Language 73
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 73
A Comprehensive Approach to On-Board Autonomy Verification and Validation 72
Conformant Planning via Model Checking 71
Verifying SystemC: a Software Model Checking Approach 70
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead 69
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 69
Safety, Dependability and Performance Analysis of Extended AADL Models 66
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 65
Conformant Planning via Symbolic Model Checking and Heuristic Search 64
Syntactic Optimizations for PSL Verification 64
Symbolic Implementation of Alternating Automata 64
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 64
RAT: A tool for formal analysis of requirements 64
Diagnostic Information for Realizability 63
Spacecraft Early Design Validation using Formal Methods 63
Totale 11.141
Salva come PNG Salva come JPEG
Categoria #
all - tutte 73.868
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 676
Totale 74.544
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021746 0 0 0 0 0 70 92 140 64 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/20263.639 433 191 882 1.079 829 225 0 0 0 0 0 0
Totale 13.842