Ezio Bartocci

Univ. Prof. Dr. Ezio Bartocci is a Professor at TU Wien, leading the Forschungsbereich Cyber-Physical Systems. His research focuses on formal methods, runtime verification, and probabilistic systems in Cyber-Physical Systems (CPS). He leads projects like 'Distribution Recovery for Invariant Generation of Probabilistic' and 'Trustworthy IoT for CPS'. Key interests include specification mining, probabilistic hyperproperties, and developing tools like MoonLight for spatio-temporal monitoring. Recent work explores reinforcement learning ethics, neural network verification, and adaptive testing frameworks. His contributions span conferences such as HSCC and RV, with notable publications on parameter synthesis, fault localization in CPS, and moment-based analysis of probabilistic loops.

Research Interests:

• Cyber-Physical Systems (CPS) design and validation
• Formal specification and verification techniques
• Probabilistic systems and hyperproperties
• Runtime monitoring and adaptive testing
• Neural networks and ethical AI

Labs/Teams: Active in TU Wien's Cyber-Physical Systems research unit, collaborating with industry and academia on CPS security and autonomous systems.