IRIS Institutional Research Information System

Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.479
NA - Nord America 6.545
AS - Asia 4.205
SA - Sud America 1.024
AF - Africa 114
Continente sconosciuto - Info sul continente non disponibili 27
OC - Oceania 16
Totale 20.410
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.318
RU - Federazione Russa 4.960
SG - Singapore 1.535
DE - Germania 863
BR - Brasile 859
CN - Cina 779
IT - Italia 681
HK - Hong Kong 624
VN - Vietnam 610
UA - Ucraina 305
SE - Svezia 290
FI - Finlandia 274
FR - Francia 254
GB - Regno Unito 217
IN - India 217
NL - Olanda 156
IE - Irlanda 151
CA - Canada 135
BD - Bangladesh 66
AR - Argentina 64
MX - Messico 64
JP - Giappone 63
BE - Belgio 59
PL - Polonia 57
ZA - Sudafrica 51
IQ - Iraq 50
ES - Italia 40
PK - Pakistan 33
AT - Austria 29
TR - Turchia 29
EU - Europa 26
EC - Ecuador 22
HU - Ungheria 21
SA - Arabia Saudita 20
GR - Grecia 19
ID - Indonesia 19
VE - Venezuela 19
AE - Emirati Arabi Uniti 17
SI - Slovenia 17
CO - Colombia 16
IL - Israele 16
LT - Lituania 16
AU - Australia 15
PY - Paraguay 15
NP - Nepal 13
MA - Marocco 12
KR - Corea 11
PH - Filippine 11
RO - Romania 11
TN - Tunisia 11
KE - Kenya 10
UZ - Uzbekistan 10
AZ - Azerbaigian 9
CL - Cile 9
CZ - Repubblica Ceca 9
DK - Danimarca 9
UY - Uruguay 9
IR - Iran 8
LB - Libano 8
MY - Malesia 8
OM - Oman 8
CH - Svizzera 7
DZ - Algeria 7
EE - Estonia 7
JO - Giordania 7
LK - Sri Lanka 7
DO - Repubblica Dominicana 6
EG - Egitto 6
SY - Repubblica araba siriana 6
BY - Bielorussia 5
CR - Costa Rica 5
TT - Trinidad e Tobago 5
ET - Etiopia 4
HN - Honduras 4
PE - Perù 4
PT - Portogallo 4
TH - Thailandia 4
AL - Albania 3
BO - Bolivia 3
KH - Cambogia 3
LV - Lettonia 3
NG - Nigeria 3
PS - Palestinian Territory 3
TW - Taiwan 3
BA - Bosnia-Erzegovina 2
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 20.395
Salva come PNG Salva come JPEG
Città #
San Jose 816
Chandler 710
Singapore 664
Hong Kong 597
Jacksonville 564
Ashburn 501
Moscow 328
Los Angeles 277
The Dalles 273
Dallas 262
Boardman 236
Beijing 230
Trento 211
Helsinki 180
Ho Chi Minh City 178
Wilmington 170
Dublin 147
Hefei 137
Hanoi 130
Ann Arbor 127
New York 124
Brooklyn 116
Lauterbourg 113
Kronberg 110
Munich 93
Dong Ket 92
Dearborn 89
São Paulo 81
Assago 54
Brussels 51
Houston 49
Milan 48
Frankfurt am Main 47
Tokyo 47
Woodbridge 47
Seattle 45
Guangzhou 43
Nuremberg 43
Warsaw 42
Ottawa 41
Shanghai 39
Orem 38
Santa Clara 38
Phoenix 37
Denver 36
Johannesburg 35
Montreal 35
Pune 34
Council Bluffs 33
Rio de Janeiro 30
London 29
Pergine Valsugana 29
Stockholm 27
Amsterdam 26
Da Nang 26
Redwood City 26
Turku 26
Atlanta 25
Miami 25
Toronto 25
Verona 25
Chicago 23
Poplar 22
Rome 22
Chennai 21
Haiphong 21
Falkenstein 20
Naples 19
Norwalk 18
Mexico City 17
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
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
Charlotte 9
Cheyenne 9
Inglewood 9
Leawood 9
Totale 9.288
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 343
HRELTL: A temporal logic for hybrid systems 314
NuRV: a nuXmv Extension for Runtime Verification 313
Assumption-based Runtime Verification with Partial Observability and Resets 301
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 295
Contracts-refinement proof system for component-based embedded systems 282
COMPASS 3.0 245
A Lazy Approach to Temporal Epistemic Logic Model Checking 226
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 221
Safety Assessment of AltaRica Models via Symbolic Model Checking 217
Certifying Proofs for LTL Model Checking 214
A Property-Based Proof System for Contract-Based Design 209
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 209
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 203
Tightening the contract refinements of a system architecture 202
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 201
Model-Based Design of an Energy-System Embedded Controller Using Taste 200
Certifying proofs for SAT-based model checking 199
Assumption-Based Runtime Verification of Infinite-State Systems 199
Model Checking and Safety Assessment of Altarica models 197
OthelloPlay: a plug-in based tool for requirement formalization and validation 196
Boolean Abstraction for Temporal Logic Satisfiability 193
Supporting Requirements Validation: The EuRailCheck Tool 192
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 191
Comparing Different Functional Allocations in Automated Air Traffic Control Design 189
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 186
Safely Using the AUTOSAR End-to-End Protection Library 186
Abstract Model Checking without Computing the Abstraction 182
Formal Specification and Synthesis of FDI through an Example 182
Model Checking of Hybrid Systems using Shallow Synchronization 180
Quantifier-free encoding of invariants for hybrid systems 180
HYCOMP - an SMT-based model checker for hybrid systems 180
A comprehensive framework for the analysis of automotive systems 179
A Uniform Framework for Predicate Abstraction Approximation 178
Infinite-state invariant checking with IC3 and predicate abstraction 178
Asynchronous Composition of Local Interface LTL Properties 177
An abstraction refinement approach combining precise and approximated techniques 174
IC3 Modulo Theories via Implicit Predicate Abstraction 172
COMPASTA = COMPASS + TASTE 171
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 169
Formal Specification and Verification of Dynamic Parametrized Architectures 169
Parameter Synthesis with IC3 168
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 168
Formal Safety Assessment via Contract-Based Design. 167
Formal Methods for Aerospace Systems 167
A first-order logic characterization of safety and co-safety languages 165
The nuXmv Symbolic Model Checker 165
Efficient Scenario VeriFIcation for Hybrid Automata 164
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 163
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 161
Safe Decomposition of Startup Requirements: Verification and Synthesis 160
Validation of Requirements for Hybrid Systems: a Formal Approach 158
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 158
Object Models with Temporal Constraints 157
Symbolic Model Checking of Relative Safety LTL Properties 156
A first-order logic characterisation of safety and co-safety languages 156
Symbolic Compilation of PSL 156
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 156
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 155
Assumptions and Guarantees for Composable Models in Papyrus for Robotics 155
Formalization and validation of a subset of the European Train Control System 153
GSTE is partitioned model checking 152
SMT-Based Verification of Hybrid Systems 151
Time-aware Relational Abstractions for Hybrid Systems 151
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 151
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 151
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 150
Combining MILS with Contract-Based Design for Safety and Security Requirements 149
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 147
Quantifier-free encoding of hybrid systems with non-linear dynamics 146
Catalogue of System and Software Properties 144
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems 144
Diagnosability of fair transition systems 143
OCRA: A tool for checking the refinement of temporal contracts 142
From System Specification to Anomaly Detection (and back) 141
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems 141
Assumption-based Runtime Verification 141
Another Look at LTL Modulo Theory over Finite and Infinite Traces 140
Towards the Formal Verification of SysML v2 Models 138
COMPASTA: Integrating COMPASS Functionality into TASTE 137
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 134
Tightening a Contract Refinement 133
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 133
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference 132
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 132
GSTE is partitioned Model Checking 132
A Switching Event-Triggered Model Predictive Control for HVAC Systems 130
Model Checking of Optimal LTL and ASAP properties 129
SMT-based scenario verification for hybrid systems 127
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 125
Loop Summarization using State and Transition Invariants 125
Unifying Asynchronous Logics for Hyperproperties 124
Formalizing requirements with object models and temporal constraints 124
Loopfrog: A Static Analyzer for ANSI-C Programs 124
GR(1) is equivalent to R(1) 121
Reactive Synthesis from Extended Bounded Response LTL Specifications 121
Syntactic Optimizations for PSL Verification 120
Expressiveness of Extended Bounded Response LTL 120
Stability Verification of an Industrial Switched PI Control Systems 119
Loop Summarization Using Abstract Transformers 118
Totale 17.084
Salva come PNG Salva come JPEG
Categoria #
all - tutte 80.719
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 80.719
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021374 0 0 0 0 0 0 0 0 0 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/20269.679 352 549 668 809 493 397 1.325 3.855 649 582 0 0
Totale 20.777