IRIS
Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.856
EU - Europa 269
AS - Asia 252
SA - Sud America 3
OC - Oceania 1
Totale 2.381
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.853
SG - Singapore 154
IT - Italia 69
CN - Cina 46
SE - Svezia 41
BG - Bulgaria 34
FI - Finlandia 34
GB - Regno Unito 32
JO - Giordania 23
UA - Ucraina 22
DE - Germania 18
VN - Vietnam 10
ID - Indonesia 7
BE - Belgio 3
CA - Canada 3
CZ - Repubblica Ceca 3
NL - Olanda 3
BR - Brasile 2
FR - Francia 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
MY - Malesia 2
AL - Albania 1
AR - Argentina 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
GE - Georgia 1
HK - Hong Kong 1
IN - India 1
IR - Iran 1
JP - Giappone 1
KH - Cambogia 1
LK - Sri Lanka 1
LV - Lettonia 1
NO - Norvegia 1
PT - Portogallo 1
RU - Federazione Russa 1
Totale 2.381
Salva come PNG Salva come JPEG
Città #
Chandler 309
Fairfield 251
Ashburn 148
Woodbridge 120
Singapore 104
Cambridge 98
Wilmington 94
Seattle 90
Houston 89
Columbus 77
Princeton 72
San Mateo 63
Jacksonville 46
Sofia 34
Beijing 30
Helsinki 27
Ann Arbor 26
New York 22
Trento 17
San Diego 16
Norwalk 13
Como 11
Los Angeles 11
Santa Clara 10
London 9
Dong Ket 8
Dearborn 7
Fremont 7
Jakarta 7
Falls Church 6
Washington 6
Boardman 5
San Paolo di Civitate 5
Bolzano 4
Council Bluffs 4
Lawrence 4
Munich 4
Palermo 4
Andover 3
Bologna 3
Brno 3
Brussels 3
Kunming 3
Milan 3
Acton 2
Beaverton 2
Chieti 2
Chiswick 2
Comabbio 2
Guangzhou 2
Hangzhou 2
Hounslow 2
Kilburn 2
Scuola 2
Severn 2
São Paulo 2
Toronto 2
Verona 2
Vientiane 2
Zogno 2
Altamura 1
Baku 1
Chions 1
Clifton 1
Colombo 1
Dallas 1
Des Moines 1
Düsseldorf 1
Fayetteville 1
Frankfurt am Main 1
Hong Kong 1
Isidro Casanova 1
Kooralbyn 1
Lappeenranta 1
Lonigo 1
Malacca 1
Massy 1
Modesto 1
Moscow 1
Mountain View 1
Nanchang 1
Nashville 1
Oslo 1
Ottawa 1
Palaiseau 1
Phnom Penh 1
Prescot 1
Pune 1
Redmond 1
Riga 1
Shanghai 1
Spinea 1
Staten Island 1
Tappahannock 1
Tbilisi 1
Tirana 1
Tokyo 1
Vienna 1
Wuhan 1
Totale 1.947
Salva come PNG Salva come JPEG
Nome #
GSTE is partitioned model checking 143
Assumption-based Runtime Verification with Partial Observability and Resets 122
Certifying Proofs for LTL Model Checking 119
HRELTL: A temporal logic for hybrid systems 116
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 108
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 96
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 95
NuRV: a nuXmv Extension for Runtime Verification 92
GSTE is partitioned Model Checking 84
Supporting Requirements Validation: The EuRailCheck Tool 78
Property-Driven Partitioning for Abstraction Refinement 74
From Informal Requirements to Property-Driven Formal Validation 73
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 69
Formalizing requirements with object models and temporal constraints 69
Boolean Abstraction for Temporal Logic Satisfiability 68
Formalization and Validation of Safety-Critical Requirements 68
Formalization and validation of a subset of the European Train Control System 67
Safety Assessment of AltaRica Models via Symbolic Model Checking 64
Object Models with Temporal Constraints 64
OthelloPlay: a plug-in based tool for requirement formalization and validation 62
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 61
From PSL to NBA: a Modular Symbolic Encoding 58
Assumption-Based Runtime Verification of Infinite-State Systems 54
Requirements Validation for Hybrid Systems 51
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 48
Model Checking and Safety Assessment of Altarica models 42
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 40
HYCOMP - an SMT-based model checker for hybrid systems 39
Syntactic Optimizations for PSL Verification 38
Symbolic Compilation of PSL 34
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 32
IC3 Modulo Theories via Implicit Predicate Abstraction 31
Verifying LTL Properties of Hybrid Systems with K-Liveness 31
Infinite-state invariant checking with IC3 and predicate abstraction 29
Parameter Synthesis with IC3 26
Validation of Requirements for Hybrid Systems: a Formal Approach 25
Safe Decomposition of Startup Requirements: Verification and Synthesis 25
GSTE is Partitioned Model Checking 17
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 17
Searching for Ribbon-Shaped Paths in Fair Transition Systems 8
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 6
Asynchronous Composition of Local Interface LTL Properties 5
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 4
Totale 2.452
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.642
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 16.642
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020235 0 0 0 0 16 14 20 11 17 83 23 51
2020/2021615 6 96 119 89 37 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/2025277 7 3 57 171 39 0 0 0 0 0 0 0
Totale 2.452