IRIS Institutional Research Information System

Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.768
EU - Europa 3.061
AS - Asia 1.932
SA - Sud America 610
AF - Africa 40
Continente sconosciuto - Info sul continente non disponibili 10
OC - Oceania 1
Totale 9.422
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.635
RU - Federazione Russa 1.018
SG - Singapore 698
BR - Brasile 528
DE - Germania 513
CN - Cina 464
IT - Italia 392
HK - Hong Kong 302
UA - Ucraina 214
SE - Svezia 184
VN - Vietnam 170
FI - Finlandia 147
GB - Regno Unito 144
IN - India 121
NL - Olanda 106
IE - Irlanda 97
FR - Francia 79
CA - Canada 73
BE - Belgio 46
MX - Messico 44
JP - Giappone 35
AR - Argentina 34
PL - Polonia 34
BD - Bangladesh 22
TR - Turchia 21
ES - Italia 18
ZA - Sudafrica 17
AT - Austria 15
EC - Ecuador 14
IL - Israele 13
IQ - Iraq 13
VE - Venezuela 11
CO - Colombia 10
EU - Europa 10
LT - Lituania 10
UZ - Uzbekistan 10
LB - Libano 8
PK - Pakistan 8
DK - Danimarca 7
HU - Ungheria 7
MA - Marocco 7
AZ - Azerbaigian 6
EG - Egitto 6
GR - Grecia 6
KR - Corea 6
EE - Estonia 5
AE - Emirati Arabi Uniti 4
NP - Nepal 4
PY - Paraguay 4
SA - Arabia Saudita 4
SI - Slovenia 4
TN - Tunisia 4
BY - Bielorussia 3
CH - Svizzera 3
CR - Costa Rica 3
GE - Georgia 3
IR - Iran 3
JO - Giordania 3
MY - Malesia 3
PA - Panama 3
PE - Perù 3
TT - Trinidad e Tobago 3
UY - Uruguay 3
BH - Bahrain 2
CI - Costa d'Avorio 2
CL - Cile 2
CZ - Repubblica Ceca 2
ID - Indonesia 2
JM - Giamaica 2
KE - Kenya 2
KZ - Kazakistan 2
LV - Lettonia 2
PT - Portogallo 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BS - Bahamas 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GY - Guiana 1
HN - Honduras 1
LK - Sri Lanka 1
OM - Oman 1
PH - Filippine 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
Totale 9.422
Salva come PNG Salva come JPEG
Città #
Chandler 516
Singapore 429
Jacksonville 403
Ashburn 316
Hong Kong 292
Moscow 244
Dallas 241
Beijing 176
Trento 166
Boardman 157
The Dalles 125
Wilmington 120
Los Angeles 113
Dublin 97
Hefei 97
Helsinki 91
New York 85
Kronberg 78
Ann Arbor 71
Dong Ket 60
Dearborn 57
Brooklyn 54
Woodbridge 46
São Paulo 43
Milan 40
Brussels 39
Munich 35
Ho Chi Minh City 34
Shanghai 34
Phoenix 31
Warsaw 30
Falkenstein 29
Houston 29
Nuremberg 29
Seattle 28
Santa Clara 26
Denver 25
Hanoi 24
Redwood City 23
Frankfurt am Main 22
Pune 22
Guangzhou 21
Montreal 21
Tokyo 21
Poplar 20
Atlanta 19
London 19
Ottawa 19
Assago 18
Des Moines 18
Stockholm 18
Manchester 16
Verona 16
Amsterdam 14
Belo Horizonte 14
Toronto 14
Chennai 13
Chicago 13
Council Bluffs 13
Orem 12
Rio de Janeiro 12
Boston 11
Columbus 11
Hanover 11
Mountain View 11
Miami 10
Querétaro 10
Turku 10
Vienna 10
San Francisco 9
Tashkent 9
Tianjin 9
Curitiba 8
Falls Church 8
Johannesburg 8
Joinville 8
San Jose 8
Goiânia 7
Hải Dương 7
Mexico City 7
Quito 7
Redmond 7
Rome 7
Aachen 6
Ankara 6
Baghdad 6
Baku 6
Brasília 6
Haiphong 6
Norwalk 6
Nova Iguaçu 6
Porto Alegre 6
Bexley 5
City of London 5
Contagem 5
Inglewood 5
Mumbai 5
Nanjing 5
Paris 5
Stuttgart 5
Totale 5.195
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 279
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 228
A Modular Approach to MaxSAT Modulo Theories 161
The xSAP Safety Analysis Platform 158
Certifying Proofs for LTL Model Checking 156
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 155
Efficient Anytime Techniques for Model-Based Safety Analysis 151
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 151
Satisfiability Modulo Transcendental Functions via Incremental Linearization 149
KRATOS 148
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 143
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 140
Verilog2SMV: A Tool for Word-level Verification 135
Symbolic execution with existential second-order constraints 133
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 129
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 129
Infinite-state invariant checking with IC3 and predicate abstraction 126
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 126
Certifying proofs for SAT-based model checking 123
Kratos - A Software Model Checker for SystemC 120
MathSAT 118
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 118
HYCOMP - an SMT-based model checker for hybrid systems 118
The nuXmv Symbolic Model Checker 117
The MathSAT 4SMT Solver 116
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 116
A comprehensive framework for the analysis of automotive systems 115
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 115
Software Model Checking via Large-Block Encoding 113
Deciding Floating-Point Logic with Systematic Abstraction 113
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 113
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 112
IC3 Modulo Theories via Implicit Predicate Abstraction 111
Broadening the Scope of SMT-COMP: the Application Track 110
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 108
Safe Decomposition of Startup Requirements: Verification and Synthesis 108
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 107
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 106
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 106
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 105
Interpolant Generation for UTVPI 104
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 104
A Formal IDE for Railways: Research Challenges 102
Parameter Synthesis with IC3 102
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 100
Efficient generation of craig interpolants in satisfiability modulo theories 100
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 100
Satisfiability Modulo the Theory of Costs: Foundations and Applications 98
COMPASTA = COMPASS + TASTE 97
Automated Parameterized Verification of a Railway Protection System with Dafny 95
Effective word-level interpolation for software verification 93
Satisfiability checking and symbolic computation 91
Efficient SMT-Based Analysis of Failure Propagation 91
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 91
Efficient Interpolant Generation in Satisfiability Modulo Theories 90
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 89
Avoiding the Shoals - A New Approach to Liveness Checking 87
Deciding floating-point logic with abstract conflict driven clause learning 87
SC^2: Satisfiability Checking Meets Symbolic Computation 87
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 85
Software Model Checking via IC3 84
The MathSAT5 SMT Solver 83
Tighter Integration of BDD and SMT for Predicate Abstraction 83
Symbolic computation and satisfiability checking 83
Optimizing Monitoring Requirements in Self-adaptive Systems 82
Preface to special issue on satisfiability modulo theories 82
COMPASTA: Integrating COMPASS Functionality into TASTE 79
Combining Symbolic Execution with Predicate Abstraction and CEGAR 79
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 78
Searching for i-Good Lemmas to Accelerate Safety Model Checking 78
Analysis of Cyclic Fault Propagation via ASP 77
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 77
Kratos2: an SMT-Based Model Checker for Imperative Programs 76
Verification of SMT Systems with Quantifiers 75
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 75
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 74
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT 74
Verifying LTL Properties of Hybrid Systems with K-Liveness 74
Proving the Existence of Fair Paths in Infinite-State Systems 73
Another Look at LTL Modulo Theory over Finite and Infinite Traces 72
Invariant Checking for SMT-based Systems with Quantifiers 68
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 67
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 65
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 61
LTL falsification in infinite-state systems 61
Software Model Checking via Large-Block Encoding 60
Towards Formal Design of FDIR Components with AI 59
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 58
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 57
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 56
EVA: a Tool for the Compositional Verification of AUTOSAR Models 55
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 54
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 53
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 51
The VMT-LIB Language and Tools 50
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 40
Totale 9.651
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.937
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 49.937
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021406 0 0 0 0 0 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.857 18 34 171 106 62 90 210 194 1.088 310 401 173
2025/20262.289 266 464 494 654 368 43 0 0 0 0 0 0
Totale 9.651