IRIS Institutional Research Information System

Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.486
EU - Europa 1.532
AS - Asia 727
Continente sconosciuto - Info sul continente non disponibili 10
SA - Sud America 10
AF - Africa 2
Totale 4.767
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.459
DE - Germania 431
IT - Italia 265
UA - Ucraina 203
HK - Hong Kong 188
SG - Singapore 176
SE - Svezia 164
CN - Cina 162
FI - Finlandia 128
IE - Irlanda 93
IN - India 82
GB - Regno Unito 65
VN - Vietnam 63
RU - Federazione Russa 62
BE - Belgio 44
FR - Francia 33
CA - Canada 22
JP - Giappone 19
EU - Europa 10
NL - Olanda 9
BR - Brasile 8
HU - Ungheria 7
DK - Danimarca 6
GR - Grecia 6
IL - Israele 6
KR - Corea 6
LB - Libano 6
MX - Messico 5
SI - Slovenia 4
GE - Georgia 3
IR - Iran 3
AR - Argentina 2
AT - Austria 2
AZ - Azerbaigian 2
LT - Lituania 2
LV - Lettonia 2
TR - Turchia 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
BY - Bielorussia 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ES - Italia 1
IQ - Iraq 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MY - Malesia 1
NP - Nepal 1
PH - Filippine 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
TN - Tunisia 1
Totale 4.767
Salva come PNG Salva come JPEG
Città #
Chandler 516
Jacksonville 402
Hong Kong 184
Ashburn 153
Boardman 151
Trento 144
Singapore 130
Wilmington 120
Dublin 93
Helsinki 82
Kronberg 78
Ann Arbor 71
Los Angeles 64
Dong Ket 60
Beijing 58
Dearborn 57
Woodbridge 46
New York 42
Brussels 37
Brooklyn 35
Shanghai 28
Nuremberg 23
Redwood City 23
Pune 22
Guangzhou 21
Milan 20
Seattle 20
Houston 18
Phoenix 18
Munich 16
Ottawa 16
Verona 12
Hanover 11
Mountain View 11
Miami 9
Falls Church 8
Tokyo 8
Redmond 7
Aachen 6
Norwalk 6
Santa Clara 6
Inglewood 5
Nanjing 5
Tappahannock 5
Trier 5
Alpharetta 4
Antwerp 4
Budapest 4
Falkenstein 4
Fremont 4
Karlsruhe 4
Palermo 4
Stanford 4
Toronto 4
Zhengzhou 4
Auburn Hills 3
Colle Isarco 3
Cologne 3
Council Bluffs 3
Duncan 3
Frankfurt am Main 3
Kagoya 3
Leawood 3
Merano 3
Portland 3
San Mateo 3
Seoul 3
Tbilisi 3
Tlalpan 3
Ansbach 2
Baku 2
Bari 2
Bologna 2
Braunschweig 2
Buenos Aires 2
Caldiero 2
Charlotte 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
Newark 2
Pozzolengo 2
Riga 2
Riva del Garda 2
Rome 2
Rourkela 2
Rovereto 2
Saint Petersburg 2
San Jose 2
Sanayi 2
Stuttgart 2
Totale 2.996
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 227
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 184
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 99
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 97
KRATOS 97
Symbolic execution with existential second-order constraints 97
Efficient Anytime Techniques for Model-Based Safety Analysis 95
The xSAP Safety Analysis Platform 91
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 90
A Modular Approach to MaxSAT Modulo Theories 89
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 84
Deciding Floating-Point Logic with Systematic Abstraction 83
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 81
Interpolant Generation for UTVPI 80
Certifying Proofs for LTL Model Checking 79
Kratos - A Software Model Checker for SystemC 78
MathSAT 76
Software Model Checking via Large-Block Encoding 74
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 73
Infinite-state invariant checking with IC3 and predicate abstraction 73
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 73
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 72
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 71
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 71
Verilog2SMV: A Tool for Word-level Verification 69
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 68
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 67
Broadening the Scope of SMT-COMP: the Application Track 66
Satisfiability Modulo Transcendental Functions via Incremental Linearization 66
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 65
Certifying proofs for SAT-based model checking 64
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 63
IC3 Modulo Theories via Implicit Predicate Abstraction 63
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 62
The nuXmv Symbolic Model Checker 62
Efficient generation of craig interpolants in satisfiability modulo theories 61
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 61
The MathSAT 4SMT Solver 60
Effective word-level interpolation for software verification 60
Satisfiability Modulo the Theory of Costs: Foundations and Applications 59
HYCOMP - an SMT-based model checker for hybrid systems 59
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 59
Preface to special issue on satisfiability modulo theories 58
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 57
Satisfiability checking and symbolic computation 55
Efficient Interpolant Generation in Satisfiability Modulo Theories 53
Parameter Synthesis with IC3 53
Tighter Integration of BDD and SMT for Predicate Abstraction 53
Safe Decomposition of Startup Requirements: Verification and Synthesis 53
Optimizing Monitoring Requirements in Self-adaptive Systems 52
Deciding floating-point logic with abstract conflict driven clause learning 52
The MathSAT5 SMT Solver 51
A comprehensive framework for the analysis of automotive systems 49
SC^2: Satisfiability Checking Meets Symbolic Computation 49
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 48
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 48
Symbolic computation and satisfiability checking 47
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT 44
Efficient SMT-Based Analysis of Failure Propagation 42
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 40
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 40
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 39
Verifying LTL Properties of Hybrid Systems with K-Liveness 38
A Formal IDE for Railways: Research Challenges 37
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 34
COMPASTA = COMPASS + TASTE 34
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 32
COMPASTA: Integrating COMPASS Functionality into TASTE 32
Software Model Checking via IC3 32
Searching for i-Good Lemmas to Accelerate Safety Model Checking 31
Analysis of Cyclic Fault Propagation via ASP 30
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 30
Software Model Checking via Large-Block Encoding 29
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 28
Proving the Existence of Fair Paths in Infinite-State Systems 27
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 26
Kratos2: an SMT-Based Model Checker for Imperative Programs 25
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 22
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 20
LTL falsification in infinite-state systems 19
Verification of SMT Systems with Quantifiers 19
EVA: a Tool for the Compositional Verification of AUTOSAR Models 17
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 16
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 16
The VMT-LIB Language and Tools 15
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 3
Invariant Checking for SMT-based Systems with Quantifiers 2
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 1
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 1
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 1
Avoiding the Shoals - A New Approach to Liveness Checking 1
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 1
Combining Symbolic Execution with Predicate Abstraction and CEGAR 1
Totale 4.971
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.531
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 31.531
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020472 0 0 0 0 0 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/2024975 55 34 97 86 64 161 34 111 66 125 4 138
2024/2025466 18 34 171 106 62 75 0 0 0 0 0 0
Totale 4.971