Roderick Bloem
Univ.-Prof. Ph.D.Formal Methods, Professor

Teaching
I teach
- Verification and Testing
- Selected Topic in Design and Verification
Students
- Nicolas Braud-Santoni
- Karin Greimel at NXP
- Andreas Griesmayer at ARM
- Rinat Iusupov
- Anja Karl
- Daniel Hein at Aiti
- Georg Hofferek at ADBSAFEGATE
- Barbara Jobstmann at EPFL, Cadence,
- Ayrat Khalimov at Université Libre de Bruxelles
- Robert Koenighofer at ADBSAFEGATE
- Stefan Kraxberger at secinto,
- Ingo Pill at Graz University of Technology,
- Martin Pirker at Fachhochschule Sankt Pölten
- Franz Roeck at ADBSAFEGATE
- Stefan Staber at Cadence
- Ronald Toegl at Infineon
- Johannes Winter at NXP
Service
The Austrian Computer Science Day
How to reach me, in rough order of preference.
- Email: roderick.bloem@iaik.tugraz.at
- FB messenger, you will know how to find me
- Cell: +43 664 60 873 5580 (I am normally on CET)
- Skype: roderickbloem
- Google hangouts: roderick.bloem@gmail.com
- Signal
- webex: roderick.bloem@iaik.tugraz.at
- Discord: roderick.bloem
- Mail: Roderick Bloem, Inffeldgasse 16a, 8010 Graz AUSTRIA
Publications
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Gigerl B., Hadzic V., Primas R., Mangard S., Bloem R.
Proceedings of the 30th USENIX Security Symposium, 30th USENIX Security Symposium
Online Shielding for Stochastic Systems
Könighofer B., Bloem R., Tappler M., Rudolf J., Palmisano A.
NASA Formal Methods, 13th NASA Formal Methods Symposium
Learning Mealy Machines with One Timer
Vaandrager F., Bloem R., Ebrahimi M.
14th-15th International Conference on Language and Automata Theory and Applications
Adaptive Testing for Specification Coverage in CPS Models
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
Shield Synthesis for Reinforcement Learning
Könighofer B., Bloem R., Jansen N., Lorber F.
Leveraging Applications of Formal Methods, Verification and Validation, Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, 2020 International Symposium on Leveraging Applications of Formal Methods, 290-306, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS)