IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.808
AS - Asia 2.248
EU - Europa 1.377
SA - Sud America 345
Continente sconosciuto - Info sul continente non disponibili 182
AF - Africa 50
OC - Oceania 3
Totale 10.013
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.699
SG - Singapore 1.050
CN - Cina 418
VN - Vietnam 293
IT - Italia 281
BR - Brasile 274
RU - Federazione Russa 242
DE - Germania 121
GB - Regno Unito 121
KR - Corea 112
FR - Francia 108
SE - Svezia 104
FI - Finlandia 99
LV - Lettonia 76
UA - Ucraina 73
IN - India 60
CA - Canada 57
HK - Hong Kong 55
JO - Giordania 51
BD - Bangladesh 41
ID - Indonesia 36
BG - Bulgaria 27
IQ - Iraq 23
JP - Giappone 22
NL - Olanda 20
TR - Turchia 20
MX - Messico 19
ZA - Sudafrica 18
ES - Italia 17
AR - Argentina 16
CL - Cile 13
VE - Venezuela 12
CZ - Repubblica Ceca 11
EC - Ecuador 11
PL - Polonia 11
RO - Romania 11
AT - Austria 10
CO - Colombia 10
PK - Pakistan 9
BE - Belgio 8
CR - Costa Rica 8
LT - Lituania 8
KZ - Kazakistan 7
MA - Marocco 7
AL - Albania 6
MY - Malesia 6
PH - Filippine 6
SA - Arabia Saudita 6
EG - Egitto 5
IL - Israele 5
JM - Giamaica 5
KE - Kenya 5
LB - Libano 5
TN - Tunisia 5
UZ - Uzbekistan 5
EE - Estonia 4
PY - Paraguay 4
TT - Trinidad e Tobago 4
AU - Australia 3
AZ - Azerbaigian 3
BS - Bahamas 3
DZ - Algeria 3
HN - Honduras 3
HR - Croazia 3
IE - Irlanda 3
PE - Perù 3
CG - Congo 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
EU - Europa 2
GT - Guatemala 2
MK - Macedonia 2
NO - Norvegia 2
NP - Nepal 2
OM - Oman 2
PA - Panama 2
SY - Repubblica araba siriana 2
TW - Taiwan 2
BH - Bahrain 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
GA - Gabon 1
GE - Georgia 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
PT - Portogallo 1
QA - Qatar 1
RS - Serbia 1
SV - El Salvador 1
Totale 9.830
Salva come PNG Salva come JPEG
Città #
Ashburn 763
Singapore 695
San Jose 467
Chandler 458
Fairfield 377
Santa Clara 218
Dallas 193
Seattle 179
Woodbridge 175
Houston 171
Columbus 164
Cambridge 156
Jacksonville 143
Wilmington 126
New York 121
Princeton 112
Seoul 111
Council Bluffs 109
Moscow 102
Ann Arbor 95
Beijing 92
Los Angeles 82
Riga 76
Helsinki 71
Ho Chi Minh City 70
Hanoi 69
San Mateo 65
Lauterbourg 64
Phoenix 58
Trento 52
The Dalles 39
Washington 39
Hong Kong 38
San Diego 37
London 31
Chicago 29
Buffalo 28
Milan 28
São Paulo 28
Sofia 27
Rome 26
Orem 25
Jakarta 24
Munich 23
Hefei 21
Redondo Beach 21
Brooklyn 20
Denver 18
Tokyo 18
University Park 18
Frankfurt am Main 17
Boardman 16
Da Nang 16
Chennai 15
Dong Ket 15
Lawrence 14
Atlanta 13
Dearborn 13
Haiphong 13
San Francisco 13
Toronto 13
Des Moines 12
Montreal 12
Stockholm 12
Salt Lake City 11
Verona 11
Cagliari 10
Guangzhou 10
Hamburg 10
Norwalk 10
Saint Petersburg 10
Shanghai 10
Warsaw 10
Belo Horizonte 9
Falkenstein 9
Falls Church 9
Palermo 9
Prague 9
Timisoara 9
Boston 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
Paris 7
Philadelphia 7
Vienna 7
Altamura 6
Caracas 6
Changsha 6
Guayaquil 6
Ha Kwai Chung 6
Lahore 6
Totale 6.657
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 306
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 262
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 262
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 256
Certifying Proofs for LTL Model Checking 249
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 228
Satisfiability Modulo Transcendental Functions via Incremental Linearization 224
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 216
The nuXmv Symbolic Model Checker 206
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 198
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 195
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 188
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 187
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 184
Verilog2SMV: A tool for word-level verification 173
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 170
An Effective SMT Engine for Formal Verification 167
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 166
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 166
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 161
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 160
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 160
Lemmas for satisfiability modulo transcendental functions via incremental linearization 154
A lazy and layered SMT(BV) solver for hard industrial verification problems 154
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 151
The xSAP Safety Analysis Platform 138
Software model checking via large-block encoding 131
An Effective SMT Engine for Formal Verification 127
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 125
HYCOMP - an SMT-based model checker for hybrid systems 125
Kratos - A Software Model Checker for SystemC 124
Efficient Interpolant Generation in Satisfiability Modulo Theories 123
Satisfiability Modulo the Theory of Costs: Foundations and Applications 119
A Modular Approach to MaxSAT Modulo Theories 115
IC3 Modulo Theories via Implicit Predicate Abstraction 112
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 109
Proving the Existence of Fair Paths in Infinite-State Systems 108
Verification of SMT Systems with Quantifiers 103
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 103
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 103
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 101
The MathSAT 4 SMT Solver 99
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 98
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 96
Deciding Floating-Point Logic with Systematic Abstraction 95
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 92
Infinite-state invariant checking with IC3 and predicate abstraction 92
Efficient Anytime Techniques for Model-Based Safety Analysis 91
Software Model Checking via Large-Block Encoding 90
Parameter Synthesis with IC3 88
Broadening the Scope of SMT-COMP: the Application Track 88
Deciding floating-point logic with abstract conflict driven clause learning 87
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 86
Symbolic execution with existential second-order constraints 85
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 85
null 84
Verifying LTL Properties of Hybrid Systems with K-Liveness 84
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 81
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 80
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 77
SC^2: Satisfiability Checking Meets Symbolic Computation 76
Preface to special issue on satisfiability modulo theories 75
Effective word-level interpolation for software verification 74
Efficient SMT-Based Analysis of Failure Propagation 74
Safe Decomposition of Startup Requirements: Verification and Synthesis 73
Precise Analysis of pi-calculus in Cubic Time 72
The MathSAT 5 SMT Solver 71
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 68
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 68
Software Model Checking via IC3 66
Symbolic computation and satisfiability checking 66
Modeling and Analyzing Contextual Requirements 65
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 62
Stochastic Local Search for SMT: A Preliminary Report 61
LTL falsification in infinite-state systems 59
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 59
Satisfiability checking and symbolic computation 58
Searching for i-Good Lemmas to Accelerate Safety Model Checking 57
Efficient Interpolant Generation in Satisfiability Modulo Theories 55
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 54
Tighter Integration of BDD and SMT for Predicate Abstraction 53
null 46
null 43
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 41
Invariant Checking for SMT-based Systems with Quantifiers 30
Totale 10.013
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.421
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 860
Totale 48.281
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022409 0 0 0 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/20271.041 129 269 392 251 0 0 0 0 0 0 0 0
Totale 10.013