IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020389 0 0 0 0 0 0 0 0 0 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/20252.983 51 41 253 138 227 121 227 324 1.465 136 0 0
Totale 9.597