IRIS
Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.933
AS - Asia 1.350
EU - Europa 761
SA - Sud America 223
AF - Africa 26
OC - Oceania 3
Totale 5.296
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.875
SG - Singapore 650
VN - Vietnam 240
CN - Cina 213
BR - Brasile 177
IT - Italia 150
RU - Federazione Russa 139
DE - Germania 83
GB - Regno Unito 57
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 29
JO - Giordania 25
NL - Olanda 25
BD - Bangladesh 22
HK - Hong Kong 16
MX - Messico 16
ID - Indonesia 15
TR - Turchia 14
JP - Giappone 13
PL - Polonia 13
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
CR - Costa Rica 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
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
JM - Giamaica 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.296
Salva come PNG Salva come JPEG
Città #
Singapore 448
Ashburn 337
Chandler 309
Fairfield 251
San Jose 145
Woodbridge 120
Santa Clara 104
Dallas 103
Cambridge 98
Wilmington 95
Houston 94
Seattle 92
Columbus 77
Princeton 72
Ho Chi Minh City 70
San Mateo 63
New York 60
Beijing 59
Seoul 53
Los Angeles 52
Hanoi 50
Jacksonville 49
Moscow 47
Munich 40
Riga 40
Council Bluffs 36
Helsinki 36
Lauterbourg 36
Sofia 34
Ann Arbor 26
Trento 24
Chicago 23
The Dalles 23
São Paulo 20
London 18
Milan 18
University Park 18
Hong Kong 16
San Diego 16
Amsterdam 14
Haiphong 14
Norwalk 13
Orem 13
Salt Lake City 13
Chennai 12
Da Nang 12
Frankfurt am Main 12
Phoenix 12
Warsaw 12
Brooklyn 11
Como 11
Tokyo 11
Buffalo 10
Falkenstein 10
Jakarta 9
Turku 9
Dong Ket 8
Miami 8
Toronto 8
Verona 8
Boardman 7
Dearborn 7
Denver 7
Elk Grove Village 7
Fremont 7
Montreal 7
Tashkent 7
Atlanta 6
Belo Horizonte 6
Boston 6
Brasília 6
Falls Church 6
Guangzhou 6
Johannesburg 6
Mexico City 6
Redondo Beach 6
Washington 6
Ankara 5
Brussels 5
Rio de Janeiro 5
San José 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
Miano 4
Ottawa 4
Palermo 4
Phủ Lý 4
Shanghai 4
Thái Bình 4
Wuhan 4
Totale 3.709
Salva come PNG Salva come JPEG
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 244
Certifying Proofs for LTL Model Checking 241
Assumption-based Runtime Verification with Partial Observability and Resets 209
GSTE is partitioned model checking 205
HRELTL: A temporal logic for hybrid systems 201
Supporting Requirements Validation: The EuRailCheck Tool 188
Object Models with Temporal Constraints 184
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 179
NuRV: a nuXmv Extension for Runtime Verification 152
Formalization and validation of a subset of the European Train Control System 150
Formalization and Validation of Safety-Critical Requirements 148
From Informal Requirements to Property-Driven Formal Validation 146
Boolean Abstraction for Temporal Logic Satisfiability 145
Formalizing requirements with object models and temporal constraints 140
GSTE is partitioned Model Checking 135
Property-Driven Partitioning for Abstraction Refinement 128
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 127
OthelloPlay: a plug-in based tool for requirement formalization and validation 127
Assumption-Based Runtime Verification of Infinite-State Systems 125
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 124
Requirements Validation for Hybrid Systems 123
From PSL to NBA: a Modular Symbolic Encoding 121
Safety Assessment of AltaRica Models via Symbolic Model Checking 119
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 117
HYCOMP - an SMT-based model checker for hybrid systems 115
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 104
IC3 Modulo Theories via Implicit Predicate Abstraction 99
Model Checking and Safety Assessment of Altarica models 94
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 86
Infinite-state invariant checking with IC3 and predicate abstraction 81
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 77
Verifying LTL Properties of Hybrid Systems with K-Liveness 77
Syntactic Optimizations for PSL Verification 76
Symbolic Compilation of PSL 74
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 74
GSTE is Partitioned Model Checking 73
Parameter Synthesis with IC3 72
Asynchronous Composition of Local Interface LTL Properties 69
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 65
Safe Decomposition of Startup Requirements: Verification and Synthesis 64
Validation of Requirements for Hybrid Systems: a Formal Approach 63
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 39
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 36
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 34
Searching for Ribbon-Shaped Paths in Fair Transition Systems 18
Totale 5.373
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.911
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 25.911
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202161 0 0 0 0 0 0 0 0 0 0 0 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.322 135 89 245 374 404 130 377 64 168 181 61 94
Totale 5.373