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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020386 0 0 0 0 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/2025524 21 14 72 329 88 0 0 0 0 0 0 0
Totale 4.252