• Sign in
  • Sign up
conf.researchr.org / Stefano Tonetta
  • 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
No Photo

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
xMon 19 May 08:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up