IRIS
Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.805
AS - Asia 1.334
EU - Europa 727
SA - Sud America 223
AF - Africa 26
OC - Oceania 3
Totale 5.118
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.753
SG - Singapore 649
VN - Vietnam 240
CN - Cina 211
BR - Brasile 177
RU - Federazione Russa 139
IT - Italia 117
DE - Germania 83
GB - Regno Unito 56
FI - Finlandia 53
KR - Corea 53
FR - Francia 49
SE - Svezia 47
LV - Lettonia 40
BG - Bulgaria 34
IN - India 34
UA - Ucraina 32
CA - Canada 26
JO - Giordania 25
NL - Olanda 25
MX - Messico 16
HK - Hong Kong 15
ID - Indonesia 15
TR - Turchia 14
PL - Polonia 13
BD - Bangladesh 12
JP - Giappone 12
AR - Argentina 10
EC - Ecuador 10
IQ - Iraq 10
ZA - Sudafrica 9
VE - Venezuela 8
BE - Belgio 7
LT - Lituania 7
UZ - Uzbekistan 7
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
CR - Costa Rica 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
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
IL - Israele 1
IR - Iran 1
KH - Cambogia 1
LB - Libano 1
LK - Sri Lanka 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
SY - Repubblica araba siriana 1
TH - Thailandia 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
Totale 5.118
Salva come PNG Salva come JPEG
Città #
Singapore 447
Chandler 309
Ashburn 308
Fairfield 251
San Jose 126
Woodbridge 120
Santa Clara 103
Dallas 101
Cambridge 98
Wilmington 95
Houston 94
Seattle 92
Columbus 77
Princeton 72
Ho Chi Minh City 70
San Mateo 63
Beijing 59
New York 54
Seoul 53
Hanoi 50
Los Angeles 50
Jacksonville 48
Moscow 47
Munich 40
Riga 40
Helsinki 36
Lauterbourg 36
Sofia 34
Council Bluffs 33
Ann Arbor 26
The Dalles 23
Chicago 22
Trento 22
São Paulo 20
London 18
San Diego 16
Hong Kong 15
Amsterdam 14
Haiphong 14
Norwalk 13
Salt Lake City 13
Chennai 12
Da Nang 12
Frankfurt am Main 12
Orem 12
Warsaw 12
Como 11
Phoenix 11
Tokyo 11
Brooklyn 10
Falkenstein 10
Jakarta 9
Turku 9
Buffalo 8
Dong Ket 8
Miami 8
Milan 8
Toronto 8
Boardman 7
Dearborn 7
Denver 7
Elk Grove Village 7
Fremont 7
Tashkent 7
Verona 7
Atlanta 6
Belo Horizonte 6
Brasília 6
Falls Church 6
Guangzhou 6
Johannesburg 6
Mexico City 6
Montreal 6
Redondo Beach 6
Washington 6
Ankara 5
Boston 5
Brussels 5
Rio de Janeiro 5
San Paolo di Civitate 5
Stockholm 5
Bologna 4
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
Ottawa 4
Palermo 4
Phủ Lý 4
San José 4
Thái Bình 4
Wuhan 4
Addis Ababa 3
Andover 3
Baku 3
Totale 3.605
Salva come PNG Salva come JPEG
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 240
Certifying Proofs for LTL Model Checking 235
GSTE is partitioned model checking 203
Assumption-based Runtime Verification with Partial Observability and Resets 202
HRELTL: A temporal logic for hybrid systems 193
Supporting Requirements Validation: The EuRailCheck Tool 183
Object Models with Temporal Constraints 181
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 175
NuRV: a nuXmv Extension for Runtime Verification 151
Formalization and validation of a subset of the European Train Control System 148
Formalization and Validation of Safety-Critical Requirements 145
From Informal Requirements to Property-Driven Formal Validation 143
Boolean Abstraction for Temporal Logic Satisfiability 142
GSTE is partitioned Model Checking 133
Formalizing requirements with object models and temporal constraints 132
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 125
Property-Driven Partitioning for Abstraction Refinement 124
OthelloPlay: a plug-in based tool for requirement formalization and validation 124
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 123
Assumption-Based Runtime Verification of Infinite-State Systems 122
Requirements Validation for Hybrid Systems 119
From PSL to NBA: a Modular Symbolic Encoding 116
Safety Assessment of AltaRica Models via Symbolic Model Checking 114
HYCOMP - an SMT-based model checker for hybrid systems 113
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 110
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 105
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 102
IC3 Modulo Theories via Implicit Predicate Abstraction 96
Model Checking and Safety Assessment of Altarica models 93
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 83
Infinite-state invariant checking with IC3 and predicate abstraction 80
Syntactic Optimizations for PSL Verification 73
Verifying LTL Properties of Hybrid Systems with K-Liveness 73
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 72
GSTE is Partitioned Model Checking 71
Symbolic Compilation of PSL 71
Parameter Synthesis with IC3 70
Asynchronous Composition of Local Interface LTL Properties 64
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 63
Safe Decomposition of Startup Requirements: Verification and Synthesis 62
Validation of Requirements for Hybrid Systems: a Formal Approach 59
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 41
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 37
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 33
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 33
Searching for Ribbon-Shaped Paths in Fair Transition Systems 18
Totale 5.195
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.406
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 24.406
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021137 0 0 0 0 0 0 0 0 0 62 14 61
2021/2022361 10 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.144 135 89 245 374 404 130 377 64 168 158 0 0
Totale 5.195