Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Ezio Bartocci

Registered user since Mon 10 Oct 2016

Name:Ezio Bartocci

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.

Affiliation:Technische Universit├Ąt Wien
Research interests:Cyber-Physical Systems


Show activities from other conferences

ISSTA 2020-profile
View general profile