IRIS Institutional Research Information System

Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.143
NA - Nord America 5.591
AS - Asia 3.006
SA - Sud America 729
Continente sconosciuto - Info sul continente non disponibili 253
AF - Africa 73
OC - Oceania 3
Totale 15.798
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.402
RU - Federazione Russa 3.710
SG - Singapore 974
CN - Cina 610
BR - Brasile 600
VN - Vietnam 593
DE - Germania 582
IT - Italia 468
HK - Hong Kong 365
SE - Svezia 262
UA - Ucraina 220
FR - Francia 181
GB - Regno Unito 160
FI - Finlandia 149
IN - India 148
NL - Olanda 114
IE - Irlanda 103
CA - Canada 97
MX - Messico 62
AR - Argentina 50
BE - Belgio 45
BD - Bangladesh 43
PL - Polonia 43
JP - Giappone 41
TR - Turchia 32
IQ - Iraq 30
ES - Italia 25
ZA - Sudafrica 25
EC - Ecuador 19
CO - Colombia 16
AT - Austria 15
IL - Israele 15
VE - Venezuela 15
PK - Pakistan 14
LT - Lituania 12
UZ - Uzbekistan 12
ID - Indonesia 11
LB - Libano 11
NP - Nepal 11
TN - Tunisia 11
EU - Europa 10
HU - Ungheria 10
MY - Malesia 10
PH - Filippine 10
DK - Danimarca 9
MA - Marocco 9
SA - Arabia Saudita 9
AZ - Azerbaigian 8
CL - Cile 8
EG - Egitto 8
JO - Giordania 8
CR - Costa Rica 7
GR - Grecia 7
KR - Corea 7
PY - Paraguay 7
TH - Thailandia 7
AE - Emirati Arabi Uniti 6
DZ - Algeria 6
EE - Estonia 5
JM - Giamaica 5
OM - Oman 5
PE - Perù 5
TT - Trinidad e Tobago 5
CH - Svizzera 4
KE - Kenya 4
KZ - Kazakistan 4
PA - Panama 4
SI - Slovenia 4
SY - Repubblica araba siriana 4
UY - Uruguay 4
AU - Australia 3
BH - Bahrain 3
BY - Bielorussia 3
GE - Georgia 3
IR - Iran 3
LK - Sri Lanka 3
PT - Portogallo 3
TW - Taiwan 3
BO - Bolivia 2
CI - Costa d'Avorio 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
GY - Guiana 2
LV - Lettonia 2
MU - Mauritius 2
NG - Nigeria 2
NI - Nicaragua 2
AL - Albania 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BF - Burkina Faso 1
BG - Bulgaria 1
BS - Bahamas 1
ET - Etiopia 1
HN - Honduras 1
KW - Kuwait 1
LC - Santa Lucia 1
MK - Macedonia 1
PS - Palestinian Territory 1
Totale 15.550
Salva come PNG Salva come JPEG
Città #
Council Bluffs 674
San Jose 651
Chandler 516
Singapore 485
Ashburn 405
Jacksonville 404
Hong Kong 336
Dallas 245
Moscow 241
Beijing 199
Trento 172
Los Angeles 171
Ho Chi Minh City 170
The Dalles 166
Boardman 155
Hanoi 147
Wilmington 120
Dublin 102
New York 97
Hefei 96
Helsinki 93
Lauterbourg 81
Kronberg 77
Ann Arbor 71
Dong Ket 60
Dearborn 57
Brooklyn 56
São Paulo 51
Phoenix 50
Woodbridge 46
Milan 43
Santa Clara 40
Brussels 37
Nuremberg 37
Shanghai 36
Denver 34
Munich 33
Houston 32
Warsaw 32
Falkenstein 29
Montreal 29
Seattle 29
Frankfurt am Main 28
Guangzhou 26
Atlanta 25
Da Nang 25
Tokyo 25
Poplar 23
Pune 23
Redwood City 23
Haiphong 22
London 22
Amsterdam 20
Ottawa 20
Stockholm 20
Des Moines 19
Manchester 19
Assago 18
Chicago 18
Orem 18
Toronto 17
Verona 16
Pergine Valsugana 15
Rio de Janeiro 15
Belo Horizonte 14
Hải Dương 14
Mexico City 14
Tianjin 14
Buffalo 13
Chennai 13
Naples 13
Baghdad 12
Johannesburg 12
Miami 12
Boston 11
Columbus 11
Hanover 11
Mountain View 11
Querétaro 11
Tashkent 11
Ankara 10
Rome 10
Turku 10
Vienna 10
San Francisco 9
Brasília 8
Can Tho 8
Curitiba 8
Falls Church 8
New Delhi 8
Thái Nguyên 8
Amman 7
Budapest 7
Goiânia 7
Joinville 7
Mumbai 7
Norwalk 7
Quito 7
Redmond 7
Aachen 6
Totale 7.418
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 352
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 305
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 238
A Modular Approach to MaxSAT Modulo Theories 234
The xSAP Safety Analysis Platform 229
Efficient Anytime Techniques for Model-Based Safety Analysis 227
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 224
Certifying Proofs for LTL Model Checking 223
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 219
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 219
Satisfiability Modulo Transcendental Functions via Incremental Linearization 214
Certifying proofs for SAT-based model checking 213
KRATOS 209
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 207
A Formal IDE for Railways: Research Challenges 195
Verilog2SMV: A Tool for Word-level Verification 195
A comprehensive framework for the analysis of automotive systems 193
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 191
HYCOMP - an SMT-based model checker for hybrid systems 191
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 191
Infinite-state invariant checking with IC3 and predicate abstraction 189
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 187
Symbolic execution with existential second-order constraints 185
MathSAT 182
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 182
COMPASTA = COMPASS + TASTE 180
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 179
Automated Parameterized Verification of a Railway Protection System with Dafny 179
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 179
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 179
IC3 Modulo Theories via Implicit Predicate Abstraction 179
Kratos - A Software Model Checker for SystemC 178
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 178
The nuXmv Symbolic Model Checker 178
Parameter Synthesis with IC3 176
Broadening the Scope of SMT-COMP: the Application Track 175
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 175
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 175
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 174
The MathSAT 4SMT Solver 173
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 172
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 170
Safe Decomposition of Startup Requirements: Verification and Synthesis 170
Software Model Checking via Large-Block Encoding 165
Deciding Floating-Point Logic with Systematic Abstraction 165
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 161
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 161
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 159
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 159
Efficient SMT-Based Analysis of Failure Propagation 159
Efficient generation of craig interpolants in satisfiability modulo theories 157
Another Look at LTL Modulo Theory over Finite and Infinite Traces 156
Avoiding the Shoals - A New Approach to Liveness Checking 155
Interpolant Generation for UTVPI 155
COMPASTA: Integrating COMPASS Functionality into TASTE 152
Satisfiability checking and symbolic computation 151
Analysis of Cyclic Fault Propagation via ASP 150
Verification of SMT Systems with Quantifiers 148
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 148
Satisfiability Modulo the Theory of Costs: Foundations and Applications 147
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 146
Preface to special issue on satisfiability modulo theories 145
Combining Symbolic Execution with Predicate Abstraction and CEGAR 144
Efficient Interpolant Generation in Satisfiability Modulo Theories 142
Kratos2: an SMT-Based Model Checker for Imperative Programs 141
Effective word-level interpolation for software verification 138
LTL falsification in infinite-state systems 137
SC^2: Satisfiability Checking Meets Symbolic Computation 135
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 134
Invariant Checking for SMT-based Systems with Quantifiers 134
Tighter Integration of BDD and SMT for Predicate Abstraction 133
Symbolic computation and satisfiability checking 133
Proving the Existence of Fair Paths in Infinite-State Systems 133
Deciding floating-point logic with abstract conflict driven clause learning 132
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 131
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 130
The MathSAT5 SMT Solver 128
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 124
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 123
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 123
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 122
Software Model Checking via IC3 121
Optimizing Monitoring Requirements in Self-adaptive Systems 120
Verifying LTL Properties of Hybrid Systems with K-Liveness 120
Towards Formal Design of FDIR Components with AI 119
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT 118
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 118
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 117
Software Model Checking via Large-Block Encoding 116
EVA: a Tool for the Compositional Verification of AUTOSAR Models 113
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 107
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 104
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 98
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 97
The VMT-LIB Language and Tools 95
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 45
Formal Analysis of a Railway Signaling Block Designed in AIDA 37
Certifying rlive: A New Proof Strategy for Liveness Model Checking 30
Verification Modulo Theories 30
Towards a Unifying View of Fault Propagation Analyses and Notations 27
Totale 15.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.163
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 63.163
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022466 0 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/20252.823 16 33 170 102 61 88 209 193 1.074 308 396 173
2025/20267.997 263 461 490 644 365 310 1.121 2.858 495 457 417 116
2026/2027494 301 193 0 0 0 0 0 0 0 0 0 0
Totale 15.798