IRIS Institutional Research Information System

Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.781
EU - Europa 6.234
AS - Asia 3.041
SA - Sud America 738
Continente sconosciuto - Info sul continente non disponibili 260
AF - Africa 82
OC - Oceania 3
Totale 17.139
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.502
RU - Federazione Russa 3.711
SG - Singapore 979
CN - Cina 615
BR - Brasile 605
VN - Vietnam 593
DE - Germania 587
IT - Italia 506
HK - Hong Kong 371
SE - Svezia 278
UA - Ucraina 222
FR - Francia 185
GB - Regno Unito 173
FI - Finlandia 149
IN - India 148
CA - Canada 134
NL - Olanda 114
IE - Irlanda 107
MX - Messico 63
AR - Argentina 50
BD - Bangladesh 45
BE - Belgio 45
PL - Polonia 44
JP - Giappone 43
TR - Turchia 36
IQ - Iraq 30
ES - Italia 26
ZA - Sudafrica 25
CO - Colombia 20
EC - Ecuador 19
IL - Israele 17
PK - Pakistan 16
AT - Austria 15
VE - Venezuela 15
CR - Costa Rica 13
ID - Indonesia 13
LT - Lituania 12
NP - Nepal 12
UZ - Uzbekistan 12
DK - Danimarca 11
LB - Libano 11
TN - Tunisia 11
EU - Europa 10
HU - Ungheria 10
MY - Malesia 10
PH - Filippine 10
SA - Arabia Saudita 10
TT - Trinidad e Tobago 10
GT - Guatemala 9
MA - Marocco 9
NI - Nicaragua 9
SC - Seychelles 9
AZ - Azerbaigian 8
CL - Cile 8
EG - Egitto 8
JO - Giordania 8
SV - El Salvador 8
TH - Thailandia 8
AE - Emirati Arabi Uniti 7
EE - Estonia 7
GR - Grecia 7
HN - Honduras 7
KR - Corea 7
PR - Porto Rico 7
PY - Paraguay 7
DZ - Algeria 6
JM - Giamaica 6
KZ - Kazakistan 5
OM - Oman 5
PE - Perù 5
CH - Svizzera 4
GP - Guadalupe 4
KE - Kenya 4
PA - Panama 4
SI - Slovenia 4
SY - Repubblica araba siriana 4
UY - Uruguay 4
AU - Australia 3
BH - Bahrain 3
BY - Bielorussia 3
CW - ???statistics.table.value.countryCode.CW??? 3
GE - Georgia 3
IR - Iran 3
LK - Sri Lanka 3
PT - Portogallo 3
TW - Taiwan 3
BA - Bosnia-Erzegovina 2
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
RO - Romania 2
AL - Albania 1
AM - Armenia 1
BB - Barbados 1
BF - Burkina Faso 1
Totale 16.882
Salva come PNG Salva come JPEG
Città #
San Jose 754
Council Bluffs 676
Chandler 516
Singapore 490
Ashburn 430
Jacksonville 405
Hong Kong 339
Dallas 257
Moscow 241
Beijing 203
Los Angeles 186
Trento 176
Ho Chi Minh City 170
The Dalles 166
Boardman 155
Hanoi 147
New York 143
Wilmington 123
Dublin 102
Buffalo 98
Hefei 96
Helsinki 93
Lauterbourg 81
Kronberg 77
Ann Arbor 71
Santa Clara 69
Phoenix 68
Brooklyn 65
Dong Ket 60
Dearborn 57
São Paulo 51
Milan 50
Woodbridge 47
Denver 44
Houston 38
Brussels 37
Nuremberg 37
Shanghai 36
Montreal 35
Munich 35
Seattle 34
Chicago 32
Warsaw 32
Atlanta 29
Falkenstein 29
Frankfurt am Main 29
Toronto 29
Tokyo 27
Guangzhou 26
Da Nang 25
London 25
Princeton 25
Poplar 23
Pune 23
Redwood City 23
Haiphong 22
Manchester 21
Amsterdam 20
Des Moines 20
Ottawa 20
Stockholm 20
Garland 19
Assago 18
Orem 18
Naples 16
Verona 16
Columbus 15
Lawrenceville 15
Pergine Valsugana 15
Queens 15
Rio de Janeiro 15
Belo Horizonte 14
Hải Dương 14
Mexico City 14
Miami 14
Tianjin 14
Chennai 13
Rome 13
Baghdad 12
Hanover 12
Johannesburg 12
Boston 11
Mountain View 11
Querétaro 11
San Francisco 11
Tampa 11
Tashkent 11
Ankara 10
Norwalk 10
Turku 10
Vienna 10
Brasília 9
Managua 9
Can Tho 8
Curitiba 8
Falls Church 8
New Delhi 8
San Diego 8
Thái Nguyên 8
Abbeville 7
Totale 7.931
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 369
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 317
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 250
A Modular Approach to MaxSAT Modulo Theories 246
Certifying Proofs for LTL Model Checking 245
The xSAP Safety Analysis Platform 244
Efficient Anytime Techniques for Model-Based Safety Analysis 240
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 238
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 234
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 234
Certifying proofs for SAT-based model checking 233
Satisfiability Modulo Transcendental Functions via Incremental Linearization 226
KRATOS 219
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 217
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 208
A comprehensive framework for the analysis of automotive systems 207
Parameter Synthesis with IC3 206
A Formal IDE for Railways: Research Challenges 205
Verilog2SMV: A Tool for Word-level Verification 205
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 203
HYCOMP - an SMT-based model checker for hybrid systems 201
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 201
Infinite-state invariant checking with IC3 and predicate abstraction 200
Symbolic execution with existential second-order constraints 200
Automated Parameterized Verification of a Railway Protection System with Dafny 197
COMPASTA = COMPASS + TASTE 196
MathSAT 193
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 193
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 192
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 192
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 192
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 191
IC3 Modulo Theories via Implicit Predicate Abstraction 191
Kratos - A Software Model Checker for SystemC 189
Broadening the Scope of SMT-COMP: the Application Track 187
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 187
The nuXmv Symbolic Model Checker 187
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 186
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 186
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 186
The MathSAT 4SMT Solver 185
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 180
Safe Decomposition of Startup Requirements: Verification and Synthesis 180
Deciding Floating-Point Logic with Systematic Abstraction 178
Software Model Checking via Large-Block Encoding 176
COMPASTA: Integrating COMPASS Functionality into TASTE 173
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 172
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 171
Another Look at LTL Modulo Theory over Finite and Infinite Traces 171
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 171
Efficient SMT-Based Analysis of Failure Propagation 171
Efficient generation of craig interpolants in satisfiability modulo theories 169
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 169
Avoiding the Shoals - A New Approach to Liveness Checking 168
Interpolant Generation for UTVPI 167
Analysis of Cyclic Fault Propagation via ASP 166
Satisfiability Modulo the Theory of Costs: Foundations and Applications 163
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 162
Kratos2: an SMT-Based Model Checker for Imperative Programs 161
Verification of SMT Systems with Quantifiers 161
Satisfiability checking and symbolic computation 161
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 158
Combining Symbolic Execution with Predicate Abstraction and CEGAR 157
Preface to special issue on satisfiability modulo theories 156
Efficient Interpolant Generation in Satisfiability Modulo Theories 155
LTL falsification in infinite-state systems 149
Effective word-level interpolation for software verification 149
Invariant Checking for SMT-based Systems with Quantifiers 147
Proving the Existence of Fair Paths in Infinite-State Systems 147
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 146
Deciding floating-point logic with abstract conflict driven clause learning 146
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 145
Towards Formal Design of FDIR Components with AI 145
Tighter Integration of BDD and SMT for Predicate Abstraction 145
SC^2: Satisfiability Checking Meets Symbolic Computation 144
Symbolic computation and satisfiability checking 142
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 140
The MathSAT5 SMT Solver 139
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 137
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 134
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 134
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 133
Verifying LTL Properties of Hybrid Systems with K-Liveness 132
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 132
Optimizing Monitoring Requirements in Self-adaptive Systems 131
Software Model Checking via IC3 131
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT 129
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 127
Software Model Checking via Large-Block Encoding 127
EVA: a Tool for the Compositional Verification of AUTOSAR Models 125
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 118
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 113
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 109
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 108
The VMT-LIB Language and Tools 105
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 57
Formal Analysis of a Railway Signaling Block Designed in AIDA 56
Verification Modulo Theories 42
Certifying rlive: A New Proof Strategy for Liveness Model Checking 39
Towards a Unifying View of Fault Propagation Analyses and Notations 38
Totale 17.035
Salva come PNG Salva come JPEG
Categoria #
all - tutte 68.313
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 68.313
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022440 0 0 0 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/20271.835 301 275 629 630 0 0 0 0 0 0 0 0
Totale 17.139