Research output per year
Research output per year
Fingerprint
Dive into the research topics where Roderick Bloem is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Parameterized Infinite-State Reactive Synthesis
Maderbacher, B. & Bloem, R., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 2439-2467 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
An Adaptive, Provable Correct Simplex Architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., 4 Feb 2025, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. SPIN 2022-2024, 19 p., 2589.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Shields for Safe Reinforcement Learning
Könighofer, B., Bloem, R., Jansen, N., Junges, S. & Pranger, S., Nov 2025, In: Communications of the ACM. 68, 11, p. 80 - 90 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Synthesis of Controllers for Continuous Blackbox Systems
Maderbacher, B., Windisch, F., Larrauri Borroto, L. A. & Bloem, R., Jan 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (eds.). Springer, Cham, Vol. 2. p. 137–159 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15530 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches
Haring, J., Hadzic, V. & Bloem, R., 5 Sept 2024, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 4, p. 110-132 23 p.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
-
Università di Padova
Bloem, R. (Visitor)
21 Sept 2021 → 23 Sept 2021Activity: Visiting an external academic institution › Research at external institution
-
Haifa Verification Conference 2007
Bloem, R. (Speaker)
24 Oct 2007Activity: Talk or presentation › Invited talk › Science to science
-
Te-DES Workshop
Bloem, R. (Speaker)
9 Jan 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
OneSpin Solutions
Bloem, R. (Speaker)
8 Mar 2006Activity: Talk or presentation › Invited talk › Science to science
Prizes
-
Best Paper Award, Haifa Verification Conference
Bloem, R. (Recipient) & Staber, S. S. (Recipient), 23 Oct 2006
Prize: Prizes / Medals / Awards
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, B. (Recipient), Bloem, R. (Recipient), Ebrahimi, M. (Recipient), Horn, M. (Recipient), Pernkopf, F. (Recipient), Roth, W. (Recipient), Rupp, A. (Recipient), Tappler, M. (Recipient) & Tranninger, M. (Recipient), Oct 2019
Prize: Prizes / Medals / Awards
-
Security & Safety
Bloem, R. (Co-Investigator (CoI)) & Mangard, S. (Co-Investigator (CoI))
1/01/15 → …
Project: Research area
-
FATE - Fault-driven Analysis and Testing for Design Robustness and Stability
Bloem, R. (Project manager on research unit)
1/11/22 → 31/10/25
Project: Research project
-
ArchCM4SSV - Architectural Countermeasures for Security & Security Verification
Bloem, R. (Project manager on research unit)
1/07/21 → 30/06/22
Project: Research project
-
EU - SAFEST - Secure and Assured hardware: Facilitating ESTonia’s digital society
Bloem, R. (Project manager on research unit)
1/01/21 → 31/12/23
Project: Research project
-
EU - FOCETA - Foundations for continuous engineering of trustworthy autonomy
Bloem, R. (Project manager on research unit)
1/10/20 → 31/10/23
Project: Research project