Students

PhD Students

• Eleonora Nesterini [2021- ] "Runtime assurance of cyber-physical systems", co-supervised by Ezio Bartocci (TU Vienna)

• Niveditha Manjunath [2016-2021] "Fault-based analysis cyber-physical systems", co-supervised by Ezio Bartocci (TU Vienna)

• Stefan Jakšić [2014-2018] "Real-time monitoring for correctness and robustness", co-supervised by Radu Grosu (TU Vienna), now Scientist in AIT

Master Students

• Fabian Exenberger [2018-2019 ] "Fault explanation in reactive systems", co-supervised by Cristinel Mateis (AIT) and Ezio Bartocci (TU Vienna)

• Mario Heindl [2017] "Systematic Testing of Analog-Mixed Signal Systems", co-supervised by Radu Grosu (TU Vienna), now engineer at Siemens AG Austria

Interns

• Felix Gigler [Summer 2019 -] is working on generating positive and negative examples from Shape Expressions (TU Vienna)