IRIS Institutional Research Information System

Tonetta, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.234
EU - Europa 4.047
AS - Asia 2.111
SA - Sud America 468
Continente sconosciuto - Info sul continente non disponibili 27
AF - Africa 24
OC - Oceania 10
Totale 10.921
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.130
RU - Federazione Russa 1.310
SG - Singapore 751
DE - Germania 731
HK - Hong Kong 540
IT - Italia 532
BR - Brasile 442
CN - Cina 391
UA - Ucraina 293
FI - Finlandia 254
SE - Svezia 231
IN - India 157
IE - Irlanda 145
GB - Regno Unito 132
NL - Olanda 132
VN - Vietnam 104
CA - Canada 78
FR - Francia 70
BE - Belgio 59
JP - Giappone 33
EU - Europa 26
BD - Bangladesh 24
AT - Austria 21
HU - Ungheria 21
GR - Grecia 19
MX - Messico 19
PK - Pakistan 18
SI - Slovenia 16
ES - Italia 14
IQ - Iraq 11
AU - Australia 10
KR - Corea 10
LT - Lituania 10
RO - Romania 10
CZ - Repubblica Ceca 9
DK - Danimarca 9
AR - Argentina 8
IR - Iran 8
EE - Estonia 7
IL - Israele 7
TR - Turchia 7
AE - Emirati Arabi Uniti 6
AZ - Azerbaigian 6
LB - Libano 6
ZA - Sudafrica 6
EC - Ecuador 5
KE - Kenya 5
LK - Sri Lanka 5
PL - Polonia 5
UZ - Uzbekistan 5
CO - Colombia 4
MY - Malesia 4
BY - Bielorussia 3
CH - Svizzera 3
EG - Egitto 3
MA - Marocco 3
NP - Nepal 3
UY - Uruguay 3
CL - Cile 2
CR - Costa Rica 2
GE - Georgia 2
ID - Indonesia 2
LU - Lussemburgo 2
LV - Lettonia 2
PE - Perù 2
PT - Portogallo 2
SA - Arabia Saudita 2
SY - Repubblica araba siriana 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
TW - Taiwan 2
A1 - Anonimo 1
AL - Albania 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BO - Bolivia 1
CY - Cipro 1
DZ - Algeria 1
ET - Etiopia 1
HN - Honduras 1
JM - Giamaica 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 1
MK - Macedonia 1
NG - Nigeria 1
NO - Norvegia 1
OM - Oman 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TJ - Tagikistan 1
VE - Venezuela 1
Totale 10.921
Salva come PNG Salva come JPEG
Città #
Chandler 710
Jacksonville 564
Hong Kong 527
Moscow 326
Singapore 296
Boardman 232
The Dalles 225
Ashburn 207
Trento 199
Los Angeles 187
Wilmington 170
Helsinki 169
Dublin 141
Hefei 136
Ann Arbor 127
Kronberg 110
Brooklyn 94
Dong Ket 92
Munich 92
Dearborn 89
Beijing 83
New York 53
Brussels 51
Woodbridge 47
Assago 42
Ottawa 41
Milan 39
Guangzhou 35
Houston 34
Nuremberg 33
Pune 32
Seattle 32
Shanghai 31
Redwood City 26
Phoenix 25
Santa Clara 24
São Paulo 24
Verona 23
Miami 20
Toronto 20
Council Bluffs 19
Falkenstein 19
Tokyo 19
Rome 18
Turku 18
Frankfurt am Main 17
Norwalk 17
London 16
Belo Horizonte 14
Rio de Janeiro 14
Budapest 12
Fremont 12
Karlsruhe 12
San Francisco 12
Amsterdam 11
Falls Church 11
Redmond 11
Vienna 10
Ames 9
Cheyenne 9
Chicago 9
Columbus 9
Dallas 9
Inglewood 9
Karachi 9
Leawood 9
Ljubljana 8
Nanjing 8
San Mateo 8
Atlanta 7
Chennai 7
Dhaka 7
Montreal 7
Stockholm 7
São Luís 7
Baku 6
Bolzano 6
Boston 6
Braunschweig 6
Charlotte 6
Colombo 6
Hanover 6
Juiz de Fora 6
Mexico City 6
Secaucus 6
Augusta 5
Caxias do Sul 5
Curitiba 5
Kagoya 5
Mountain View 5
Osasco 5
Portland 5
Porto Alegre 5
Ribeirão Preto 5
Salvador 5
Tashkent 5
Timisoara 5
Zhengzhou 5
Alexandria 4
Bangalore 4
Totale 5.941
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 253
HRELTL: A temporal logic for hybrid systems 250
NuRV: a nuXmv Extension for Runtime Verification 238
Contracts-refinement proof system for component-based embedded systems 222
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 207
Assumption-based Runtime Verification with Partial Observability and Resets 202
COMPASS 3.0 185
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 158
Tightening the contract refinements of a system architecture 137
A Lazy Approach to Temporal Epistemic Logic Model Checking 134
Model-Based Design of an Energy-System Embedded Controller Using Taste 133
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 126
OthelloPlay: a plug-in based tool for requirement formalization and validation 125
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 124
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 124
Certifying Proofs for LTL Model Checking 123
Safely Using the AUTOSAR End-to-End Protection Library 123
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 122
Supporting Requirements Validation: The EuRailCheck Tool 119
Safety Assessment of AltaRica Models via Symbolic Model Checking 116
Formal Methods for Aerospace Systems 112
Model Checking and Safety Assessment of Altarica models 109
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 109
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 108
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 108
Formal Specification and Verification of Dynamic Parametrized Architectures 108
Abstract Model Checking without Computing the Abstraction 107
Comparing Different Functional Allocations in Automated Air Traffic Control Design 107
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 106
A Property-Based Proof System for Contract-Based Design 105
Model Checking of Hybrid Systems using Shallow Synchronization 103
An abstraction refinement approach combining precise and approximated techniques 103
Assumption-Based Runtime Verification of Infinite-State Systems 103
A Uniform Framework for Predicate Abstraction Approximation 102
Time-aware Relational Abstractions for Hybrid Systems 102
Formal Specification and Synthesis of FDI through an Example 101
Quantifier-free encoding of invariants for hybrid systems 101
Boolean Abstraction for Temporal Logic Satisfiability 98
Catalogue of System and Software Properties 98
Infinite-state invariant checking with IC3 and predicate abstraction 97
Combining MILS with Contract-Based Design for Safety and Security Requirements 96
Certifying proofs for SAT-based model checking 96
GSTE is partitioned model checking 95
HYCOMP - an SMT-based model checker for hybrid systems 93
Formalization and validation of a subset of the European Train Control System 91
Efficient Scenario VeriFIcation for Hybrid Automata 90
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 90
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 89
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 89
IC3 Modulo Theories via Implicit Predicate Abstraction 88
Formal Safety Assessment via Contract-Based Design. 88
Object Models with Temporal Constraints 87
Symbolic Compilation of PSL 86
GSTE is partitioned Model Checking 86
The nuXmv Symbolic Model Checker 86
A comprehensive framework for the analysis of automotive systems 85
SMT-Based Verification of Hybrid Systems 85
Safe Decomposition of Startup Requirements: Verification and Synthesis 85
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 84
Validation of Requirements for Hybrid Systems: a Formal Approach 83
From System Specification to Anomaly Detection (and back) 83
Asynchronous Composition of Local Interface LTL Properties 82
Formalizing requirements with object models and temporal constraints 80
Quantifier-free encoding of hybrid systems with non-linear dynamics 80
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 79
Loop Summarization using State and Transition Invariants 77
Parameter Synthesis with IC3 77
Tightening a Contract Refinement 77
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 76
Assumptions and Guarantees for Composable Models in Papyrus for Robotics 75
Loopfrog: A Static Analyzer for ANSI-C Programs 74
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 73
Requirements Validation for Hybrid Systems 72
COMPASTA = COMPASS + TASTE 72
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach 71
Syntactic Optimizations for PSL Verification 70
OCRA: A tool for checking the refinement of temporal contracts 70
A first-order logic characterization of safety and co-safety languages 69
Loop Summarization Using Abstract Transformers 69
Model-based Analysis Support for Dependable Complex Systems in CHESS 69
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 69
From PSL to NBA: a Modular Symbolic Encoding 68
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems 68
A first-order logic characterisation of safety and co-safety languages 67
Diagnosability of fair transition systems 67
Model Checking of Optimal LTL and ASAP properties 67
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 66
Formalization and Validation of Safety-Critical Requirements 66
From Informal Requirements to Property-Driven Formal Validation 63
SMT-based scenario verification for hybrid systems 63
Verification of Railway Interlocking - Compositional Approach with OCRA 62
The synergy of precise and fast abstractions for program verification 61
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems 61
Verifying LTL Properties of Hybrid Systems with K-Liveness 59
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 59
Model-Based Safety Analysis of Mode Transitions 58
Expressiveness of Extended Bounded Response LTL 58
Property-driven partitioning for abstraction refinement 57
Towards the Formal Verification of SysML v2 Models 56
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers 55
Totale 9.825
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.931
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 60.931
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20254.484 51 41 253 138 227 121 227 324 1.465 541 718 378
2025/2026151 151 0 0 0 0 0 0 0 0 0 0 0
Totale 11.249