IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021153 0 0 0 0 0 0 0 0 0 0 0 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/202610.564 352 549 668 809 493 397 1.325 3.855 649 661 669 137
Totale 21.662