IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.268 96 88 57 58 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/202511 11 0 0 0 0 0 0 0 0 0 0 0
Totale 6.625