Analytical Modelling of Cyber-physical Systems. - Paul Tavolato; Christina Tavolato-Wötzl (ICISSP, 2019)

Analytical modelling of cyber-physical systems: applying kinetic gas theory to anomaly detection in networks. - Paul Tavolato; Hubert Schölnast; Christina Tavolato-Wötzl (J. Comput. Virol. Hacking Tech., 2020)

Enhancing Trust in Machine Learning Systems by Formal Methods - With an Application to a Meteorological Problem. - Christina Tavolato-Wötzl; Paul Tavolato (CD-MAKE, 2023)