Griggio, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 2.825
EU - Europa 462
AS - Asia 152
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 1
Totale 3.442
Nazione #
US - Stati Uniti d'America 2.822
IT - Italia 109
FI - Finlandia 66
UA - Ucraina 64
GB - Regno Unito 61
SE - Svezia 61
CN - Cina 44
JO - Giordania 43
DE - Germania 42
SG - Singapore 29
BG - Bulgaria 26
VN - Vietnam 23
RU - Federazione Russa 10
RO - Romania 9
IN - India 8
AT - Austria 5
FR - Francia 5
CA - Canada 3
HK - Hong Kong 3
EU - Europa 2
BR - Brasile 1
CZ - Repubblica Ceca 1
HR - Croazia 1
JP - Giappone 1
NL - Olanda 1
PT - Portogallo 1
TR - Turchia 1
Totale 3.442
Città #
Chandler 449
Fairfield 366
Ashburn 307
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
Dearborn 13
Lawrence 13
London 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
Chiswick 5
Pune 5
Vienna 5
Andover 4
Bonndorf 4
Kilburn 4
Redmond 4
San Paolo di Civitate 4
Bolzano 3
Hefei 3
Hounslow 3
Milan 3
Phoenix 3
Toronto 3
Acton 2
Chicago 2
Costa Mesa 2
Fremont 2
Guangzhou 2
Kastorf 2
Mountain View 2
Nanchang 2
Nashville 2
Pordenone 2
Prescot 2
Scuola 2
Severn 2
Sha Tin Wai 2
Southwark 2
Bad Bellingen 1
Bhubaneswar 1
Bolton 1
Brno 1
Changsha 1
Chions 1
Dallas 1
Des Moines 1
Düsseldorf 1
Fuzhou 1
Hanover 1
Hebei 1
Hendon 1
Islington 1
Izmir 1
Jiaxing 1
Lappeenranta 1
Malo 1
Massy 1
New Bedfont 1
Ningbo 1
Nuremberg 1
Otemae 1
Pomezia 1
Portland 1
Scottsdale 1
Solagna 1
São Paulo 1
Taiyuan 1
Trieste 1
Udine 1
Verona 1
Wandsworth 1
Xian 1
Yerres 1
Yinchuan 1
Zagreb 1
Totale 2.820
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 155
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
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 137
Satisfiability Modulo Transcendental Functions via Incremental Linearization 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 100
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 97
Efficient Interpolant Generation in Satisfiability Modulo Theories 97
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 97
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
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 47
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 47
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 27
The xSAP Safety Analysis Platform 27
Deciding Floating-Point Logic with Systematic Abstraction 27
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 26
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 26
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 25
Verifying LTL Properties of Hybrid Systems with K-Liveness 25
Infinite-state invariant checking with IC3 and predicate abstraction 24
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
An Effective SMT Engine for Formal Verification 22
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
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
Parameter Synthesis with IC3 20
Efficient SMT-Based Analysis of Failure Propagation 20
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 20
Symbolic execution with existential second-order constraints 19
Effective word-level interpolation for software verification 19
Symbolic computation and satisfiability checking 19
Satisfiability checking and symbolic computation 19
Efficient Anytime Techniques for Model-Based Safety Analysis 19
Precise Analysis of pi-calculus in Cubic Time 18
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 17
Software Model Checking via IC3 16
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 16
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 13
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
Verification of SMT Systems with Quantifiers 7
Software Model Checking via Large-Block Encoding 6
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
Modeling and Analyzing Contextual Requirements 2
Stochastic Local Search for SMT: A Preliminary Report 2
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.609
Categoria #
all - tutte 20.082
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 360
Totale 20.442


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019192 0 0 0 0 0 0 0 0 2 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/2023877 80 97 10 123 75 131 2 76 169 10 58 46
2023/2024448 25 32 45 21 51 190 49 35 0 0 0 0
Totale 3.609