IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.230
EU - Europa 555
AS - Asia 518
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 4.310
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.222
SG - Singapore 321
IT - Italia 128
CN - Cina 70
FI - Finlandia 68
SE - Svezia 66
UA - Ucraina 64
GB - Regno Unito 57
DE - Germania 52
RU - Federazione Russa 45
JO - Giordania 43
BG - Bulgaria 26
ID - Indonesia 24
VN - Vietnam 23
HK - Hong Kong 15
FR - Francia 14
RO - Romania 9
CA - Canada 8
IN - India 8
AT - Austria 7
NL - Olanda 6
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.310
Salva come PNG Salva come JPEG
Città #
Chandler 449
Fairfield 366
Ashburn 309
Singapore 257
Santa Clara 170
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
Moscow 34
San Diego 32
Beijing 29
Sofia 26
Washington 26
Jakarta 24
Dong Ket 15
London 15
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
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
Guangzhou 3
Hefei 3
Hong Kong 3
Acton 2
Agordo 2
Alexandria 2
Costa Mesa 2
Fremont 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
Totale 3.510
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 228
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 166
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 155
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 150
Satisfiability Modulo Transcendental Functions via Incremental Linearization 149
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 148
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 137
Certifying Proofs for LTL Model Checking 125
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 115
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 112
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 111
Efficient Interpolant Generation in Satisfiability Modulo Theories 107
Verilog2SMV: A tool for word-level verification 105
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 104
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 104
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 103
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 98
null 84
Efficient Interpolant Generation in Satisfiability Modulo Theories 82
Software Model Checking via Large-Block Encoding. 81
Satisfiability Modulo the Theory of Costs: Foundations and Applications 80
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 72
Kratos - A Software Model Checker for SystemC 66
A lazy and layered SMT(BV) solver for hard industrial verification problems 66
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 65
An Effective SMT Engine for Formal Verification 61
Lemmas for satisfiability modulo transcendental functions via incremental linearization 54
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 52
The MathSAT 4 SMT Solver 47
Proving the Existence of Fair Paths in Infinite-State Systems 47
null 46
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 45
null 43
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 43
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 43
HYCOMP - an SMT-based model checker for hybrid systems 43
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 42
An Effective SMT Engine for Formal Verification 38
The xSAP Safety Analysis Platform 38
Deciding Floating-Point Logic with Systematic Abstraction 38
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 36
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 35
Preface to special issue on satisfiability modulo theories 35
IC3 Modulo Theories via Implicit Predicate Abstraction 34
Verifying LTL Properties of Hybrid Systems with K-Liveness 34
Symbolic execution with existential second-order constraints 33
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 32
Infinite-state invariant checking with IC3 and predicate abstraction 32
A Modular Approach to MaxSAT Modulo Theories 31
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 31
Broadening the Scope of SMT-COMP: the Application Track 31
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 31
Parameter Synthesis with IC3 30
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 30
Deciding floating-point logic with abstract conflict driven clause learning 30
Precise Analysis of pi-calculus in Cubic Time 29
Safe Decomposition of Startup Requirements: Verification and Synthesis 29
Efficient SMT-Based Analysis of Failure Propagation 28
SC^2: Satisfiability Checking Meets Symbolic Computation 27
Effective word-level interpolation for software verification 27
Symbolic computation and satisfiability checking 27
Efficient Anytime Techniques for Model-Based Safety Analysis 27
Satisfiability checking and symbolic computation 26
Software Model Checking via IC3 25
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 25
The MathSAT 5 SMT Solver 23
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 21
Verification of SMT Systems with Quantifiers 21
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 21
LTL falsification in infinite-state systems 17
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 16
Stochastic Local Search for SMT: A Preliminary Report 15
Tighter Integration of BDD and SMT for Predicate Abstraction 15
Software Model Checking via Large-Block Encoding 14
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 14
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 13
Efficient Interpolant Generation in Satisfiability Modulo Theories 12
Modeling and Analyzing Contextual Requirements 10
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 9
Searching for i-Good Lemmas to Accelerate Safety Model Checking 6
Invariant Checking for SMT-based Systems with Quantifiers 6
Totale 4.481
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.225
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 502
Totale 27.727
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020333 0 0 0 0 0 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/2025753 21 14 72 329 107 210 0 0 0 0 0 0
Totale 4.481