IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021235 0 0 0 0 0 0 0 0 0 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/20267.498 266 464 494 654 368 312 1.126 2.889 500 425 0 0
Totale 14.860