Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefano Tonetta
conf.researchr.org general profile
ACSOS 2024 profile
DX 2024 profile
ETAPS 2019 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
MODELS 2022 profile
NASA Formal Methods 2023 profile
Registered user since Thu 8 Nov 2018
Name:
Stefano Tonetta
Affiliation:
Fondazione Bruno Kessler, Italy
Contributions
2024
DX
Committee Member in Program Committee within the DX'24-track
ACSOS
Author of Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service within the Tutorials-track
2023
NFM
Author of Reasoning with Metric Temporal Logic and Resettable Skewed Clocks within the NFM 2023-track
Committee Member in Program Committee within the NFM 2023-track
2022
MODELS
Author of A Comprehensive Framework for the Analysis of Automotive Systems within the Technical Track-track
2021
RoSE
Author of Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics within the RoSE 2021-track
Author of Assumptions and Guarantees for Composable Models in Papyrus for Robotics within the RoSE 2021-track
2020
FormaliSE
PC Member in Program Committee within the FormaliSE 2020-track
2019
FormaliSE
Committee Member in Program Committee within the FormaliSE 2019-track
ETAPS
Author of The COMPASS 3.0 Toolset within the Posters-track
TACAS
Author of COMPASS 3.0 within the TACAS 2019-track
Share
x
Thu 21 Nov 13:34