IRIS Institutional Research Information System

Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.285
EU - Europa 1.430
AS - Asia 421
Continente sconosciuto - Info sul continente non disponibili 10
Totale 4.146
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.263
DE - Germania 403
IT - Italia 233
UA - Ucraina 203
SE - Svezia 163
CN - Cina 129
FI - Finlandia 116
HK - Hong Kong 109
IE - Irlanda 92
IN - India 79
RU - Federazione Russa 62
VN - Vietnam 60
GB - Regno Unito 58
BE - Belgio 39
FR - Francia 30
CA - Canada 18
JP - Giappone 12
EU - Europa 10
HU - Ungheria 7
IL - Israele 6
KR - Corea 6
LB - Libano 6
NL - Olanda 6
DK - Danimarca 5
GR - Grecia 5
SG - Singapore 5
MX - Messico 4
SI - Slovenia 4
GE - Georgia 3
IR - Iran 3
AT - Austria 2
TR - Turchia 2
ES - Italia 1
PK - Pakistan 1
PT - Portogallo 1
Totale 4.146
Salva come PNG Salva come JPEG
Città #
Chandler 516
Jacksonville 402
Ashburn 148
Trento 127
Wilmington 120
Hong Kong 108
Dublin 92
Kronberg 78
Ann Arbor 71
Helsinki 70
Dong Ket 60
Beijing 57
Dearborn 57
Boardman 52
Los Angeles 47
Woodbridge 46
New York 41
Brooklyn 35
Brussels 32
Shanghai 26
Redwood City 23
Pune 22
Nuremberg 21
Seattle 20
Guangzhou 18
Houston 18
Milan 18
Phoenix 18
Ottawa 16
Hanover 11
Mountain View 11
Verona 10
Falls Church 8
Redmond 7
Aachen 6
Norwalk 6
Inglewood 5
Nanjing 5
Singapore 5
Tappahannock 5
Alpharetta 4
Antwerp 4
Budapest 4
Falkenstein 4
Fremont 4
Karlsruhe 4
Palermo 4
Stanford 4
Auburn Hills 3
Colle Isarco 3
Cologne 3
Council Bluffs 3
Duncan 3
Kagoya 3
Leawood 3
Merano 3
Portland 3
San Mateo 3
Seoul 3
Tbilisi 3
Tlalpan 3
Ansbach 2
Bari 2
Braunschweig 2
Caldiero 2
Concord 2
Des Moines 2
El Segundo 2
Fairfield 2
Gunzenhausen 2
Hefei 2
Laives 2
Ljubljana 2
L’Aquila 2
Malmédy 2
Monmouth Junction 2
Riva del Garda 2
Rome 2
Rovereto 2
Saint Petersburg 2
San Jose 2
Sanayi 2
Vienna 2
Wakefield 2
Xian 2
Zhengzhou 2
Ardabil 1
Atlanta 1
Augusta 1
Aversa 1
Bangalore 1
Barcelona 1
Beaverton 1
Bolzano 1
Bremen 1
Brescia 1
Brugherio 1
Cagliari 1
Castello Molina di Fiemme 1
Cernusco Lombardone 1
Totale 2.573
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 216
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 152
Symbolic execution with existential second-order constraints 95
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 93
Efficient Anytime Techniques for Model-Based Safety Analysis 90
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 88
KRATOS 87
The xSAP Safety Analysis Platform 82
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 82
Deciding Floating-Point Logic with Systematic Abstraction 80
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 74
Interpolant Generation for UTVPI 73
Software Model Checking via Large-Block Encoding 71
Kratos - A Software Model Checker for SystemC 71
Certifying Proofs for LTL Model Checking 71
A Modular Approach to MaxSAT Modulo Theories 68
Infinite-state invariant checking with IC3 and predicate abstraction 68
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 68
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 67
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 67
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 66
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 66
MathSAT 65
Verilog2SMV: A Tool for Word-level Verification 65
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 64
Broadening the Scope of SMT-COMP: the Application Track 61
Satisfiability Modulo Transcendental Functions via Incremental Linearization 61
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 60
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 59
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 59
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 58
Preface to special issue on satisfiability modulo theories 58
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 57
Efficient generation of craig interpolants in satisfiability modulo theories 57
Satisfiability Modulo the Theory of Costs: Foundations and Applications 57
The nuXmv Symbolic Model Checker 57
Effective word-level interpolation for software verification 56
HYCOMP - an SMT-based model checker for hybrid systems 56
The MathSAT 4SMT Solver 53
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 53
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 52
IC3 Modulo Theories via Implicit Predicate Abstraction 51
Satisfiability checking and symbolic computation 51
Efficient Interpolant Generation in Satisfiability Modulo Theories 50
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 50
Tighter Integration of BDD and SMT for Predicate Abstraction 50
Certifying proofs for SAT-based model checking 49
The MathSAT5 SMT Solver 48
Optimizing Monitoring Requirements in Self-adaptive Systems 47
Deciding floating-point logic with abstract conflict driven clause learning 47
SC^2: Satisfiability Checking Meets Symbolic Computation 46
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 45
Parameter Synthesis with IC3 45
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 44
Safe Decomposition of Startup Requirements: Verification and Synthesis 42
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT 39
Symbolic computation and satisfiability checking 38
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 36
Efficient SMT-Based Analysis of Failure Propagation 34
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 34
A comprehensive framework for the analysis of automotive systems 32
Verifying LTL Properties of Hybrid Systems with K-Liveness 30
Software Model Checking via IC3 30
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 29
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 26
Software Model Checking via Large-Block Encoding 26
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 26
Analysis of Cyclic Fault Propagation via ASP 25
A Formal IDE for Railways: Research Challenges 23
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 22
Proving the Existence of Fair Paths in Infinite-State Systems 22
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 20
Kratos2: an SMT-Based Model Checker for Imperative Programs 20
COMPASTA: Integrating COMPASS Functionality into TASTE 20
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 19
Searching for i-Good Lemmas to Accelerate Safety Model Checking 18
Verification of SMT Systems with Quantifiers 15
COMPASTA = COMPASS + TASTE 15
LTL falsification in infinite-state systems 12
EVA: a Tool for the Compositional Verification of AUTOSAR Models 12
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 12
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 12
The VMT-LIB Language and Tools 10
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 9
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 8
Totale 4.342
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.923
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 22.923
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201966 0 0 0 0 0 0 0 0 0 21 27 18
2019/2020747 73 67 28 6 101 53 93 18 88 106 75 39
2020/2021663 73 7 77 24 76 36 93 7 35 114 26 95
2021/2022488 22 10 16 67 31 12 9 98 34 23 61 105
2022/20231.062 35 99 28 165 45 151 27 93 230 84 53 52
2023/2024812 55 34 97 86 64 161 34 111 66 104 0 0
Totale 4.342