IRIS
Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.052
AS - Asia 1.363
EU - Europa 777
SA - Sud America 228
Continente sconosciuto - Info sul continente non disponibili 77
AF - Africa 26
OC - Oceania 3
Totale 5.526
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.989
SG - Singapore 657
VN - Vietnam 240
CN - Cina 215
BR - Brasile 180
IT - Italia 162
RU - Federazione Russa 139
DE - Germania 83
GB - Regno Unito 58
FI - Finlandia 53
KR - Corea 53
FR - Francia 50
SE - Svezia 47
LV - Lettonia 40
BG - Bulgaria 35
IN - India 35
UA - Ucraina 32
CA - Canada 29
JO - Giordania 25
NL - Olanda 25
BD - Bangladesh 24
MX - Messico 18
HK - Hong Kong 17
ID - Indonesia 15
TR - Turchia 14
JP - Giappone 13
PL - Polonia 13
AR - Argentina 11
EC - Ecuador 11
IQ - Iraq 10
ZA - Sudafrica 9
VE - Venezuela 8
BE - Belgio 7
LT - Lituania 7
UZ - Uzbekistan 7
CR - Costa Rica 6
CL - Cile 5
CZ - Repubblica Ceca 5
EG - Egitto 5
ES - Italia 5
PK - Pakistan 5
SA - Arabia Saudita 5
AT - Austria 4
CO - Colombia 4
IE - Irlanda 4
MA - Marocco 4
MY - Malesia 4
AU - Australia 3
AZ - Azerbaigian 3
ET - Etiopia 3
KE - Kenya 3
PE - Perù 3
PY - Paraguay 3
AL - Albania 2
BO - Bolivia 2
GE - Georgia 2
IL - Israele 2
JM - Giamaica 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
OM - Oman 2
PA - Panama 2
TT - Trinidad e Tobago 2
CH - Svizzera 1
DM - Dominica 1
GT - Guatemala 1
IR - Iran 1
KH - Cambogia 1
LB - Libano 1
LK - Sri Lanka 1
MT - Malta 1
NG - Nigeria 1
NO - Norvegia 1
NP - Nepal 1
PH - Filippine 1
PR - Porto Rico 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
Totale 5.449
Salva come PNG Salva come JPEG
Città #
Singapore 455
Ashburn 345
Chandler 309
Fairfield 251
San Jose 154
Woodbridge 120
Santa Clara 105
Dallas 104
Cambridge 99
Houston 97
Wilmington 95
Seattle 92
Columbus 84
Council Bluffs 77
Princeton 72
Ho Chi Minh City 70
San Mateo 63
New York 62
Beijing 60
Seoul 53
Los Angeles 52
Hanoi 50
Jacksonville 49
Moscow 47
Munich 40
Riga 40
Helsinki 36
Lauterbourg 36
Sofia 34
Ann Arbor 26
Trento 25
Chicago 23
The Dalles 23
Milan 20
São Paulo 20
London 18
University Park 18
Hong Kong 17
San Diego 16
Phoenix 15
Amsterdam 14
Haiphong 14
Norwalk 13
Orem 13
Salt Lake City 13
Chennai 12
Da Nang 12
Frankfurt am Main 12
Warsaw 12
Brooklyn 11
Como 11
Tokyo 11
Buffalo 10
Falkenstein 10
Jakarta 9
Turku 9
Atlanta 8
Dong Ket 8
Miami 8
Toronto 8
Verona 8
Boardman 7
Dearborn 7
Denver 7
Elk Grove Village 7
Fremont 7
Mexico City 7
Montreal 7
Rome 7
Tashkent 7
Belo Horizonte 6
Boston 6
Brasília 6
Falls Church 6
Guangzhou 6
Johannesburg 6
Redondo Beach 6
San José 6
Washington 6
Ankara 5
Bologna 5
Brussels 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
Palermo 4
Phủ Lý 4
Shanghai 4
Totale 3.806
Salva come PNG Salva come JPEG
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 247
Certifying Proofs for LTL Model Checking 245
Assumption-based Runtime Verification with Partial Observability and Resets 213
GSTE is partitioned model checking 209
HRELTL: A temporal logic for hybrid systems 208
Supporting Requirements Validation: The EuRailCheck Tool 191
Object Models with Temporal Constraints 188
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 184
NuRV: a nuXmv Extension for Runtime Verification 156
Formalization and validation of a subset of the European Train Control System 152
Formalization and Validation of Safety-Critical Requirements 151
Boolean Abstraction for Temporal Logic Satisfiability 150
From Informal Requirements to Property-Driven Formal Validation 148
Formalizing requirements with object models and temporal constraints 142
GSTE is partitioned Model Checking 136
Property-Driven Partitioning for Abstraction Refinement 131
OthelloPlay: a plug-in based tool for requirement formalization and validation 131
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 130
Requirements Validation for Hybrid Systems 126
Assumption-Based Runtime Verification of Infinite-State Systems 126
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 125
From PSL to NBA: a Modular Symbolic Encoding 123
Safety Assessment of AltaRica Models via Symbolic Model Checking 120
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 120
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 118
HYCOMP - an SMT-based model checker for hybrid systems 118
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 108
IC3 Modulo Theories via Implicit Predicate Abstraction 104
Model Checking and Safety Assessment of Altarica models 98
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 88
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 83
Infinite-state invariant checking with IC3 and predicate abstraction 83
Verifying LTL Properties of Hybrid Systems with K-Liveness 80
Symbolic Compilation of PSL 79
Syntactic Optimizations for PSL Verification 77
Parameter Synthesis with IC3 76
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 76
GSTE is Partitioned Model Checking 75
Asynchronous Composition of Local Interface LTL Properties 70
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 69
Validation of Requirements for Hybrid Systems: a Formal Approach 66
Safe Decomposition of Startup Requirements: Verification and Synthesis 65
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 42
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 40
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 39
Searching for Ribbon-Shaped Paths in Fair Transition Systems 20
Totale 5.526
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.146
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 27.146
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022351 0 31 1 27 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/2027143 53 90 0 0 0 0 0 0 0 0 0 0
Totale 5.526