IRIS
Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.753
EU - Europa 261
AS - Asia 139
SA - Sud America 3
OC - Oceania 1
Totale 2.157
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.751
IT - Italia 69
SG - Singapore 55
SE - Svezia 41
CN - Cina 40
BG - Bulgaria 34
FI - Finlandia 34
GB - Regno Unito 32
JO - Giordania 23
UA - Ucraina 22
DE - Germania 16
VN - Vietnam 10
CZ - Repubblica Ceca 3
BE - Belgio 2
BR - Brasile 2
CA - Canada 2
FR - Francia 2
LA - Repubblica Popolare Democratica del Laos 2
MY - Malesia 2
AL - Albania 1
AR - Argentina 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
GE - Georgia 1
IN - India 1
IR - Iran 1
JP - Giappone 1
KH - Cambogia 1
LK - Sri Lanka 1
LV - Lettonia 1
NL - Olanda 1
NO - Norvegia 1
PT - Portogallo 1
Totale 2.157
Salva come PNG Salva come JPEG
Città #
Chandler 309
Fairfield 251
Ashburn 148
Woodbridge 120
Cambridge 98
Wilmington 94
Houston 89
Seattle 89
Princeton 72
San Mateo 63
Jacksonville 46
Sofia 34
Beijing 30
Helsinki 27
Ann Arbor 26
New York 22
Trento 17
San Diego 16
Singapore 16
Norwalk 13
Como 11
Los Angeles 11
London 9
Dong Ket 8
Dearborn 7
Fremont 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
Milan 3
Acton 2
Brussels 2
Chieti 2
Chiswick 2
Comabbio 2
Hangzhou 2
Hounslow 2
Kilburn 2
Kunming 2
Scuola 2
Severn 2
São Paulo 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
Guangzhou 1
Isidro Casanova 1
Kooralbyn 1
Lappeenranta 1
Lonigo 1
Malacca 1
Massy 1
Modesto 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
Santa Clara 1
Shanghai 1
Spinea 1
Staten Island 1
Tappahannock 1
Tbilisi 1
Tirana 1
Tokyo 1
Toronto 1
Vienna 1
Totale 1.755
Salva come PNG Salva come JPEG
Nome #
GSTE is partitioned model checking 139
Assumption-based Runtime Verification with Partial Observability and Resets 114
HRELTL: A temporal logic for hybrid systems 111
Certifying Proofs for LTL Model Checking 111
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 102
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 91
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 90
NuRV: a nuXmv Extension for Runtime Verification 84
GSTE is partitioned Model Checking 80
Supporting Requirements Validation: The EuRailCheck Tool 72
Property-Driven Partitioning for Abstraction Refinement 71
From Informal Requirements to Property-Driven Formal Validation 69
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 66
Formalizing requirements with object models and temporal constraints 64
Formalization and Validation of Safety-Critical Requirements 64
Boolean Abstraction for Temporal Logic Satisfiability 63
Formalization and validation of a subset of the European Train Control System 61
Safety Assessment of AltaRica Models via Symbolic Model Checking 59
Object Models with Temporal Constraints 59
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 54
From PSL to NBA: a Modular Symbolic Encoding 51
Requirements Validation for Hybrid Systems 47
OthelloPlay: a plug-in based tool for requirement formalization and validation 47
Assumption-Based Runtime Verification of Infinite-State Systems 47
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 43
Model Checking and Safety Assessment of Altarica models 35
Syntactic Optimizations for PSL Verification 34
HYCOMP - an SMT-based model checker for hybrid systems 34
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 29
Symbolic Compilation of PSL 28
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 28
IC3 Modulo Theories via Implicit Predicate Abstraction 25
Verifying LTL Properties of Hybrid Systems with K-Liveness 25
Infinite-state invariant checking with IC3 and predicate abstraction 24
Validation of Requirements for Hybrid Systems: a Formal Approach 22
Parameter Synthesis with IC3 22
Safe Decomposition of Startup Requirements: Verification and Synthesis 21
GSTE is Partitioned Model Checking 12
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 12
Searching for Ribbon-Shaped Paths in Fair Transition Systems 7
Asynchronous Composition of Local Interface LTL Properties 4
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 4
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 3
Totale 2.228
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.751
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 15.751
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020256 0 0 9 12 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/202553 7 3 43 0 0 0 0 0 0 0 0 0
Totale 2.228