• Sign in
  • Sign up
conf.researchr.org / Ezio Bartocci
  • ECOOP and ISSTA 2018 profile
  • ETAPS 2019 profile
  • FM 2026 profile
  • HAVELUND 65 profile
  • ICST 2023 profile
  • ISSTA 2017 profile
  • ISSTA 2019 profile
  • ISSTA 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2024 profile
Ezio Bartocci

Registered user since Mon 10 Oct 2016

Name:Ezio Bartocci
Bio:

He is a full professor for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit.

Country:Austria
Affiliation:Technische Universität Wien
Personal website: http://www.eziobartocci.com/
Research interests:Cyber-Physical Systems

Contributions

2026

FM

  • Committee Member in Program Committee within the Research Track-track

2024

VMCAI

  • Committee Member in Program Committee within the VMCAI 2024-track

2023

ICST

  • Author of Property-Based Mutation Testing within the Research Papers-track

2020

HAVELUND 65

  • Committee Member in Organizing Committee within the HAVELUND 65-track

ISSTA

  • Author of CPSDebug: A Tool for Failure Explanation within the Tool Demonstration-track

2019

ISSTA

  • Committee Member in Program Committee within the Workshop – TAV-CPS/IoT-track

HSB

  • Committee Member in Program Committee within the HSB-track

MeTRiD

  • Committee Member in Program Committee within the MeTRiD-track
  • Speaker of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track

2018

VORTEX

  • Committee Member in Program Committee within the VORTEX-track

2017

SPIN

  • Committee Member in Program Committee

VORTEX

  • Committee Member in Program Committee within the VORTEX17-track
Share
xMon 27 Oct 15:17
using conf.researchr.org (v1.72.1)
Support page
Sign Up