IRIS Institutional Research Information System

Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.655
NA - Nord America 8.101
AS - Asia 4.345
SA - Sud America 1.042
Continente sconosciuto - Info sul continente non disponibili 400
AF - Africa 116
OC - Oceania 16
Totale 22.675
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.851
RU - Federazione Russa 4.961
SG - Singapore 1.575
DE - Germania 874
BR - Brasile 872
CN - Cina 838
IT - Italia 757
HK - Hong Kong 637
VN - Vietnam 613
SE - Svezia 356
UA - Ucraina 305
FI - Finlandia 274
FR - Francia 256
GB - Regno Unito 220
IN - India 218
NL - Olanda 159
CA - Canada 154
IE - Irlanda 151
BD - Bangladesh 70
AR - Argentina 66
JP - Giappone 66
MX - Messico 66
BE - Belgio 61
PL - Polonia 58
ZA - Sudafrica 51
IQ - Iraq 50
ES - Italia 44
PK - Pakistan 33
TR - Turchia 30
AT - Austria 29
EU - Europa 26
EC - Ecuador 22
GR - Grecia 21
HU - Ungheria 21
ID - Indonesia 21
SA - Arabia Saudita 20
VE - Venezuela 19
AE - Emirati Arabi Uniti 17
CO - Colombia 17
IL - Israele 17
LT - Lituania 17
SI - Slovenia 17
PY - Paraguay 16
AU - Australia 15
NP - Nepal 15
MY - Malesia 13
MA - Marocco 12
PH - Filippine 12
RO - Romania 12
KE - Kenya 11
KR - Corea 11
TN - Tunisia 11
CL - Cile 10
UZ - Uzbekistan 10
AZ - Azerbaigian 9
CZ - Repubblica Ceca 9
DK - Danimarca 9
LB - Libano 9
UY - Uruguay 9
IR - Iran 8
JO - Giordania 8
OM - Oman 8
CH - Svizzera 7
DZ - Algeria 7
EE - Estonia 7
LK - Sri Lanka 7
CR - Costa Rica 6
DO - Repubblica Dominicana 6
EG - Egitto 6
SY - Repubblica araba siriana 6
BY - Bielorussia 5
TH - Thailandia 5
TT - Trinidad e Tobago 5
ET - Etiopia 4
HN - Honduras 4
KH - Cambogia 4
PE - Perù 4
PT - Portogallo 4
TW - Taiwan 4
AL - Albania 3
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
BO - Bolivia 3
LV - Lettonia 3
MK - Macedonia 3
NG - Nigeria 3
PS - Palestinian Territory 3
BF - Burkina Faso 2
CI - Costa d'Avorio 2
GE - Georgia 2
GY - Guiana 2
JM - Giamaica 2
LU - Lussemburgo 2
NO - Norvegia 2
PA - Panama 2
SK - Slovacchia (Repubblica Slovacca) 2
SR - Suriname 2
A1 - Anonimo 1
AM - Armenia 1
AO - Angola 1
Totale 22.285
Salva come PNG Salva come JPEG
Città #
Council Bluffs 1.005
San Jose 895
Chandler 710
Singapore 673
Hong Kong 608
Jacksonville 566
Ashburn 509
Moscow 328
Los Angeles 290
The Dalles 273
Dallas 268
Beijing 244
Boardman 236
Trento 234
Helsinki 180
Ho Chi Minh City 179
Wilmington 170
Dublin 147
Hefei 138
Hanoi 132
New York 131
Ann Arbor 127
Brooklyn 119
Lauterbourg 113
Kronberg 110
Munich 93
Dong Ket 92
Dearborn 90
São Paulo 81
Phoenix 74
Santa Clara 71
Des Moines 60
Assago 54
Milan 54
Boydton 53
Brussels 51
Houston 49
Frankfurt am Main 48
Tokyo 48
Woodbridge 47
Seattle 46
Washington 45
Guangzhou 43
Nuremberg 43
Ottawa 42
Shanghai 42
Warsaw 42
Montreal 39
Orem 38
Denver 37
Johannesburg 35
Pune 34
Chicago 31
Rome 31
London 30
Rio de Janeiro 30
Pergine Valsugana 29
Toronto 29
Verona 29
Atlanta 27
Miami 27
Stockholm 27
Amsterdam 26
Da Nang 26
Redwood City 26
Turku 26
Poplar 22
Chennai 21
Haiphong 21
Falkenstein 20
Naples 19
Mexico City 18
Norwalk 18
San Francisco 18
Tianjin 17
Belo Horizonte 15
Boston 15
Manchester 15
Buffalo 14
Karachi 14
Vienna 14
Porto Alegre 13
Ankara 12
Brasília 12
Budapest 12
Erbil 12
Fremont 12
Karlsruhe 12
Baghdad 11
Falls Church 11
Querétaro 11
Redmond 11
Secaucus 11
Columbus 10
Curitiba 10
Dhaka 10
Hải Dương 10
Salvador 10
Ames 9
Campinas 9
Totale 10.699
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 354
NuRV: a nuXmv Extension for Runtime Verification 324
HRELTL: A temporal logic for hybrid systems 321
Assumption-based Runtime Verification with Partial Observability and Resets 311
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 307
Contracts-refinement proof system for component-based embedded systems 291
COMPASS 3.0 267
A Lazy Approach to Temporal Epistemic Logic Model Checking 235
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 233
Safety Assessment of AltaRica Models via Symbolic Model Checking 228
Certifying Proofs for LTL Model Checking 225
A Property-Based Proof System for Contract-Based Design 221
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 219
Certifying proofs for SAT-based model checking 217
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 216
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 214
Assumption-Based Runtime Verification of Infinite-State Systems 214
Tightening the contract refinements of a system architecture 212
Model-Based Design of an Energy-System Embedded Controller Using Taste 209
Model Checking and Safety Assessment of Altarica models 206
OthelloPlay: a plug-in based tool for requirement formalization and validation 205
Boolean Abstraction for Temporal Logic Satisfiability 204
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 204
Supporting Requirements Validation: The EuRailCheck Tool 200
Abstract Model Checking without Computing the Abstraction 198
Asynchronous Composition of Local Interface LTL Properties 197
Comparing Different Functional Allocations in Automated Air Traffic Control Design 197
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 195
A comprehensive framework for the analysis of automotive systems 194
Formal Specification and Synthesis of FDI through an Example 194
Safely Using the AUTOSAR End-to-End Protection Library 194
Model Checking of Hybrid Systems using Shallow Synchronization 191
HYCOMP - an SMT-based model checker for hybrid systems 191
A first-order logic characterization of safety and co-safety languages 189
A Uniform Framework for Predicate Abstraction Approximation 189
Infinite-state invariant checking with IC3 and predicate abstraction 189
A Specification-Driven Approach to Embedded FDIR Code Generation 188
Quantifier-free encoding of invariants for hybrid systems 188
An abstraction refinement approach combining precise and approximated techniques 184
IC3 Modulo Theories via Implicit Predicate Abstraction 181
COMPASTA = COMPASS + TASTE 181
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 180
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 179
Assumptions and Guarantees for Composable Models in Papyrus for Robotics 179
Formal Specification and Verification of Dynamic Parametrized Architectures 178
The nuXmv Symbolic Model Checker 178
Efficient Scenario VeriFIcation for Hybrid Automata 177
Parameter Synthesis with IC3 177
Formal Safety Assessment via Contract-Based Design. 177
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 177
Formal Methods for Aerospace Systems 176
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 173
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 170
Safe Decomposition of Startup Requirements: Verification and Synthesis 170
Object Models with Temporal Constraints 167
Symbolic Compilation of PSL 167
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 167
Symbolic Model Checking of Relative Safety LTL Properties 166
Validation of Requirements for Hybrid Systems: a Formal Approach 166
Formalization and validation of a subset of the European Train Control System 165
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 165
A first-order logic characterisation of safety and co-safety languages 164
SMT-Based Verification of Hybrid Systems 164
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 163
GSTE is partitioned model checking 161
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 160
Time-aware Relational Abstractions for Hybrid Systems 160
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 160
Another Look at LTL Modulo Theory over Finite and Infinite Traces 159
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 159
Assumption-based Runtime Verification 159
Towards the Formal Verification of SysML v2 Models 158
Quantifier-free encoding of hybrid systems with non-linear dynamics 157
Combining MILS with Contract-Based Design for Safety and Security Requirements 157
Catalogue of System and Software Properties 155
From System Specification to Anomaly Detection (and back) 154
COMPASTA: Integrating COMPASS Functionality into TASTE 153
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems 153
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems 152
Diagnosability of fair transition systems 151
OCRA: A tool for checking the refinement of temporal contracts 150
A Switching Event-Triggered Model Predictive Control for HVAC Systems 146
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 144
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 143
GSTE is partitioned Model Checking 142
Tightening a Contract Refinement 142
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 142
Model Checking of Optimal LTL and ASAP properties 141
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference 140
Unifying Asynchronous Logics for Hyperproperties 139
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 136
SMT-based scenario verification for hybrid systems 135
Loopfrog: A Static Analyzer for ANSI-C Programs 134
Loop Summarization using State and Transition Invariants 134
Reactive Synthesis from Extended Bounded Response LTL Specifications 134
Formalizing requirements with object models and temporal constraints 133
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 132
Stability Verification of an Industrial Switched PI Control Systems 130
GR(1) is equivalent to R(1) 130
Expressiveness of Extended Bounded Response LTL 130
Totale 18.287
Salva come PNG Salva come JPEG
Categoria #
all - tutte 91.106
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 91.106
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022672 0 0 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/202610.596 352 549 668 809 493 397 1.325 3.855 649 661 669 169
2026/2027981 558 421 2 0 0 0 0 0 0 0 0 0
Totale 22.675