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
Shields for Safe Reinforcement Learning
Könighofer B., Bloem R., Jansen N., Junges S., Pranger S.
Communications of the ACM
Synthesis of Controllers for Continuous Blackbox Systems
Maderbacher B., Windisch F., Larrauri Borroto L., Bloem R.
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, 137–159, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15530 LNCS)
Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters
Hadzic V., Bloem R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2025(1), 656-683
Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Maderbacher B., Windisch F., Bloem R.
Leveraging Applications of Formal Methods, Verification and Validation
On Threat Model Repair
Bloem R., Chlup S., Nickovic D., Schmittner C.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies. ISoLA 2024, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, 302–310, (Lecture Notes in Computer Science; vol. 15222 LNCS)