IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.194
AS - Asia 1.599
EU - Europa 1.005
SA - Sud America 251
AF - Africa 30
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.081
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.149
SG - Singapore 944
CN - Cina 352
RU - Federazione Russa 238
BR - Brasile 221
IT - Italia 165
DE - Germania 88
FI - Finlandia 87
GB - Regno Unito 86
VN - Vietnam 84
LV - Lettonia 76
SE - Svezia 72
UA - Ucraina 69
JO - Giordania 48
HK - Hong Kong 41
ID - Indonesia 30
BG - Bulgaria 27
CA - Canada 23
IN - India 22
FR - Francia 21
BD - Bangladesh 17
NL - Olanda 16
JP - Giappone 13
MX - Messico 13
ZA - Sudafrica 13
AR - Argentina 11
RO - Romania 11
TR - Turchia 11
AT - Austria 10
LT - Lituania 8
PL - Polonia 8
PK - Pakistan 6
EC - Ecuador 5
ES - Italia 5
IQ - Iraq 5
MA - Marocco 5
CO - Colombia 4
KE - Kenya 4
KZ - Kazakistan 4
UZ - Uzbekistan 4
AL - Albania 3
CL - Cile 3
CZ - Repubblica Ceca 3
LB - Libano 3
VE - Venezuela 3
AZ - Azerbaigian 2
BE - Belgio 2
CR - Costa Rica 2
DZ - Algeria 2
EG - Egitto 2
EU - Europa 2
HN - Honduras 2
IE - Irlanda 2
IL - Israele 2
NO - Norvegia 2
PE - Perù 2
PH - Filippine 2
SA - Arabia Saudita 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
BH - Bahrain 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GE - Georgia 1
HR - Croazia 1
KG - Kirghizistan 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MY - Malesia 1
NG - Nigeria 1
OM - Oman 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
TW - Taiwan 1
Totale 7.081
Salva come PNG Salva come JPEG
Città #
Singapore 647
Ashburn 501
Chandler 458
Fairfield 377
Dallas 183
Santa Clara 182
Seattle 176
Woodbridge 174
Houston 165
Cambridge 155
Jacksonville 142
Columbus 137
Wilmington 126
Princeton 112
New York 101
Moscow 100
Ann Arbor 95
Beijing 83
Riga 76
San Mateo 65
Helsinki 59
Los Angeles 57
Trento 46
San Diego 33
Hong Kong 29
Sofia 27
Washington 27
Council Bluffs 26
Chicago 25
London 25
Buffalo 24
Jakarta 24
Munich 23
Ho Chi Minh City 22
Hefei 21
Redondo Beach 21
São Paulo 20
Phoenix 17
Dong Ket 15
Hanoi 15
Boardman 14
Lawrence 14
Brooklyn 13
Dearborn 13
Rome 13
Des Moines 11
Salt Lake City 11
Stockholm 11
Tokyo 11
Cagliari 10
Guangzhou 10
Norwalk 10
Saint Petersburg 10
Denver 9
Falkenstein 9
Falls Church 9
Hamburg 9
Milan 9
Shanghai 9
Timisoara 9
Tampa 8
Toronto 8
Como 7
Frankfurt am Main 7
Orem 7
Palermo 7
Vienna 7
Warsaw 7
Altamura 6
Brasília 6
Dhaka 6
Elk Grove Village 6
Ha Kwai Chung 6
Ottawa 6
Rio de Janeiro 6
Amman 5
Amsterdam 5
Belo Horizonte 5
Boston 5
Changsha 5
Johannesburg 5
Lahore 5
Lancaster 5
Poplar 5
Pune 5
Putian 5
Tianjin 5
Andover 4
Ankara 4
Bonndorf 4
Cape Town 4
Curitiba 4
Fuzhou 4
Guayaquil 4
Izmir 4
Jersey City 4
Kilburn 4
Lappeenranta 4
Manchester 4
Montreal 4
Totale 5.037
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 266
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 222
Certifying Proofs for LTL Model Checking 208
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 199
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
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 164
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 159
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
The nuXmv Symbolic Model Checker 137
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 132
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 132
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 130
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 128
A lazy and layered SMT(BV) solver for hard industrial verification problems 122
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 117
An Effective SMT Engine for Formal Verification 108
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 105
Software model checking via large-block encoding 101
Efficient Interpolant Generation in Satisfiability Modulo Theories 98
Kratos - A Software Model Checker for SystemC 98
Satisfiability Modulo the Theory of Costs: Foundations and Applications 96
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 96
Lemmas for satisfiability modulo transcendental functions via incremental linearization 94
HYCOMP - an SMT-based model checker for hybrid systems 93
A Modular Approach to MaxSAT Modulo Theories 88
null 84
IC3 Modulo Theories via Implicit Predicate Abstraction 84
An Effective SMT Engine for Formal Verification 81
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 80
Proving the Existence of Fair Paths in Infinite-State Systems 79
The xSAP Safety Analysis Platform 78
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 75
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 74
The MathSAT 4 SMT Solver 74
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 71
Deciding Floating-Point Logic with Systematic Abstraction 66
Infinite-state invariant checking with IC3 and predicate abstraction 63
Broadening the Scope of SMT-COMP: the Application Track 63
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 61
Verifying LTL Properties of Hybrid Systems with K-Liveness 61
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 61
Efficient Anytime Techniques for Model-Based Safety Analysis 61
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 60
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 60
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 57
Preface to special issue on satisfiability modulo theories 56
Parameter Synthesis with IC3 56
Deciding floating-point logic with abstract conflict driven clause learning 56
Verification of SMT Systems with Quantifiers 55
Symbolic execution with existential second-order constraints 55
Safe Decomposition of Startup Requirements: Verification and Synthesis 53
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 51
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 49
SC^2: Satisfiability Checking Meets Symbolic Computation 49
Precise Analysis of pi-calculus in Cubic Time 48
Effective word-level interpolation for software verification 48
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 47
Efficient SMT-Based Analysis of Failure Propagation 47
Symbolic computation and satisfiability checking 47
The MathSAT 5 SMT Solver 46
null 46
Software Model Checking via IC3 46
null 43
Satisfiability checking and symbolic computation 42
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 40
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 40
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 40
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 39
Searching for i-Good Lemmas to Accelerate Safety Model Checking 37
Modeling and Analyzing Contextual Requirements 37
Efficient Interpolant Generation in Satisfiability Modulo Theories 36
Software Model Checking via Large-Block Encoding 35
Tighter Integration of BDD and SMT for Predicate Abstraction 34
LTL falsification in infinite-state systems 33
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 31
Stochastic Local Search for SMT: A Preliminary Report 31
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 29
Invariant Checking for SMT-based Systems with Quantifiers 23
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 18
Totale 7.257
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.934
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 692
Totale 38.626
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021392 0 0 0 0 0 82 56 54 30 55 37 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/20261.824 234 57 422 552 445 114 0 0 0 0 0 0
Totale 7.257