IRIS Institutional Research Information System

Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.405
EU - Europa 4.382
AS - Asia 3.058
SA - Sud America 875
AF - Africa 73
Continente sconosciuto - Info sul continente non disponibili 27
OC - Oceania 13
Totale 13.833
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.218
RU - Federazione Russa 1.323
SG - Singapore 1.196
DE - Germania 768
BR - Brasile 765
CN - Cina 629
IT - Italia 577
HK - Hong Kong 573
UA - Ucraina 300
FI - Finlandia 266
SE - Svezia 250
VN - Vietnam 203
GB - Regno Unito 199
IN - India 181
IE - Irlanda 146
NL - Olanda 145
CA - Canada 125
FR - Francia 119
BE - Belgio 59
JP - Giappone 56
AR - Argentina 50
PL - Polonia 49
MX - Messico 47
ZA - Sudafrica 42
BD - Bangladesh 41
ES - Italia 29
EU - Europa 26
AT - Austria 25
PK - Pakistan 24
IQ - Iraq 23
TR - Turchia 22
HU - Ungheria 21
GR - Grecia 19
EC - Ecuador 17
SI - Slovenia 16
LT - Lituania 15
AU - Australia 12
IL - Israele 12
AE - Emirati Arabi Uniti 10
KR - Corea 10
PY - Paraguay 10
RO - Romania 10
CO - Colombia 9
CZ - Repubblica Ceca 9
DK - Danimarca 9
KE - Kenya 9
UZ - Uzbekistan 9
IR - Iran 8
AZ - Azerbaigian 7
EE - Estonia 7
LB - Libano 7
MA - Marocco 7
SA - Arabia Saudita 7
VE - Venezuela 7
MY - Malesia 6
UY - Uruguay 6
CH - Svizzera 5
LK - Sri Lanka 5
NP - Nepal 5
EG - Egitto 4
ID - Indonesia 4
JO - Giordania 4
PE - Perù 4
TN - Tunisia 4
TT - Trinidad e Tobago 4
BY - Bielorussia 3
CL - Cile 3
DO - Repubblica Dominicana 3
PS - Palestinian Territory 3
SY - Repubblica araba siriana 3
AL - Albania 2
BO - Bolivia 2
CR - Costa Rica 2
DZ - Algeria 2
ET - Etiopia 2
GE - Georgia 2
GY - Guiana 2
LU - Lussemburgo 2
LV - Lettonia 2
OM - Oman 2
PT - Portogallo 2
SK - Slovacchia (Repubblica Slovacca) 2
TW - Taiwan 2
A1 - Anonimo 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
CY - Cipro 1
HN - Honduras 1
JM - Giamaica 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 1
MK - Macedonia 1
NG - Nigeria 1
NI - Nicaragua 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
SN - Senegal 1
SV - El Salvador 1
TH - Thailandia 1
Totale 13.832
Salva come PNG Salva come JPEG
Città #
Chandler 710
Singapore 595
Jacksonville 564
Hong Kong 556
Ashburn 411
Moscow 328
Dallas 261
Los Angeles 257
The Dalles 244
Boardman 232
Beijing 208
Trento 207
Helsinki 173
Wilmington 170
Dublin 142
Hefei 136
Ann Arbor 127
New York 121
Brooklyn 115
Kronberg 110
Munich 93
Dong Ket 92
Dearborn 89
São Paulo 72
Assago 54
Brussels 51
Houston 48
Woodbridge 47
Ho Chi Minh City 45
Milan 45
Seattle 45
Ottawa 41
Tokyo 41
Warsaw 41
Frankfurt am Main 37
Guangzhou 37
Nuremberg 37
Phoenix 36
Shanghai 35
Montreal 34
Santa Clara 34
Denver 33
Pune 32
Johannesburg 31
London 27
Rio de Janeiro 27
Redwood City 26
Turku 26
Stockholm 25
Toronto 25
Verona 25
Miami 24
Amsterdam 22
Atlanta 22
Orem 22
Poplar 22
Chicago 21
Council Bluffs 19
Falkenstein 19
Rome 19
Hanoi 18
Norwalk 18
Mexico City 17
San Francisco 17
Tianjin 17
Chennai 16
Boston 15
Belo Horizonte 14
Vienna 13
Ankara 12
Budapest 12
Fremont 12
Karlsruhe 12
Falls Church 11
Karachi 11
Manchester 11
Porto Alegre 11
Querétaro 11
Redmond 11
Secaucus 11
Curitiba 10
Ames 9
Charlotte 9
Cheyenne 9
Columbus 9
Inglewood 9
Leawood 9
Pittsburgh 9
Salvador 9
San Jose 9
São Luís 9
Tashkent 9
Brasília 8
Dhaka 8
Ljubljana 8
Nanjing 8
San Mateo 8
Sorocaba 8
Baku 7
Buenos Aires 7
Totale 7.629
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 282
HRELTL: A temporal logic for hybrid systems 268
NuRV: a nuXmv Extension for Runtime Verification 263
Contracts-refinement proof system for component-based embedded systems 238
Assumption-based Runtime Verification with Partial Observability and Resets 238
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 231
COMPASS 3.0 201
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 170
A Lazy Approach to Temporal Epistemic Logic Model Checking 165
Certifying Proofs for LTL Model Checking 158
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 157
Model-Based Design of an Energy-System Embedded Controller Using Taste 155
Tightening the contract refinements of a system architecture 154
Safety Assessment of AltaRica Models via Symbolic Model Checking 153
A Property-Based Proof System for Contract-Based Design 149
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 148
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 142
Model Checking and Safety Assessment of Altarica models 140
OthelloPlay: a plug-in based tool for requirement formalization and validation 139
Supporting Requirements Validation: The EuRailCheck Tool 139
Safely Using the AUTOSAR End-to-End Protection Library 137
Assumption-Based Runtime Verification of Infinite-State Systems 137
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 135
Comparing Different Functional Allocations in Automated Air Traffic Control Design 135
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 134
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 132
Boolean Abstraction for Temporal Logic Satisfiability 131
A Uniform Framework for Predicate Abstraction Approximation 130
Formal Specification and Synthesis of FDI through an Example 129
Formal Methods for Aerospace Systems 129
Abstract Model Checking without Computing the Abstraction 128
Infinite-state invariant checking with IC3 and predicate abstraction 127
Certifying proofs for SAT-based model checking 126
Formal Specification and Verification of Dynamic Parametrized Architectures 124
An abstraction refinement approach combining precise and approximated techniques 123
Model Checking of Hybrid Systems using Shallow Synchronization 122
Quantifier-free encoding of invariants for hybrid systems 122
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 121
Efficient Scenario VeriFIcation for Hybrid Automata 119
HYCOMP - an SMT-based model checker for hybrid systems 119
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 118
The nuXmv Symbolic Model Checker 118
A comprehensive framework for the analysis of automotive systems 117
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 117
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 117
Formal Safety Assessment via Contract-Based Design. 116
Asynchronous Composition of Local Interface LTL Properties 113
Time-aware Relational Abstractions for Hybrid Systems 113
IC3 Modulo Theories via Implicit Predicate Abstraction 113
GSTE is partitioned model checking 111
Catalogue of System and Software Properties 111
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 110
Assumptions and Guarantees for Composable Models in Papyrus for Robotics 110
Safe Decomposition of Startup Requirements: Verification and Synthesis 109
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 108
Combining MILS with Contract-Based Design for Safety and Security Requirements 107
A first-order logic characterization of safety and co-safety languages 104
SMT-Based Verification of Hybrid Systems 104
Parameter Synthesis with IC3 103
Symbolic Compilation of PSL 102
Formalization and validation of a subset of the European Train Control System 102
From System Specification to Anomaly Detection (and back) 102
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 101
Object Models with Temporal Constraints 101
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems 101
Quantifier-free encoding of hybrid systems with non-linear dynamics 100
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 100
Validation of Requirements for Hybrid Systems: a Formal Approach 99
GSTE is partitioned Model Checking 99
OCRA: A tool for checking the refinement of temporal contracts 99
COMPASTA = COMPASS + TASTE 98
A first-order logic characterisation of safety and co-safety languages 97
Symbolic Model Checking of Relative Safety LTL Properties 94
Formalizing requirements with object models and temporal constraints 94
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 91
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems 91
Diagnosability of fair transition systems 90
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 90
Loopfrog: A Static Analyzer for ANSI-C Programs 89
Tightening a Contract Refinement 88
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 88
Linear-time Temporal Logic with Event Freezing Functions 87
Requirements Validation for Hybrid Systems 86
Loop Summarization using State and Transition Invariants 86
Unifying Asynchronous Logics for Hyperproperties 85
Assumption-based Runtime Verification 85
Model Checking of Optimal LTL and ASAP properties 84
Model-based Analysis Support for Dependable Complex Systems in CHESS 83
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference 82
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 82
From PSL to NBA: a Modular Symbolic Encoding 82
SMT-based scenario verification for hybrid systems 82
Syntactic Optimizations for PSL Verification 81
Loop Summarization Using Abstract Transformers 81
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 80
COMPASTA: Integrating COMPASS Functionality into TASTE 80
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 79
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 79
Formalization and Validation of Safety-Critical Requirements 79
Towards the Formal Verification of SysML v2 Models 77
Totale 12.045
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.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 70.751
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021647 0 0 0 0 0 35 151 22 65 180 41 153
2021/2022720 32 16 16 91 43 22 18 119 51 25 136 151
2022/20231.526 56 144 35 253 73 221 42 115 342 122 59 64
2023/20241.293 88 42 95 94 78 178 68 147 101 174 20 208
2024/20254.484 51 41 253 138 227 121 227 324 1.465 541 718 378
2025/20263.069 352 549 668 809 493 198 0 0 0 0 0 0
Totale 14.167