IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.874
EU - Europa 492
AS - Asia 221
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 3.593
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.869
IT - Italia 119
SG - Singapore 74
FI - Finlandia 68
SE - Svezia 66
UA - Ucraina 64
GB - Regno Unito 56
CN - Cina 52
DE - Germania 51
JO - Giordania 43
BG - Bulgaria 26
VN - Vietnam 23
HK - Hong Kong 12
RU - Federazione Russa 11
RO - Romania 9
FR - Francia 8
IN - India 8
AT - Austria 6
CA - Canada 5
PK - Pakistan 4
DZ - Algeria 2
EU - Europa 2
JP - Giappone 2
BR - Brasile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
HR - Croazia 1
IE - Irlanda 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
NL - Olanda 1
NO - Norvegia 1
PT - Portogallo 1
TR - Turchia 1
TW - Taiwan 1
Totale 3.593
Salva come PNG Salva come JPEG
Città #
Chandler 449
Fairfield 366
Ashburn 308
Woodbridge 169
Seattle 165
Houston 155
Cambridge 152
Jacksonville 136
Wilmington 119
Princeton 111
Ann Arbor 92
New York 76
San Mateo 64
Helsinki 49
Trento 39
San Diego 32
Beijing 29
Singapore 28
Sofia 26
Washington 26
Dong Ket 15
London 15
Dearborn 13
Lawrence 13
Boardman 10
Cagliari 10
Saint Petersburg 10
Falls Church 9
Hamburg 9
Norwalk 9
Timisoara 9
Dallas 8
Los Angeles 8
Rome 8
Como 7
Munich 7
Palermo 7
Phoenix 7
Altamura 6
Ha Kwai Chung 6
Vienna 6
Pune 5
Stockholm 5
Andover 4
Bonndorf 4
Kilburn 4
Lahore 4
Milan 4
Redmond 4
San Paolo di Civitate 4
Santa Clara 4
Verona 4
Bolzano 3
Chiswick 3
Hefei 3
Toronto 3
Acton 2
Alexandria 2
Costa Mesa 2
Fremont 2
Guangzhou 2
Hounslow 2
Kastorf 2
Mountain View 2
Nanchang 2
Nashville 2
Nuremberg 2
Pordenone 2
Prescot 2
Scuola 2
Severn 2
Sha Tin Wai 2
Southwark 2
Tianjin 2
Tlemcen 2
Auburn 1
Bad Bellingen 1
Bhubaneswar 1
Bogotá 1
Bolton 1
Bremen 1
Brno 1
Changsha 1
Chicago 1
Chions 1
Colombo 1
Des Moines 1
Dublin 1
Düsseldorf 1
Fayetteville 1
Fuzhou 1
Hamm 1
Hebei 1
Hendon 1
Izmir 1
Jiaxing 1
Lappeenranta 1
Luxembourg 1
Malo 1
Massy 1
Totale 2.904
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 216
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 156
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 145
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 140
Satisfiability Modulo Transcendental Functions via Incremental Linearization 138
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 137
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 130
Certifying Proofs for LTL Model Checking 110
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 106
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 102
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 100
Efficient Interpolant Generation in Satisfiability Modulo Theories 99
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 98
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 96
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 93
Verilog2SMV: A tool for word-level verification 91
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 89
null 84
Efficient Interpolant Generation in Satisfiability Modulo Theories 75
Satisfiability Modulo the Theory of Costs: Foundations and Applications 73
Software Model Checking via Large-Block Encoding. 72
Kratos - A Software Model Checker for SystemC 57
A lazy and layered SMT(BV) solver for hard industrial verification problems 56
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 54
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 53
An Effective SMT Engine for Formal Verification 50
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 46
null 46
Lemmas for satisfiability modulo transcendental functions via incremental linearization 44
null 43
The MathSAT 4 SMT Solver 41
Proving the Existence of Fair Paths in Infinite-State Systems 39
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 35
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 34
HYCOMP - an SMT-based model checker for hybrid systems 32
The xSAP Safety Analysis Platform 29
An Effective SMT Engine for Formal Verification 28
Deciding Floating-Point Logic with Systematic Abstraction 28
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 27
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 27
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 27
Verifying LTL Properties of Hybrid Systems with K-Liveness 25
IC3 Modulo Theories via Implicit Predicate Abstraction 24
Preface to special issue on satisfiability modulo theories 24
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 24
Infinite-state invariant checking with IC3 and predicate abstraction 24
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 24
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 23
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 23
Broadening the Scope of SMT-COMP: the Application Track 23
A Modular Approach to MaxSAT Modulo Theories 22
Parameter Synthesis with IC3 22
Deciding floating-point logic with abstract conflict driven clause learning 22
Efficient SMT-Based Analysis of Failure Propagation 21
Safe Decomposition of Startup Requirements: Verification and Synthesis 21
Precise Analysis of pi-calculus in Cubic Time 20
SC^2: Satisfiability Checking Meets Symbolic Computation 20
Effective word-level interpolation for software verification 20
Symbolic computation and satisfiability checking 20
Satisfiability checking and symbolic computation 20
Efficient Anytime Techniques for Model-Based Safety Analysis 20
Symbolic execution with existential second-order constraints 19
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 18
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 18
Software Model Checking via IC3 17
The MathSAT 5 SMT Solver 15
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 13
Verification of SMT Systems with Quantifiers 10
Tighter Integration of BDD and SMT for Predicate Abstraction 10
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 8
Software Model Checking via Large-Block Encoding 7
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 7
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 6
LTL falsification in infinite-state systems 6
Efficient Interpolant Generation in Satisfiability Modulo Theories 5
Stochastic Local Search for SMT: A Preliminary Report 5
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 4
Modeling and Analyzing Contextual Requirements 3
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 3
Searching for i-Good Lemmas to Accelerate Safety Model Checking 1
Totale 3.763
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.141
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 446
Totale 24.587
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020470 0 0 37 47 53 31 69 39 65 71 16 42
2020/2021860 16 61 121 215 58 81 56 54 29 54 37 78
2021/2022508 19 79 10 25 26 16 16 84 16 20 96 101
2022/2023872 80 97 10 123 75 131 1 76 169 9 56 45
2023/2024572 25 31 44 21 49 190 49 35 7 40 20 61
2024/202535 21 14 0 0 0 0 0 0 0 0 0 0
Totale 3.763