IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202093 0 0 0 0 0 0 0 0 0 0 0 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/20254.432 51 41 253 138 227 121 227 324 1.465 541 718 326
Totale 11.046