IRIS
Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.531
AS - Asia 1.376
EU - Europa 847
SA - Sud America 242
Continente sconosciuto - Info sul continente non disponibili 80
AF - Africa 27
OC - Oceania 3
Totale 6.106
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.411
SG - Singapore 658
VN - Vietnam 243
CN - Cina 215
IT - Italia 198
BR - Brasile 183
RU - Federazione Russa 142
DE - Germania 86
CA - Canada 68
SE - Svezia 66
GB - Regno Unito 62
FI - Finlandia 53
KR - Corea 53
FR - Francia 50
LV - Lettonia 40
BG - Bulgaria 35
IN - India 35
UA - Ucraina 33
BD - Bangladesh 26
NL - Olanda 26
JO - Giordania 25
MX - Messico 19
HK - Hong Kong 17
ID - Indonesia 15
EC - Ecuador 14
JP - Giappone 14
PL - Polonia 14
TR - Turchia 14
AR - Argentina 12
IQ - Iraq 10
VE - Venezuela 10
CO - Colombia 9
ZA - Sudafrica 9
BE - Belgio 7
LT - Lituania 7
SA - Arabia Saudita 7
UZ - Uzbekistan 7
CR - Costa Rica 6
CL - Cile 5
CZ - Repubblica Ceca 5
EG - Egitto 5
ES - Italia 5
MY - Malesia 5
PK - Pakistan 5
AT - Austria 4
IE - Irlanda 4
IL - Israele 4
JM - Giamaica 4
MA - Marocco 4
PR - Porto Rico 4
AU - Australia 3
AZ - Azerbaigian 3
ET - Etiopia 3
GT - Guatemala 3
HN - Honduras 3
KE - Kenya 3
PE - Perù 3
PY - Paraguay 3
RS - Serbia 3
SV - El Salvador 3
TT - Trinidad e Tobago 3
AL - Albania 2
BO - Bolivia 2
GE - Georgia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 2
BS - Bahamas 1
CH - Svizzera 1
DM - Dominica 1
GP - Guadalupe 1
IR - Iran 1
KH - Cambogia 1
LB - Libano 1
LK - Sri Lanka 1
MM - Myanmar 1
MT - Malta 1
NG - Nigeria 1
NO - Norvegia 1
NP - Nepal 1
PH - Filippine 1
PT - Portogallo 1
RO - Romania 1
SC - Seychelles 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.027
Salva come PNG Salva come JPEG
Città #
Singapore 455
Ashburn 428
Chandler 309
Fairfield 251
San Jose 193
Council Bluffs 127
Woodbridge 120
Santa Clara 114
Dallas 110
Houston 101
Cambridge 99
Wilmington 95
Seattle 93
Columbus 84
Princeton 73
Ho Chi Minh City 71
New York 66
San Mateo 63
Beijing 60
Los Angeles 56
Seoul 53
Hanoi 51
Jacksonville 49
Moscow 48
Munich 40
Riga 40
Helsinki 36
Lauterbourg 36
Sofia 34
Milan 28
Ann Arbor 26
Trento 26
Chicago 25
The Dalles 23
Phoenix 21
São Paulo 21
London 20
University Park 18
Hong Kong 17
San Diego 17
Amsterdam 14
Haiphong 14
Brooklyn 13
Frankfurt am Main 13
Norwalk 13
Orem 13
Salt Lake City 13
Warsaw 13
Chennai 12
Da Nang 12
Como 11
Denver 11
Montreal 11
Rome 11
Tokyo 11
Buffalo 10
Falkenstein 10
Atlanta 9
Jakarta 9
Toronto 9
Turku 9
Dong Ket 8
Miami 8
Verona 8
Washington 8
Boardman 7
Bologna 7
Dearborn 7
Elk Grove Village 7
Fremont 7
Mexico City 7
Tashkent 7
Belo Horizonte 6
Boston 6
Brasília 6
Falls Church 6
Guangzhou 6
Johannesburg 6
Redondo Beach 6
San José 6
Ankara 5
Brussels 5
Charlotte 5
Naples 5
North Bergen 5
Pittsburgh 5
Rio de Janeiro 5
San Paolo di Civitate 5
Stockholm 5
Bolzano 4
Bắc Ninh 4
Bến Tre 4
Chengdu 4
Dhaka 4
Dublin 4
Hải Dương 4
Lawrence 4
Manching 4
Miano 4
Ottawa 4
Totale 4.056
Salva come PNG Salva come JPEG
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 266
Certifying Proofs for LTL Model Checking 254
Assumption-based Runtime Verification with Partial Observability and Resets 235
GSTE is partitioned model checking 220
HRELTL: A temporal logic for hybrid systems 218
Supporting Requirements Validation: The EuRailCheck Tool 207
Object Models with Temporal Constraints 201
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 192
Formalization and validation of a subset of the European Train Control System 165
Boolean Abstraction for Temporal Logic Satisfiability 165
Formalization and Validation of Safety-Critical Requirements 165
NuRV: a nuXmv Extension for Runtime Verification 164
From Informal Requirements to Property-Driven Formal Validation 164
Formalizing requirements with object models and temporal constraints 153
GSTE is partitioned Model Checking 150
OthelloPlay: a plug-in based tool for requirement formalization and validation 149
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 143
Assumption-Based Runtime Verification of Infinite-State Systems 140
Property-Driven Partitioning for Abstraction Refinement 139
Safety Assessment of AltaRica Models via Symbolic Model Checking 139
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 138
From PSL to NBA: a Modular Symbolic Encoding 138
Requirements Validation for Hybrid Systems 134
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 131
HYCOMP - an SMT-based model checker for hybrid systems 131
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 129
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 117
IC3 Modulo Theories via Implicit Predicate Abstraction 117
Model Checking and Safety Assessment of Altarica models 112
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 102
Parameter Synthesis with IC3 97
Infinite-state invariant checking with IC3 and predicate abstraction 96
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 94
GSTE is Partitioned Model Checking 93
Symbolic Compilation of PSL 88
Verifying LTL Properties of Hybrid Systems with K-Liveness 87
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 85
Syntactic Optimizations for PSL Verification 84
Asynchronous Composition of Local Interface LTL Properties 82
Validation of Requirements for Hybrid Systems: a Formal Approach 79
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 77
Safe Decomposition of Startup Requirements: Verification and Synthesis 77
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 71
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 49
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 46
Searching for Ribbon-Shaped Paths in Fair Transition Systems 23
Totale 6.106
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.229
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 29.229
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022292 0 0 0 0 23 20 3 113 20 17 29 67
2022/2023579 50 68 8 90 47 100 4 49 107 8 33 15
2023/2024252 14 29 25 28 25 54 20 3 3 10 5 36
2024/2025876 7 3 57 171 45 131 28 72 65 142 88 67
2025/20262.332 135 89 245 374 404 130 377 64 168 181 61 104
2026/2027723 53 96 215 332 27 0 0 0 0 0 0 0
Totale 6.106