Stefano Tonetta -

Registered user since Thu 8 Nov 2018

Name:Stefano Tonetta

Affiliation:Fondazione Bruno Kessler, Italy

Contributions

NASA Formal Methods	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
MODELS 2022	Author of A Comprehensive Framework for the Analysis of Automotive Systems within the Technical Track-track
RoSE 2021	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
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019	Committee Member in Program Committee within the FormaliSE 2019-track
ETAPS 2019	Author of The COMPASS 3.0 Toolset within the Posters-track
TACAS 2019	Author of COMPASS 3.0 within the TACAS 2019-track