Ezio Bartocci

Registered user since Mon 10 Oct 2016

Name: Ezio Bartocci

Bio: He is an Associate Professor at the Faculty of Informatics, Technische Universität Wien (TU Wien). The primary focus of his research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems. On these topics he co-authored more than 95 referred papers published in the main international journals and top-tier conferences of my research areas (CAV, TACAS, ATVA, CDC, EMSOFT, HSCC, etc.), generating more than 2500 citations (h-index >= 30) according to Google Scholar.

Country: Austria

Affiliation: Technische Universität Wien

Personal website: http://www.eziobartocci.com/

Research interests: Cyber-Physical Systems

Contributions

HAVELUND 65 Committee Member in Organizing Committee within the HAVELUND 65-track
ISSTA 2020 Author of CPSDebug: A Tool for Failure Explanation within the Tool Demonstration-track
ISSTA 2019 Committee Member in Program Committee within the Workshop – TAV-CPS/IoT-track
HSB 2019 Committee Member in Program Committee within the HSB-track
MeTRiD 2019 Committee Member in Program Committee within the MeTRiD-track
Speaker of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track
VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
VORTEX 2017 Committee Member in Program Committee within the VORTEX17-track
SPIN 2017 Committee Member in Program Committee