IRIS Institutional Research Information System

Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.241
EU - Europa 8.717
AS - Asia 4.368
SA - Sud America 1.047
Continente sconosciuto - Info sul continente non disponibili 400
AF - Africa 122
OC - Oceania 17
Totale 23.912
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.962
RU - Federazione Russa 4.961
SG - Singapore 1.580
DE - Germania 878
BR - Brasile 875
CN - Cina 840
IT - Italia 785
HK - Hong Kong 644
VN - Vietnam 613
SE - Svezia 356
UA - Ucraina 307
FI - Finlandia 274
FR - Francia 260
GB - Regno Unito 235
IN - India 218
CA - Canada 176
NL - Olanda 159
IE - Irlanda 151
BD - Bangladesh 72
JP - Giappone 67
MX - Messico 67
AR - Argentina 66
BE - Belgio 62
PL - Polonia 58
ZA - Sudafrica 51
IQ - Iraq 50
ES - Italia 44
PK - Pakistan 33
TR - Turchia 31
AT - Austria 29
EU - Europa 26
EC - Ecuador 22
GR - Grecia 21
HU - Ungheria 21
ID - Indonesia 21
LT - Lituania 21
SA - Arabia Saudita 21
VE - Venezuela 19
AE - Emirati Arabi Uniti 18
CO - Colombia 18
IL - Israele 17
SI - Slovenia 17
AU - Australia 16
NP - Nepal 16
PY - Paraguay 16
MY - Malesia 14
MA - Marocco 12
PH - Filippine 12
RO - Romania 12
CL - Cile 11
KE - Kenya 11
KR - Corea 11
TN - Tunisia 11
EE - Estonia 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
LK - Sri Lanka 7
SC - Seychelles 7
CR - Costa Rica 6
DO - Repubblica Dominicana 6
EG - Egitto 6
SY - Repubblica araba siriana 6
TH - Thailandia 6
TT - Trinidad e Tobago 6
BY - Bielorussia 5
HN - Honduras 5
BA - Bosnia-Erzegovina 4
ET - Etiopia 4
KH - Cambogia 4
PE - Perù 4
PT - Portogallo 4
TW - Taiwan 4
AL - Albania 3
BG - Bulgaria 3
BO - Bolivia 3
JM - Giamaica 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
LU - Lussemburgo 2
NO - Norvegia 2
PA - Panama 2
SK - Slovacchia (Repubblica Slovacca) 2
SR - Suriname 2
SV - El Salvador 2
A1 - Anonimo 1
Totale 23.520
Salva come PNG Salva come JPEG
Città #
San Jose 1.041
Council Bluffs 1.005
Chandler 710
Singapore 677
Hong Kong 610
Jacksonville 567
Ashburn 522
Moscow 328
Los Angeles 307
Dallas 278
The Dalles 273
Beijing 244
Trento 238
Boardman 236
Helsinki 180
Ho Chi Minh City 179
New York 179
Wilmington 173
Dublin 148
Hefei 138
Hanoi 132
Ann Arbor 127
Buffalo 125
Brooklyn 123
Lauterbourg 113
Kronberg 110
Munich 93
Dong Ket 92
Phoenix 92
Dearborn 90
Santa Clara 83
São Paulo 81
Des Moines 60
Milan 57
Houston 55
Assago 54
Boydton 53
Brussels 51
Frankfurt am Main 48
Tokyo 48
Washington 48
Seattle 47
Woodbridge 47
Denver 46
Guangzhou 43
Montreal 43
Nuremberg 43
Ottawa 43
Chicago 42
Shanghai 42
Warsaw 42
Orem 38
Toronto 36
Johannesburg 35
Miami 34
Pune 34
London 31
Rome 31
Atlanta 30
Rio de Janeiro 30
Pergine Valsugana 29
Verona 29
Stockholm 27
Amsterdam 26
Da Nang 26
Redwood City 26
San Francisco 26
Turku 26
Garland 22
Naples 22
Poplar 22
Chennai 21
Haiphong 21
Norwalk 21
Queens 21
Falkenstein 20
Boston 19
Manchester 19
Mexico City 18
Lawrenceville 17
Tianjin 17
Belo Horizonte 16
Vienna 15
Karachi 14
Princeton 14
Porto Alegre 13
Ankara 12
Brasília 12
Budapest 12
Columbus 12
Erbil 12
Fremont 12
Karlsruhe 12
Tampa 12
Baghdad 11
Falls Church 11
Las Vegas 11
Querétaro 11
Redmond 11
Secaucus 11
Totale 11.214
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 366
NuRV: a nuXmv Extension for Runtime Verification 332
HRELTL: A temporal logic for hybrid systems 327
Assumption-based Runtime Verification with Partial Observability and Resets 318
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 315
Contracts-refinement proof system for component-based embedded systems 297
COMPASS 3.0 276
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 244
A Lazy Approach to Temporal Epistemic Logic Model Checking 243
Safety Assessment of AltaRica Models via Symbolic Model Checking 237
Certifying Proofs for LTL Model Checking 234
A Property-Based Proof System for Contract-Based Design 228
Certifying proofs for SAT-based model checking 228
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 226
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 224
Assumption-Based Runtime Verification of Infinite-State Systems 223
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 222
Tightening the contract refinements of a system architecture 220
Model-Based Design of an Energy-System Embedded Controller Using Taste 217
Model Checking and Safety Assessment of Altarica models 215
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 214
Boolean Abstraction for Temporal Logic Satisfiability 213
OthelloPlay: a plug-in based tool for requirement formalization and validation 211
Supporting Requirements Validation: The EuRailCheck Tool 208
Abstract Model Checking without Computing the Abstraction 207
Comparing Different Functional Allocations in Automated Air Traffic Control Design 207
Asynchronous Composition of Local Interface LTL Properties 205
A comprehensive framework for the analysis of automotive systems 205
Formal Specification and Synthesis of FDI through an Example 204
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 203
Quantifier-free encoding of invariants for hybrid systems 201
A first-order logic characterization of safety and co-safety languages 200
Safely Using the AUTOSAR End-to-End Protection Library 200
Model Checking of Hybrid Systems using Shallow Synchronization 198
HYCOMP - an SMT-based model checker for hybrid systems 198
A Uniform Framework for Predicate Abstraction Approximation 197
Infinite-state invariant checking with IC3 and predicate abstraction 197
A Specification-Driven Approach to Embedded FDIR Code Generation 196
An abstraction refinement approach combining precise and approximated techniques 193
COMPASTA = COMPASS + TASTE 192
Parameter Synthesis with IC3 191
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 190
IC3 Modulo Theories via Implicit Predicate Abstraction 188
Assumptions and Guarantees for Composable Models in Papyrus for Robotics 188
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 187
Formal Safety Assessment via Contract-Based Design. 185
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 185
The nuXmv Symbolic Model Checker 185
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 184
Formal Specification and Verification of Dynamic Parametrized Architectures 184
Efficient Scenario VeriFIcation for Hybrid Automata 182
Formal Methods for Aerospace Systems 182
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 178
Safe Decomposition of Startup Requirements: Verification and Synthesis 178
Object Models with Temporal Constraints 175
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 175
Validation of Requirements for Hybrid Systems: a Formal Approach 174
Towards the Formal Verification of SysML v2 Models 173
Symbolic Model Checking of Relative Safety LTL Properties 173
A first-order logic characterisation of safety and co-safety languages 173
Symbolic Compilation of PSL 173
Formalization and validation of a subset of the European Train Control System 172
SMT-Based Verification of Hybrid Systems 172
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 171
Assumption-based Runtime Verification 171
Another Look at LTL Modulo Theory over Finite and Infinite Traces 170
GSTE is partitioned model checking 169
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 169
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 168
COMPASTA: Integrating COMPASS Functionality into TASTE 168
Time-aware Relational Abstractions for Hybrid Systems 168
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 167
Catalogue of System and Software Properties 164
Diagnosability of fair transition systems 163
Quantifier-free encoding of hybrid systems with non-linear dynamics 163
Combining MILS with Contract-Based Design for Safety and Security Requirements 163
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 163
From System Specification to Anomaly Detection (and back) 162
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems 162
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems 160
OCRA: A tool for checking the refinement of temporal contracts 158
A Switching Event-Triggered Model Predictive Control for HVAC Systems 155
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 153
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 152
GSTE is partitioned Model Checking 149
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 148
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference 147
Tightening a Contract Refinement 147
Unifying Asynchronous Logics for Hyperproperties 146
SMT-based scenario verification for hybrid systems 146
Model Checking of Optimal LTL and ASAP properties 146
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 143
Loop Summarization Using Abstract Transformers 143
Stability Verification of an Industrial Switched PI Control Systems 142
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 142
Loop Summarization using State and Transition Invariants 141
Formalizing requirements with object models and temporal constraints 140
Loopfrog: A Static Analyzer for ANSI-C Programs 140
Reactive Synthesis from Extended Bounded Response LTL Specifications 139
GR(1) is equivalent to R(1) 138
Totale 19.124
Salva come PNG Salva come JPEG
Categoria #
all - tutte 95.966
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 95.966
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022656 0 0 0 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/20272.218 558 421 850 389 0 0 0 0 0 0 0 0
Totale 23.912