Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Bartocci E., Bloem R., Maderbacher B., Manjunath N., Nickovic D.
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, 7th IFAC Conference on Analysis and Design of Hybrid Systems
Maderbacher B., Karl A., Bloem R.
Runtime Verification - 20th International Conference, RV 2020, Proceedings, 20th International Conference, RV 2020, 20th International Conference on Runtime Verification, 241-258, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS)
Aichernig B., Maderbacher B.
Leveraging Applications of Formal Methods, Verification and Validation, Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, 426-448, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS)
Aichernig B., Maderbacher B., Tiran S.
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019, 52-60
Khalimov A., Maderbacher B., Bloem R.
Automated Technology for Verification and Analysis , 16th International Symposium, ATVA 2018, 16th International Symposium on Automated Technology for Verification and Analysis, 494-510, ( Lecture Notes in Computer Science; vol. 11138)