IRIS Institutional Research Information System

Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.601
EU - Europa 2.250
AS - Asia 976
Continente sconosciuto - Info sul continente non disponibili 27
SA - Sud America 15
OC - Oceania 9
AF - Africa 1
Totale 6.879
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.543
DE - Germania 616
IT - Italia 361
UA - Ucraina 289
HK - Hong Kong 264
SE - Svezia 224
FI - Finlandia 206
CN - Cina 203
SG - Singapore 192
IE - Irlanda 140
IN - India 135
GB - Regno Unito 113
VN - Vietnam 95
RU - Federazione Russa 72
FR - Francia 63
CA - Canada 54
BE - Belgio 53
EU - Europa 26
JP - Giappone 26
HU - Ungheria 19
GR - Grecia 18
SI - Slovenia 16
BR - Brasile 12
PK - Pakistan 12
KR - Corea 10
AU - Australia 9
DK - Danimarca 9
ES - Italia 9
IR - Iran 8
AT - Austria 7
IL - Israele 7
RO - Romania 7
CZ - Repubblica Ceca 6
LB - Libano 6
BD - Bangladesh 5
LT - Lituania 4
MX - Messico 4
NL - Olanda 4
AZ - Azerbaigian 3
MY - Malesia 3
AR - Argentina 2
BY - Bielorussia 2
CH - Svizzera 2
LK - Sri Lanka 2
LU - Lussemburgo 2
PT - Portogallo 2
TW - Taiwan 2
A1 - Anonimo 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
BO - Bolivia 1
EE - Estonia 1
IQ - Iraq 1
LV - Lettonia 1
MA - Marocco 1
NO - Norvegia 1
PL - Polonia 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
Totale 6.879
Salva come PNG Salva come JPEG
Città #
Chandler 710
Jacksonville 564
Hong Kong 255
Boardman 225
Ashburn 186
Wilmington 170
Los Angeles 165
Trento 163
Helsinki 139
Singapore 137
Dublin 136
Ann Arbor 127
Kronberg 110
Dong Ket 92
Dearborn 89
Brooklyn 82
Beijing 81
Woodbridge 47
Brussels 46
New York 45
Ottawa 37
Houston 33
Munich 33
Guangzhou 32
Pune 32
Seattle 29
Nuremberg 28
Redwood City 26
Shanghai 26
Milan 23
Phoenix 21
Miami 20
Verona 20
Norwalk 17
Tokyo 15
Budapest 12
Fremont 12
Karlsruhe 12
Falls Church 11
Redmond 11
Toronto 11
Council Bluffs 10
Rome 10
Ames 9
Cheyenne 9
Inglewood 9
Leawood 9
Ljubljana 8
Nanjing 8
San Mateo 8
Karachi 7
São Luís 7
Braunschweig 6
Dallas 6
Hanover 6
Santa Clara 6
Augusta 5
Bolzano 5
Frankfurt am Main 5
Kagoya 5
London 5
Mountain View 5
Portland 5
Timisoara 5
Bangalore 4
Fairfield 4
Madrid 4
Palermo 4
Santa Monica 4
Vienna 4
Zhengzhou 4
Alfeld 3
Ardabil 3
Baku 3
Barcelona 3
Bari 3
Boskovice 3
Brno 3
Caerano di San Marco 3
Cambridge 3
Cologne 3
Duncan 3
Falkenstein 3
Gold Coast 3
Havre De Grace 3
Monmouth Junction 3
Pittsburgh 3
Pozzolengo 3
Saint Petersburg 3
San Francisco 3
Secaucus 3
Tappahannock 3
Tlalpan 3
Wakefield 3
West Lafayette 3
Wuhan 3
Adelaide 2
Andover 2
Bengaluru 2
Borgo San Lorenzo 2
Totale 4.299
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 226
NuRV: a nuXmv Extension for Runtime Verification 207
Assumption-based Runtime Verification with Partial Observability and Resets 171
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 171
COMPASS 3.0 159
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 138
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 106
Tightening the contract refinements of a system architecture 105
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 102
Model-Based Design of an Energy-System Embedded Controller Using Taste 100
OthelloPlay: a plug-in based tool for requirement formalization and validation 99
Safely Using the AUTOSAR End-to-End Protection Library 98
A Lazy Approach to Temporal Epistemic Logic Model Checking 97
Supporting Requirements Validation: The EuRailCheck Tool 95
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 92
Formal Specification and Verification of Dynamic Parametrized Architectures 92
Formal Methods for Aerospace Systems 90
Abstract Model Checking without Computing the Abstraction 84
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 84
Safety Assessment of AltaRica Models via Symbolic Model Checking 84
Comparing Different Functional Allocations in Automated Air Traffic Control Design 83
Certifying Proofs for LTL Model Checking 79
A Uniform Framework for Predicate Abstraction Approximation 78
Model Checking and Safety Assessment of Altarica models 78
An abstraction refinement approach combining precise and approximated techniques 77
A Property-Based Proof System for Contract-Based Design 77
Catalogue of System and Software Properties 77
Boolean Abstraction for Temporal Logic Satisfiability 75
Combining MILS with Contract-Based Design for Safety and Security Requirements 75
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 74
Formal Specification and Synthesis of FDI through an Example 73
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 73
Model Checking of Hybrid Systems using Shallow Synchronization 72
Infinite-state invariant checking with IC3 and predicate abstraction 72
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 69
Quantifier-free encoding of invariants for hybrid systems 68
GSTE is partitioned Model Checking 67
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 67
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 66
Efficient Scenario VeriFIcation for Hybrid Automata 65
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 64
Object Models with Temporal Constraints 63
Formalization and validation of a subset of the European Train Control System 63
Formalizing requirements with object models and temporal constraints 62
SMT-Based Verification of Hybrid Systems 62
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 62
The nuXmv Symbolic Model Checker 62
IC3 Modulo Theories via Implicit Predicate Abstraction 61
Formal Safety Assessment via Contract-Based Design. 61
Certifying proofs for SAT-based model checking 61
Assumption-Based Runtime Verification of Infinite-State Systems 61
Validation of Requirements for Hybrid Systems: a Formal Approach 60
Quantifier-free encoding of hybrid systems with non-linear dynamics 60
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 60
Contracts-refinement proof system for component-based embedded systems 59
HYCOMP - an SMT-based model checker for hybrid systems 59
Symbolic Compilation of PSL 58
Loopfrog: A Static Analyzer for ANSI-C Programs 58
GSTE is partitioned model checking 57
Loop Summarization using State and Transition Invariants 57
HRELTL: A temporal logic for hybrid systems 57
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 56
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 56
From System Specification to Anomaly Detection (and back) 56
Requirements Validation for Hybrid Systems 55
Time-aware Relational Abstractions for Hybrid Systems 54
Tightening a Contract Refinement 54
Parameter Synthesis with IC3 52
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach 52
From PSL to NBA: a Modular Symbolic Encoding 51
Safe Decomposition of Startup Requirements: Verification and Synthesis 51
Formalization and Validation of Safety-Critical Requirements 49
A comprehensive framework for the analysis of automotive systems 48
Loop Summarization Using Abstract Transformers 48
Syntactic Optimizations for PSL Verification 46
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems 46
From Informal Requirements to Property-Driven Formal Validation 45
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 45
Verification of Railway Interlocking - Compositional Approach with OCRA 44
SMT-based scenario verification for hybrid systems 43
OCRA: A tool for checking the refinement of temporal contracts 42
Assumptions and Guarantees for Composable Models in Papyrus for Robotics 42
Diagnosability of fair transition systems 39
Property-driven partitioning for abstraction refinement 39
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 39
Asynchronous Composition of Local Interface LTL Properties 38
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 38
Verifying LTL Properties of Hybrid Systems with K-Liveness 38
Model-Based Safety Analysis of Mode Transitions 37
Model-based Analysis Support for Dependable Complex Systems in CHESS 37
The synergy of precise and fast abstractions for program verification 36
A first-order logic characterisation of safety and co-safety languages 35
Linear-time Temporal Logic with Event Freezing Functions 34
Searching for Ribbon-Shaped Paths in Fair Transition Systems 34
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 33
COMPASTA = COMPASS + TASTE 32
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference 30
Reactive Synthesis from Extended Bounded Response LTL Specifications 30
Expressiveness of Extended Bounded Response LTL 30
COMPASTA: Integrating COMPASS Functionality into TASTE 28
Totale 6.794
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.043
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 43.043
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020969 0 0 0 0 154 77 156 41 152 186 110 93
2020/20211.052 115 10 132 39 109 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/2025553 51 41 253 138 70 0 0 0 0 0 0 0
Totale 7.167