IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.755
AS - Asia 2.203
EU - Europa 1.216
SA - Sud America 308
AF - Africa 49
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.536
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.684
SG - Singapore 1.042
CN - Cina 410
VN - Vietnam 289
BR - Brasile 257
RU - Federazione Russa 242
IT - Italia 198
DE - Germania 113
KR - Corea 112
FR - Francia 105
GB - Regno Unito 103
FI - Finlandia 97
LV - Lettonia 76
SE - Svezia 75
UA - Ucraina 73
IN - India 59
HK - Hong Kong 55
JO - Giordania 51
CA - Canada 41
ID - Indonesia 33
BD - Bangladesh 32
BG - Bulgaria 27
IQ - Iraq 23
JP - Giappone 20
NL - Olanda 20
TR - Turchia 19
ZA - Sudafrica 18
MX - Messico 16
ES - Italia 14
AR - Argentina 12
CL - Cile 12
PL - Polonia 11
RO - Romania 11
AT - Austria 10
PK - Pakistan 9
BE - Belgio 8
CO - Colombia 8
LT - Lituania 8
KZ - Kazakistan 7
MA - Marocco 7
EC - Ecuador 6
PH - Filippine 6
VE - Venezuela 6
AL - Albania 5
EG - Egitto 5
KE - Kenya 5
TN - Tunisia 5
UZ - Uzbekistan 5
CR - Costa Rica 4
CZ - Repubblica Ceca 4
IL - Israele 4
LB - Libano 4
PY - Paraguay 4
AU - Australia 3
AZ - Azerbaigian 3
DZ - Algeria 3
HN - Honduras 3
IE - Irlanda 3
MY - Malesia 3
SA - Arabia Saudita 3
TT - Trinidad e Tobago 3
DO - Repubblica Dominicana 2
EU - Europa 2
HR - Croazia 2
MK - Macedonia 2
NO - Norvegia 2
OM - Oman 2
PE - Perù 2
SY - Repubblica araba siriana 2
TW - Taiwan 2
BH - Bahrain 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DK - Danimarca 1
EE - Estonia 1
GA - Gabon 1
GE - Georgia 1
IM - Isola di Man 1
KG - Kirghizistan 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LY - Libia 1
ML - Mali 1
MM - Myanmar 1
NG - Nigeria 1
NP - Nepal 1
PA - Panama 1
PT - Portogallo 1
QA - Qatar 1
TH - Thailandia 1
Totale 8.536
Salva come PNG Salva come JPEG
Città #
Singapore 689
Ashburn 582
Chandler 458
Fairfield 377
San Jose 285
Santa Clara 188
Dallas 183
Seattle 177
Woodbridge 174
Houston 165
Cambridge 155
Jacksonville 142
Columbus 137
Wilmington 126
New York 112
Princeton 112
Seoul 111
Moscow 102
Ann Arbor 95
Beijing 88
Riga 76
Hanoi 69
Helsinki 69
Los Angeles 69
Ho Chi Minh City 67
San Mateo 65
Lauterbourg 64
Trento 46
The Dalles 39
Council Bluffs 38
Hong Kong 38
San Diego 34
London 29
Washington 28
Buffalo 27
Sofia 27
Chicago 25
Jakarta 24
São Paulo 24
Munich 23
Hefei 21
Orem 21
Redondo Beach 21
Phoenix 20
Rome 18
Tokyo 17
Da Nang 16
Frankfurt am Main 16
Chennai 15
Dong Ket 15
Boardman 14
Brooklyn 14
Lawrence 14
Dearborn 13
Haiphong 13
Denver 12
Stockholm 12
Des Moines 11
Montreal 11
Salt Lake City 11
Verona 11
Cagliari 10
Guangzhou 10
Hamburg 10
Norwalk 10
Saint Petersburg 10
Warsaw 10
Belo Horizonte 9
Falkenstein 9
Falls Church 9
Milan 9
Shanghai 9
Timisoara 9
Toronto 9
Dhaka 8
Tampa 8
Amman 7
Amsterdam 7
Atlanta 7
Brasília 7
Bến Tre 7
Como 7
Elk Grove Village 7
Johannesburg 7
Manchester 7
Palermo 7
Paris 7
Vienna 7
Altamura 6
Boston 6
Ha Kwai Chung 6
Lahore 6
Ottawa 6
Rio de Janeiro 6
Santiago 6
Schaarbeek 6
Ankara 5
Biên Hòa 5
Changsha 5
Guayaquil 5
Totale 5.946
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 292
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 246
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 240
Certifying Proofs for LTL Model Checking 235
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 219
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 209
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 201
The nuXmv Symbolic Model Checker 187
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 179
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 176
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 176
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 170
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 162
Verilog2SMV: A tool for word-level verification 159
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 156
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 152
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 150
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 149
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 147
A lazy and layered SMT(BV) solver for hard industrial verification problems 140
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 128
An Effective SMT Engine for Formal Verification 125
Lemmas for satisfiability modulo transcendental functions via incremental linearization 124
The xSAP Safety Analysis Platform 120
Software model checking via large-block encoding 117
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 113
HYCOMP - an SMT-based model checker for hybrid systems 113
Efficient Interpolant Generation in Satisfiability Modulo Theories 112
Kratos - A Software Model Checker for SystemC 109
A Modular Approach to MaxSAT Modulo Theories 107
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 105
Satisfiability Modulo the Theory of Costs: Foundations and Applications 103
An Effective SMT Engine for Formal Verification 98
Proving the Existence of Fair Paths in Infinite-State Systems 98
IC3 Modulo Theories via Implicit Predicate Abstraction 97
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 95
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 86
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 86
The MathSAT 4 SMT Solver 85
null 84
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 83
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 82
Deciding Floating-Point Logic with Systematic Abstraction 82
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 80
Infinite-state invariant checking with IC3 and predicate abstraction 80
Efficient Anytime Techniques for Model-Based Safety Analysis 78
Broadening the Scope of SMT-COMP: the Application Track 78
Symbolic execution with existential second-order constraints 75
Verifying LTL Properties of Hybrid Systems with K-Liveness 73
Verification of SMT Systems with Quantifiers 72
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 72
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 72
Parameter Synthesis with IC3 70
Deciding floating-point logic with abstract conflict driven clause learning 70
Preface to special issue on satisfiability modulo theories 69
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 68
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 68
Software Model Checking via Large-Block Encoding 66
SC^2: Satisfiability Checking Meets Symbolic Computation 65
Effective word-level interpolation for software verification 65
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 65
Efficient SMT-Based Analysis of Failure Propagation 64
Safe Decomposition of Startup Requirements: Verification and Synthesis 62
Software Model Checking via IC3 61
Precise Analysis of pi-calculus in Cubic Time 58
Symbolic computation and satisfiability checking 57
Modeling and Analyzing Contextual Requirements 56
The MathSAT 5 SMT Solver 55
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 53
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 53
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 53
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 52
Stochastic Local Search for SMT: A Preliminary Report 50
Satisfiability checking and symbolic computation 50
Efficient Interpolant Generation in Satisfiability Modulo Theories 49
null 46
Searching for i-Good Lemmas to Accelerate Safety Model Checking 44
null 43
Tighter Integration of BDD and SMT for Predicate Abstraction 43
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 41
LTL falsification in infinite-state systems 40
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 33
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 33
Invariant Checking for SMT-based Systems with Quantifiers 26
Totale 8.714
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.682
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 738
Totale 41.420
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021170 0 0 0 0 0 0 0 0 0 55 37 78
2021/2022518 20 79 10 25 26 17 16 86 16 21 98 104
2022/2023885 83 99 10 126 77 132 1 76 170 9 56 46
2023/2024577 26 31 45 21 49 192 50 35 7 40 20 61
2024/20251.625 21 17 75 332 111 235 60 118 91 262 182 121
2025/20263.281 234 57 422 552 445 248 640 81 295 307 0 0
Totale 8.714