IRIS
Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.502
AS - Asia 946
EU - Europa 599
SA - Sud America 190
AF - Africa 16
OC - Oceania 2
Totale 4.255
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.468
SG - Singapore 594
CN - Cina 181
BR - Brasile 157
RU - Federazione Russa 137
IT - Italia 93
DE - Germania 69
VN - Vietnam 59
FI - Finlandia 49
GB - Regno Unito 44
SE - Svezia 44
LV - Lettonia 40
BG - Bulgaria 34
UA - Ucraina 28
JO - Giordania 23
CA - Canada 19
NL - Olanda 18
ID - Indonesia 12
IN - India 12
MX - Messico 12
HK - Hong Kong 11
PL - Polonia 10
EC - Ecuador 9
AR - Argentina 8
TR - Turchia 8
JP - Giappone 7
LT - Lituania 7
BD - Bangladesh 6
IQ - Iraq 6
BE - Belgio 5
CZ - Repubblica Ceca 5
UZ - Uzbekistan 5
VE - Venezuela 5
ZA - Sudafrica 5
EG - Egitto 4
FR - Francia 4
AT - Austria 3
CL - Cile 3
ES - Italia 3
MA - Marocco 3
MY - Malesia 3
AL - Albania 2
AU - Australia 2
AZ - Azerbaigian 2
CO - Colombia 2
GE - Georgia 2
IE - Irlanda 2
KE - Kenya 2
KG - Kirghizistan 2
LA - Repubblica Popolare Democratica del Laos 2
PE - Perù 2
PK - Pakistan 2
PY - Paraguay 2
SA - Arabia Saudita 2
BO - Bolivia 1
DM - Dominica 1
ET - Etiopia 1
IL - Israele 1
IR - Iran 1
KH - Cambogia 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
NO - Norvegia 1
OM - Oman 1
PR - Porto Rico 1
PT - Portogallo 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 4.255
Salva come PNG Salva come JPEG
Città #
Singapore 425
Chandler 309
Ashburn 258
Fairfield 251
Woodbridge 120
Dallas 100
Santa Clara 99
Cambridge 98
Wilmington 95
Houston 93
Seattle 92
Columbus 77
Princeton 72
San Mateo 63
Beijing 57
Jacksonville 48
Moscow 47
New York 45
Munich 40
Riga 40
Los Angeles 38
Sofia 34
Helsinki 32
Ann Arbor 26
Chicago 22
Trento 22
Council Bluffs 20
Ho Chi Minh City 19
São Paulo 18
San Diego 16
London 15
Norwalk 13
Salt Lake City 13
Como 11
Hong Kong 11
Falkenstein 10
Warsaw 10
Amsterdam 9
Brooklyn 9
Turku 9
Dong Ket 8
Hanoi 8
Jakarta 8
Miami 8
Phoenix 8
Buffalo 7
Dearborn 7
Denver 7
Elk Grove Village 7
Fremont 7
Tokyo 7
Toronto 7
Boardman 6
Brasília 6
Falls Church 6
Frankfurt am Main 6
Guangzhou 6
Redondo Beach 6
The Dalles 6
Washington 6
Belo Horizonte 5
Boston 5
Brussels 5
Milan 5
San Paolo di Civitate 5
Tashkent 5
Ankara 4
Atlanta 4
Bologna 4
Bolzano 4
Chennai 4
Lawrence 4
Mexico City 4
Montreal 4
Orem 4
Ottawa 4
Palermo 4
Rio de Janeiro 4
Wuhan 4
Andover 3
Brno 3
Charlotte 3
Dulles 3
Erbil 3
Fuzhou 3
Jingmen 3
Johannesburg 3
Kunming 3
Manaus 3
Porto Alegre 3
Shanghai 3
Shijiazhuang 3
Sorocaba 3
Stockholm 3
Tampa 3
Acton 2
Baku 2
Beaverton 2
Cairo 2
Camaçari 2
Totale 3.063
Salva come PNG Salva come JPEG
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 221
Certifying Proofs for LTL Model Checking 206
GSTE is partitioned model checking 189
Assumption-based Runtime Verification with Partial Observability and Resets 176
HRELTL: A temporal logic for hybrid systems 168
Object Models with Temporal Constraints 162
NuRV: a nuXmv Extension for Runtime Verification 135
Supporting Requirements Validation: The EuRailCheck Tool 133
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 128
Formalization and Validation of Safety-Critical Requirements 128
Formalization and validation of a subset of the European Train Control System 126
From Informal Requirements to Property-Driven Formal Validation 123
Boolean Abstraction for Temporal Logic Satisfiability 121
GSTE is partitioned Model Checking 118
Formalizing requirements with object models and temporal constraints 117
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 113
OthelloPlay: a plug-in based tool for requirement formalization and validation 105
Property-Driven Partitioning for Abstraction Refinement 103
Assumption-Based Runtime Verification of Infinite-State Systems 103
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 95
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 94
From PSL to NBA: a Modular Symbolic Encoding 94
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 93
Safety Assessment of AltaRica Models via Symbolic Model Checking 93
HYCOMP - an SMT-based model checker for hybrid systems 91
IC3 Modulo Theories via Implicit Predicate Abstraction 84
Requirements Validation for Hybrid Systems 83
Model Checking and Safety Assessment of Altarica models 77
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 73
Syntactic Optimizations for PSL Verification 64
Infinite-state invariant checking with IC3 and predicate abstraction 63
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 61
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 60
Verifying LTL Properties of Hybrid Systems with K-Liveness 60
Symbolic Compilation of PSL 59
Parameter Synthesis with IC3 56
GSTE is Partitioned Model Checking 53
Safe Decomposition of Startup Requirements: Verification and Synthesis 53
Validation of Requirements for Hybrid Systems: a Formal Approach 51
Asynchronous Composition of Local Interface LTL Properties 46
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 31
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 31
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 29
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 29
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 17
Searching for Ribbon-Shaped Paths in Fair Transition Systems 15
Totale 4.330
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.833
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 22.833
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021268 0 0 0 0 0 25 19 73 14 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/20261.279 135 89 245 374 404 32 0 0 0 0 0 0
Totale 4.330