IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.260
AS - Asia 2.229
EU - Europa 1.292
SA - Sud America 321
Continente sconosciuto - Info sul continente non disponibili 180
AF - Africa 49
OC - Oceania 3
Totale 9.334
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.169
SG - Singapore 1.049
CN - Cina 418
VN - Vietnam 289
BR - Brasile 265
IT - Italia 252
RU - Federazione Russa 242
DE - Germania 118
KR - Corea 112
GB - Regno Unito 108
FR - Francia 107
FI - Finlandia 97
LV - Lettonia 76
SE - Svezia 75
UA - Ucraina 73
IN - India 60
HK - Hong Kong 55
JO - Giordania 51
CA - Canada 47
BD - Bangladesh 39
ID - Indonesia 34
BG - Bulgaria 27
IQ - Iraq 23
JP - Giappone 21
NL - Olanda 20
MX - Messico 19
TR - Turchia 19
ZA - Sudafrica 18
ES - Italia 17
AR - Argentina 13
CL - Cile 13
PL - Polonia 11
RO - Romania 11
AT - Austria 10
CO - Colombia 9
CZ - Repubblica Ceca 9
PK - Pakistan 9
BE - Belgio 8
CR - Costa Rica 8
LT - Lituania 8
EC - Ecuador 7
KZ - Kazakistan 7
MA - Marocco 7
PH - Filippine 6
VE - Venezuela 6
AL - Albania 5
EG - Egitto 5
IL - Israele 5
KE - Kenya 5
TN - Tunisia 5
UZ - Uzbekistan 5
LB - Libano 4
PY - Paraguay 4
TT - Trinidad e Tobago 4
AU - Australia 3
AZ - Azerbaigian 3
DZ - Algeria 3
HN - Honduras 3
HR - Croazia 3
IE - Irlanda 3
MY - Malesia 3
PE - Perù 3
SA - Arabia Saudita 3
DO - Repubblica Dominicana 2
EU - Europa 2
JM - Giamaica 2
MK - Macedonia 2
NO - Norvegia 2
OM - Oman 2
SY - Repubblica araba siriana 2
TW - Taiwan 2
BH - Bahrain 1
BO - Bolivia 1
BS - Bahamas 1
BY - Bielorussia 1
CG - Congo 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DK - Danimarca 1
EE - Estonia 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
IM - Isola di Man 1
KG - Kirghizistan 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LY - Libia 1
ML - Mali 1
MM - Myanmar 1
MQ - Martinica 1
MT - Malta 1
NG - Nigeria 1
NP - Nepal 1
PA - Panama 1
PT - Portogallo 1
QA - Qatar 1
TH - Thailandia 1
VI - Stati Uniti Isole Vergini 1
Totale 9.156
Salva come PNG Salva come JPEG
Città #
Singapore 694
Ashburn 636
Chandler 458
San Jose 386
Fairfield 377
Santa Clara 211
Dallas 189
Seattle 177
Woodbridge 175
Houston 170
Columbus 163
Cambridge 156
Jacksonville 143
Wilmington 126
New York 118
Princeton 112
Seoul 111
Council Bluffs 103
Moscow 102
Ann Arbor 95
Beijing 92
Los Angeles 77
Riga 76
Hanoi 69
Helsinki 69
Ho Chi Minh City 67
San Mateo 65
Lauterbourg 64
Trento 49
The Dalles 39
Hong Kong 38
San Diego 34
London 31
Chicago 29
Buffalo 28
São Paulo 28
Washington 28
Sofia 27
Milan 26
Orem 25
Phoenix 25
Jakarta 24
Munich 23
Hefei 21
Redondo Beach 21
Rome 21
Brooklyn 19
University Park 18
Frankfurt am Main 17
Tokyo 17
Boardman 16
Da Nang 16
Chennai 15
Dong Ket 15
Lawrence 14
Dearborn 13
Denver 13
Haiphong 13
Stockholm 12
Des Moines 11
Montreal 11
Salt Lake City 11
Verona 11
Cagliari 10
Guangzhou 10
Hamburg 10
Norwalk 10
Saint Petersburg 10
Shanghai 10
Toronto 10
Warsaw 10
Belo Horizonte 9
Falkenstein 9
Falls Church 9
Timisoara 9
Atlanta 8
Dhaka 8
Manchester 8
Tampa 8
Amman 7
Amsterdam 7
Brasília 7
Bến Tre 7
Como 7
Elk Grove Village 7
Johannesburg 7
Mexico City 7
Palermo 7
Paris 7
Prague 7
Vienna 7
Altamura 6
Boston 6
Changsha 6
Ha Kwai Chung 6
Lahore 6
Mumbai 6
Ottawa 6
Rio de Janeiro 6
San Francisco 6
Totale 6.326
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 301
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
Certifying Proofs for LTL Model Checking 245
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 241
Satisfiability Modulo Transcendental Functions via Incremental Linearization 217
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 216
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 206
The nuXmv Symbolic Model Checker 192
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 188
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 185
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 184
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 181
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 176
Verilog2SMV: A tool for word-level verification 163
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 163
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 157
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 155
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 154
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 154
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 146
A lazy and layered SMT(BV) solver for hard industrial verification problems 144
An Effective SMT Engine for Formal Verification 141
Lemmas for satisfiability modulo transcendental functions via incremental linearization 141
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 133
The xSAP Safety Analysis Platform 130
Software model checking via large-block encoding 120
HYCOMP - an SMT-based model checker for hybrid systems 118
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 117
Efficient Interpolant Generation in Satisfiability Modulo Theories 116
Kratos - A Software Model Checker for SystemC 116
A Modular Approach to MaxSAT Modulo Theories 109
An Effective SMT Engine for Formal Verification 107
Satisfiability Modulo the Theory of Costs: Foundations and Applications 105
IC3 Modulo Theories via Implicit Predicate Abstraction 102
Proving the Existence of Fair Paths in Infinite-State Systems 101
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 98
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 95
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 94
Verification of SMT Systems with Quantifiers 92
The MathSAT 4 SMT Solver 91
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 90
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 90
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 88
Deciding Floating-Point Logic with Systematic Abstraction 87
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 86
null 84
Efficient Anytime Techniques for Model-Based Safety Analysis 84
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 83
Infinite-state invariant checking with IC3 and predicate abstraction 83
Broadening the Scope of SMT-COMP: the Application Track 81
Symbolic execution with existential second-order constraints 80
Verifying LTL Properties of Hybrid Systems with K-Liveness 80
Software Model Checking via Large-Block Encoding 77
Deciding floating-point logic with abstract conflict driven clause learning 77
Parameter Synthesis with IC3 76
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 76
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 75
Preface to special issue on satisfiability modulo theories 72
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 71
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 69
SC^2: Satisfiability Checking Meets Symbolic Computation 69
Efficient SMT-Based Analysis of Failure Propagation 69
Effective word-level interpolation for software verification 67
Safe Decomposition of Startup Requirements: Verification and Synthesis 65
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 64
Precise Analysis of pi-calculus in Cubic Time 64
Software Model Checking via IC3 63
Symbolic computation and satisfiability checking 63
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 60
The MathSAT 5 SMT Solver 60
Modeling and Analyzing Contextual Requirements 58
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 58
LTL falsification in infinite-state systems 56
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 56
Searching for i-Good Lemmas to Accelerate Safety Model Checking 54
Satisfiability checking and symbolic computation 54
Stochastic Local Search for SMT: A Preliminary Report 53
Efficient Interpolant Generation in Satisfiability Modulo Theories 52
Tighter Integration of BDD and SMT for Predicate Abstraction 47
null 46
null 43
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 42
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 39
Invariant Checking for SMT-based Systems with Quantifiers 28
Totale 9.334
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.080
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 825
Totale 45.905
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022498 0 79 10 25 26 17 16 86 16 21 98 104
2022/2023885 83 99 10 126 77 132 1 76 170 9 56 46
2023/2024577 26 31 45 21 49 192 50 35 7 40 20 61
2024/20251.625 21 17 75 332 111 235 60 118 91 262 182 121
2025/20263.539 234 57 422 552 445 248 640 81 295 331 88 146
2026/2027362 129 233 0 0 0 0 0 0 0 0 0 0
Totale 9.334