IRIS Institutional Research Information System

Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.783
EU - Europa 2.762
AS - Asia 1.162
SA - Sud America 287
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 10
Totale 7.017
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.726
RU - Federazione Russa 1.009
DE - Germania 482
SG - Singapore 378
IT - Italia 347
CN - Cina 276
BR - Brasile 271
HK - Hong Kong 266
UA - Ucraina 206
SE - Svezia 165
FI - Finlandia 141
NL - Olanda 99
IE - Irlanda 96
IN - India 90
GB - Regno Unito 79
VN - Vietnam 63
BE - Belgio 46
CA - Canada 38
FR - Francia 34
JP - Giappone 22
MX - Messico 13
TR - Turchia 11
AT - Austria 10
EU - Europa 10
IL - Israele 8
HU - Ungheria 7
LB - Libano 7
BD - Bangladesh 6
DK - Danimarca 6
GR - Grecia 6
KR - Corea 6
EE - Estonia 5
LT - Lituania 5
AR - Argentina 4
AZ - Azerbaigian 4
EC - Ecuador 4
SI - Slovenia 4
TN - Tunisia 4
VE - Venezuela 4
ZA - Sudafrica 4
ES - Italia 3
GE - Georgia 3
IQ - Iraq 3
IR - Iran 3
PK - Pakistan 3
AE - Emirati Arabi Uniti 2
BY - Bielorussia 2
CH - Svizzera 2
CZ - Repubblica Ceca 2
LV - Lettonia 2
MA - Marocco 2
NP - Nepal 2
UZ - Uzbekistan 2
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
DZ - Algeria 1
EG - Egitto 1
ET - Etiopia 1
HN - Honduras 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MY - Malesia 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
PL - Polonia 1
PS - Palestinian Territory 1
PT - Portogallo 1
RS - Serbia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 7.017
Salva come PNG Salva come JPEG
Città #
Chandler 516
Jacksonville 403
Hong Kong 260
Moscow 241
Singapore 217
Ashburn 160
Trento 158
Boardman 151
The Dalles 122
Wilmington 120
Hefei 97
Dublin 96
Helsinki 91
Kronberg 78
Ann Arbor 71
Los Angeles 66
Dong Ket 60
Beijing 59
Dearborn 57
New York 48
Woodbridge 46
Brussels 39
Brooklyn 38
Shanghai 33
Milan 32
Falkenstein 29
Nuremberg 27
Redwood City 23
Pune 22
Guangzhou 21
Seattle 21
Munich 20
Houston 19
Ottawa 19
Phoenix 19
São Paulo 17
Verona 14
Santa Clara 13
Belo Horizonte 11
Hanover 11
Mountain View 11
Toronto 11
Amsterdam 10
Assago 10
Council Bluffs 10
Frankfurt am Main 9
Miami 9
Falls Church 8
London 8
Tokyo 8
Redmond 7
Vienna 7
Aachen 6
Norwalk 6
Inglewood 5
Nanjing 5
Rome 5
San Francisco 5
Tappahannock 5
Trier 5
Alpharetta 4
Antwerp 4
Baku 4
Budapest 4
Curitiba 4
Dongguan 4
Fremont 4
Itajaí 4
Karlsruhe 4
Laives 4
Nova Iguaçu 4
Palermo 4
Rio de Janeiro 4
Stanford 4
Stuttgart 4
São José 4
Turku 4
Zhengzhou 4
Ankara 3
Auburn Hills 3
Brasília 3
Brescia 3
Chennai 3
Chicago 3
Colle Isarco 3
Cologne 3
Douglasville 3
Duncan 3
Hangzhou 3
Istanbul 3
Joinville 3
Kagoya 3
Leawood 3
Manchester 3
Merano 3
Petrópolis 3
Portland 3
San Mateo 3
Seoul 3
Sousse 3
Totale 3.833
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 248
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 205
The xSAP Safety Analysis Platform 127
Efficient Anytime Techniques for Model-Based Safety Analysis 125
KRATOS 122
Symbolic execution with existential second-order constraints 122
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 119
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 119
Certifying Proofs for LTL Model Checking 116
A Modular Approach to MaxSAT Modulo Theories 113
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 110
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 110
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 108
Kratos - A Software Model Checker for SystemC 101
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 101
Software Model Checking via Large-Block Encoding 98
Deciding Floating-Point Logic with Systematic Abstraction 98
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 97
MathSAT 96
Infinite-state invariant checking with IC3 and predicate abstraction 96
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 96
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 95
Interpolant Generation for UTVPI 94
Verilog2SMV: A Tool for Word-level Verification 92
Satisfiability Modulo Transcendental Functions via Incremental Linearization 91
Certifying proofs for SAT-based model checking 91
Broadening the Scope of SMT-COMP: the Application Track 90
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 89
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 88
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 88
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 87
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 87
IC3 Modulo Theories via Implicit Predicate Abstraction 87
Efficient generation of craig interpolants in satisfiability modulo theories 86
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 86
HYCOMP - an SMT-based model checker for hybrid systems 85
The nuXmv Symbolic Model Checker 85
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 83
A comprehensive framework for the analysis of automotive systems 82
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 82
Effective word-level interpolation for software verification 81
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 81
The MathSAT 4SMT Solver 80
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 80
Safe Decomposition of Startup Requirements: Verification and Synthesis 80
Satisfiability Modulo the Theory of Costs: Foundations and Applications 79
Satisfiability checking and symbolic computation 77
Parameter Synthesis with IC3 76
Deciding floating-point logic with abstract conflict driven clause learning 74
The MathSAT5 SMT Solver 74
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 73
Preface to special issue on satisfiability modulo theories 73
Efficient Interpolant Generation in Satisfiability Modulo Theories 72
SC^2: Satisfiability Checking Meets Symbolic Computation 72
Optimizing Monitoring Requirements in Self-adaptive Systems 70
Symbolic computation and satisfiability checking 69
COMPASTA = COMPASS + TASTE 68
Tighter Integration of BDD and SMT for Predicate Abstraction 66
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 65
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT 63
Efficient SMT-Based Analysis of Failure Propagation 61
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 60
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 57
A Formal IDE for Railways: Research Challenges 57
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 57
Verifying LTL Properties of Hybrid Systems with K-Liveness 56
Searching for i-Good Lemmas to Accelerate Safety Model Checking 55
Avoiding the Shoals - A New Approach to Liveness Checking 53
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 52
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 52
COMPASTA: Integrating COMPASS Functionality into TASTE 51
Proving the Existence of Fair Paths in Infinite-State Systems 51
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 50
Analysis of Cyclic Fault Propagation via ASP 49
Kratos2: an SMT-Based Model Checker for Imperative Programs 48
Software Model Checking via Large-Block Encoding 48
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 46
Software Model Checking via IC3 45
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 44
Another Look at LTL Modulo Theory over Finite and Infinite Traces 43
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 42
Invariant Checking for SMT-based Systems with Quantifiers 40
Combining Symbolic Execution with Predicate Abstraction and CEGAR 40
LTL falsification in infinite-state systems 39
Towards Formal Design of FDIR Components with AI 39
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 39
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 38
Verification of SMT Systems with Quantifiers 38
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 36
The VMT-LIB Language and Tools 35
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 35
EVA: a Tool for the Compositional Verification of AUTOSAR Models 34
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 33
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 28
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 24
Totale 7.243
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.361
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 41.361
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202039 0 0 0 0 0 0 0 0 0 0 0 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/20252.738 18 34 171 106 62 90 210 194 1.088 310 401 54
Totale 7.243