IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.832
EU - Europa 467
AS - Asia 159
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 3.462
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.827
IT - Italia 113
FI - Finlandia 66
UA - Ucraina 64
SE - Svezia 61
GB - Regno Unito 56
CN - Cina 46
DE - Germania 46
JO - Giordania 43
SG - Singapore 29
BG - Bulgaria 26
VN - Vietnam 23
RU - Federazione Russa 10
RO - Romania 9
IN - India 8
FR - Francia 6
HK - Hong Kong 6
AT - Austria 5
CA - Canada 5
EU - Europa 2
JP - Giappone 2
BR - Brasile 1
CO - Colombia 1
HR - Croazia 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
NL - Olanda 1
PT - Portogallo 1
TR - Turchia 1
Totale 3.462
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 47
Trento 39
San Diego 32
Beijing 27
Sofia 26
Washington 26
Dong Ket 15
London 15
Dearborn 13
Lawrence 13
Saint Petersburg 10
Falls Church 9
Hamburg 9
Norwalk 9
Timisoara 9
Cagliari 8
Rome 8
Como 7
Palermo 7
Altamura 6
Boardman 6
Munich 5
Pune 5
Vienna 5
Andover 4
Bonndorf 4
Kilburn 4
Phoenix 4
Redmond 4
San Paolo di Civitate 4
Verona 4
Bolzano 3
Chiswick 3
Hefei 3
Milan 3
Toronto 3
Acton 2
Costa Mesa 2
Fremont 2
Guangzhou 2
Hounslow 2
Kastorf 2
Mountain View 2
Nanchang 2
Nashville 2
Pordenone 2
Prescot 2
Santa Clara 2
Scuola 2
Severn 2
Sha Tin Wai 2
Southwark 2
Tianjin 2
Bad Bellingen 1
Bhubaneswar 1
Bogotá 1
Bolton 1
Changsha 1
Chicago 1
Chions 1
Colombo 1
Dallas 1
Des Moines 1
Düsseldorf 1
Fayetteville 1
Fuzhou 1
Hebei 1
Hendon 1
Izmir 1
Jiaxing 1
Lappeenranta 1
Luxembourg 1
Malo 1
Massy 1
New Bedfont 1
Ningbo 1
Nuremberg 1
Otemae 1
Pomezia 1
Portland 1
Riga 1
Scottsdale 1
Solagna 1
São Paulo 1
Taiyuan 1
Tokyo 1
Trieste 1
Totale 2.829
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 215
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 154
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 144
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 139
Satisfiability Modulo Transcendental Functions via Incremental Linearization 137
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 136
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 129
Certifying Proofs for LTL Model Checking 110
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 104
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 101
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 97
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 97
Efficient Interpolant Generation in Satisfiability Modulo Theories 96
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 96
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 91
Verilog2SMV: A tool for word-level verification 90
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 86
null 84
Efficient Interpolant Generation in Satisfiability Modulo Theories 74
Satisfiability Modulo the Theory of Costs: Foundations and Applications 72
Software Model Checking via Large-Block Encoding. 70
A lazy and layered SMT(BV) solver for hard industrial verification problems 55
Kratos - A Software Model Checker for SystemC 53
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 50
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 49
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 46
null 46
null 43
The MathSAT 4 SMT Solver 41
Lemmas for satisfiability modulo transcendental functions via incremental linearization 41
Proving the Existence of Fair Paths in Infinite-State Systems 37
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 33
HYCOMP - an SMT-based model checker for hybrid systems 32
An Effective SMT Engine for Formal Verification 29
The xSAP Safety Analysis Platform 27
Deciding Floating-Point Logic with Systematic Abstraction 27
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 26
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 26
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 26
Verifying LTL Properties of Hybrid Systems with K-Liveness 25
Infinite-state invariant checking with IC3 and predicate abstraction 24
An Effective SMT Engine for Formal Verification 23
IC3 Modulo Theories via Implicit Predicate Abstraction 23
Preface to special issue on satisfiability modulo theories 23
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 23
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 22
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 22
Parameter Synthesis with IC3 21
Safe Decomposition of Startup Requirements: Verification and Synthesis 21
Deciding floating-point logic with abstract conflict driven clause learning 21
Broadening the Scope of SMT-COMP: the Application Track 21
A Modular Approach to MaxSAT Modulo Theories 20
SC^2: Satisfiability Checking Meets Symbolic Computation 20
Efficient SMT-Based Analysis of Failure Propagation 20
Symbolic computation and satisfiability checking 20
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 20
Satisfiability checking and symbolic computation 20
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 19
Symbolic execution with existential second-order constraints 19
Effective word-level interpolation for software verification 19
Efficient Anytime Techniques for Model-Based Safety Analysis 19
Precise Analysis of pi-calculus in Cubic Time 18
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 17
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 16
Software Model Checking via IC3 16
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 13
The MathSAT 5 SMT Solver 13
Tighter Integration of BDD and SMT for Predicate Abstraction 9
Software Model Checking via Large-Block Encoding 7
Verification of SMT Systems with Quantifiers 7
LTL falsification in infinite-state systems 6
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 6
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 5
Efficient Interpolant Generation in Satisfiability Modulo Theories 5
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 4
Stochastic Local Search for SMT: A Preliminary Report 4
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 4
Modeling and Analyzing Contextual Requirements 3
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 2
Searching for i-Good Lemmas to Accelerate Safety Model Checking 1
Totale 3.630
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.901
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 377
Totale 21.278
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019190 0 0 0 0 0 0 0 0 0 36 80 74
2019/2020522 34 18 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/2024474 25 31 44 21 49 190 49 35 7 23 0 0
Totale 3.630