IRIS Institutional Research Information System

Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.402
EU - Europa 1.455
AS - Asia 467
Continente sconosciuto - Info sul continente non disponibili 10
Totale 4.334
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.380
DE - Germania 416
IT - Italia 234
UA - Ucraina 203
SE - Svezia 163
CN - Cina 131
FI - Finlandia 124
HK - Hong Kong 107
IE - Irlanda 91
IN - India 81
RU - Federazione Russa 62
GB - Regno Unito 60
VN - Vietnam 60
SG - Singapore 42
BE - Belgio 37
FR - Francia 33
JP - Giappone 19
CA - Canada 18
EU - Europa 10
HU - Ungheria 7
IL - Israele 6
KR - Corea 6
LB - Libano 6
NL - Olanda 6
DK - Danimarca 5
GR - Grecia 5
MX - Messico 4
SI - Slovenia 4
GE - Georgia 3
IR - Iran 3
AT - Austria 2
TR - Turchia 2
CZ - Repubblica Ceca 1
ES - Italia 1
PK - Pakistan 1
PT - Portogallo 1
Totale 4.334
Salva come PNG Salva come JPEG
Città #
Chandler 516
Jacksonville 402
Ashburn 148
Boardman 145
Trento 128
Wilmington 120
Hong Kong 106
Dublin 91
Helsinki 78
Kronberg 77
Ann Arbor 71
Dong Ket 60
Los Angeles 60
Beijing 57
Dearborn 57
Woodbridge 46
New York 41
Brooklyn 35
Brussels 30
Shanghai 26
Singapore 25
Nuremberg 23
Redwood City 23
Pune 22
Seattle 20
Guangzhou 19
Houston 18
Milan 18
Phoenix 18
Ottawa 16
Hanover 11
Mountain View 11
Munich 11
Verona 10
Miami 9
Falls Church 8
Tokyo 8
Redmond 7
Aachen 6
Norwalk 6
Santa Clara 6
Inglewood 5
Nanjing 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
Tappahannock 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
Hove 2
Laives 2
Ljubljana 2
L’Aquila 2
Malmédy 2
Monmouth Junction 2
Pozzolengo 2
Riva del Garda 2
Rome 2
Rourkela 2
Rovereto 2
Saint Petersburg 2
San Jose 2
Sanayi 2
Stuttgart 2
Vienna 2
Wakefield 2
Xian 2
Zhengzhou 2
Ardabil 1
Atlanta 1
Augusta 1
Aversa 1
Bangalore 1
Barcelona 1
Totale 2.737
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 221
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 154
Symbolic execution with existential second-order constraints 96
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 94
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 92
Efficient Anytime Techniques for Model-Based Safety Analysis 91
KRATOS 88
The xSAP Safety Analysis Platform 86
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 86
Deciding Floating-Point Logic with Systematic Abstraction 80
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 77
Certifying Proofs for LTL Model Checking 75
Software Model Checking via Large-Block Encoding 74
Interpolant Generation for UTVPI 73
Kratos - A Software Model Checker for SystemC 73
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 73
A Modular Approach to MaxSAT Modulo Theories 71
Infinite-state invariant checking with IC3 and predicate abstraction 70
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 68
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 68
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 68
MathSAT 67
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 67
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 67
Verilog2SMV: A Tool for Word-level Verification 66
Broadening the Scope of SMT-COMP: the Application Track 64
Satisfiability Modulo Transcendental Functions via Incremental Linearization 63
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 62
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 61
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 61
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 61
The nuXmv Symbolic Model Checker 60
Efficient generation of craig interpolants in satisfiability modulo theories 59
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 59
HYCOMP - an SMT-based model checker for hybrid systems 58
Preface to special issue on satisfiability modulo theories 58
IC3 Modulo Theories via Implicit Predicate Abstraction 57
Satisfiability Modulo the Theory of Costs: Foundations and Applications 57
Certifying proofs for SAT-based model checking 57
Effective word-level interpolation for software verification 56
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 56
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 55
The MathSAT 4SMT Solver 54
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 52
Efficient Interpolant Generation in Satisfiability Modulo Theories 51
Satisfiability checking and symbolic computation 51
Tighter Integration of BDD and SMT for Predicate Abstraction 50
Optimizing Monitoring Requirements in Self-adaptive Systems 48
The MathSAT5 SMT Solver 48
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 47
Parameter Synthesis with IC3 47
Deciding floating-point logic with abstract conflict driven clause learning 47
SC^2: Satisfiability Checking Meets Symbolic Computation 47
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 45
Safe Decomposition of Startup Requirements: Verification and Synthesis 45
Symbolic computation and satisfiability checking 43
A comprehensive framework for the analysis of automotive systems 42
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT 40
Efficient SMT-Based Analysis of Failure Propagation 39
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 37
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 36
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 33
Verifying LTL Properties of Hybrid Systems with K-Liveness 33
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 31
Software Model Checking via IC3 30
A Formal IDE for Railways: Research Challenges 29
Analysis of Cyclic Fault Propagation via ASP 27
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 27
Software Model Checking via Large-Block Encoding 27
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 25
COMPASTA: Integrating COMPASS Functionality into TASTE 24
Proving the Existence of Fair Paths in Infinite-State Systems 24
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 23
Kratos2: an SMT-Based Model Checker for Imperative Programs 23
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 20
COMPASTA = COMPASS + TASTE 19
LTL falsification in infinite-state systems 16
Verification of SMT Systems with Quantifiers 16
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 15
EVA: a Tool for the Compositional Verification of AUTOSAR Models 15
The VMT-LIB Language and Tools 13
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 13
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 13
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 13
Totale 4.527
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.248
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 27.248
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020674 0 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.059 35 99 28 165 45 151 27 93 230 84 53 49
2023/2024957 52 30 94 85 64 161 34 110 66 122 4 135
2024/202543 16 27 0 0 0 0 0 0 0 0 0 0
Totale 4.527