• Sign in
  • Sign up
conf.researchr.org / Stefano Tonetta
  • ETAPS 2019 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • MODELS 2022 profile
  • NASA Formal Methods profile

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

Share
xTue 30 May 10:01
using conf.researchr.org (v1.60.0)
Support page
Sign Up