Roderick Bloem
Technische Universität Graz
H-index: 47
Europe-Austria
Top articles of Roderick Bloem
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults | Cryptology ePrint Archive | Simon Tollec Vedad Hadžić Pascal Nasahl Mihail Asavoae Roderick Bloem | 2024 |
Quantile: Quantifying Information Leakage | IACR Transactions on Cryptographic Hardware and Embedded Systems | Vedad Hadžić Gaëtan Cassiers Robert Primas Stefan Mangard Roderick Bloem | 2024 |
A Systematic Approach to Automotive Security | Masoud Ebrahimi Stefan Marksteiner Dejan Ničković Roderick Bloem David Schögler | 2023/3/3 | |
Safety Shielding under Delayed Observation | arXiv e-prints | Filip Cano Córdoba Alexander Palmisano Martin Fränzle Roderick Bloem Bettina Könighofer | 2023/7 |
Online shielding for reinforcement learning | Innovations in Systems and Software Engineering | Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem | 2023/12 |
Learning Mealy machines with one timer | Information and Computation | Frits Vaandrager Masoud Ebrahimi Roderick Bloem | 2023/12/1 |
Provable correct and adaptive simplex architecture for bounded-liveness properties | Benedikt Maderbacher Stefan Schupp Ezio Bartocci Roderick Bloem Dejan Ničković | 2023/4/26 | |
Attribute Repair for Threat Prevention | Thorsten Tarrach Masoud Ebrahimi Sandra König Christoph Schmittner Roderick Bloem | 2023/9/11 | |
Adaptive testing for specification coverage and refinement in CPS models | Nonlinear Analysis: Hybrid Systems | Ezio Bartocci Roderick Bloem Benedikt Maderbacher Niveditha Manjunath Dejan Ničković | 2022/11/1 |
Reactive Synthesis Modulo Theories using Abstraction Refinement. | Benedikt Maderbacher Roderick Bloem | 2022/10/17 | |
Correct-by-Construction Runtime Enforcement in AI–A Survey | Bettina Könighofer Roderick Bloem Rüdiger Ehlers Christian Pek | 2022/12/29 | |
Specifiable robustness in reactive synthesis | Formal Methods in System Design | Roderick Bloem Hana Chockler Masoud Ebrahimi Ofer Strichman | 2022/4 |
FERPModels: a certification framework for expansion-based QBF solving | Vedad Hadžić Roderick Bloem Ankit Shukla Martina Seidl | 2022/9/12 | |
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July … | Roderick Bloem Rayna Dimitrova Chuchu Fan Natasha Sharygina | 2022/2/21 | |
Proving SIFA protection of masked redundant circuits | Innovations in Systems and Software Engineering | Vedad Hadžić Robert Primas Roderick Bloem | 2022/9 |
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget–a Bandgap Case Study | Roderick Bloem Alberto Larrauri Roland Lengfeldner Cristinel Mateis Dejan Ničković | 2022/10/7 | |
Power contracts: Provably complete power leakage models for processors | Roderick Bloem Barbara Gigerl Marc Gourjon Vedad Hadzic Stefan Mangard | 2022/11/7 | |
Conformance Testing of Mealy Machines Under Input Restrictions | arXiv preprint arXiv:2206.07441 | Alberto Larrauri Roderick Bloem | 2022/6/15 |
Threat repair with optimization modulo theories | arXiv preprint arXiv:2210.03207 | Thorsten Tarrach Masoud Ebrahimi Sandra König Christoph Schmittner Roderick Bloem | 2022/10/6 |
Online shielding for stochastic systems | Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem | 2021/5/19 |