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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202178 0 0 0 0 0 0 0 0 0 0 0 78
2021/2022518 20 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.523 234 57 422 552 445 248 640 81 295 331 88 130
Totale 8.956