Roderick Bloem

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 93

Top Venues

CoRR

FMCAD

IACR Cryptol. ePrint Arch.

ATVA

Publications

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. 2024 (2024)
Vedad Hadzic, Gaëtan Cassiers, Robert Primas, Stefan Mangard, Roderick Bloem
Quantile: Quantifying Information Leakage. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (1) (2024)
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
A Systematic Approach to Automotive Security. FM (2023)
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
Safety Shielding under Delayed Observation. ICAPS (2023)
Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem
Learning Mealy machines with one timer. Inf. Comput. 295 (Part B) (2023)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online shielding for reinforcement learning. Innov. Syst. Softw. Eng. 19 (4) (2023)
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
Safety Shielding under Delayed Observation. CoRR (2023)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Attribute Repair for Threat Prevention. SAFECOMP (2023)
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN (2023)
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
A Systematic Approach to Automotive Security. CoRR (2023)
Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl
FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC (2022)
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design (2022)
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
Correct-by-Construction Runtime Enforcement in AI - A Survey. CoRR (2022)
Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS (2022)
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
Power Contracts: Provably Complete Power Leakage Models for Processors. CCS (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning Meets Shielding. ISoLA (1) (2022)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. 60 (2) (2022)
Vedad Hadzic, Robert Primas, Roderick Bloem
Proving SIFA protection of masked redundant circuits. Innov. Syst. Softw. Eng. 18 (3) (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning meets Shielding. CoRR (2022)
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
Power Contracts: Provably Complete Power Leakage Models for Processors. IACR Cryptol. ePrint Arch. 2022 (2022)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Threat Repair with Optimization Modulo Theories. CoRR (2022)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Reinforcement Learning. CoRR (2022)
Alberto Larrauri, Roderick Bloem
Conformance Testing of Mealy Machines Under Input Restrictions. CoRR (2022)
Benedikt Maderbacher, Roderick Bloem
Reactive Synthesis Modulo Theories using Abstraction Refinement. FMCAD (2022)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage in CPS Models. ADHS (2021)
Vedad Hadzic, Robert Primas, Roderick Bloem
Proving SIFA Protection of Masked Redundant Circuits. ATVA (2021)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. 57 (2) (2021)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Stochastic Systems. NFM (2021)
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. CoRR (2021)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Vacuity in synthesis. Formal Methods Syst. Des. 57 (3) (2021)
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. USENIX Security Symposium (2021)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. ACC (2021)
Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi
Learning Mealy Machines with One Timer. LATA (2021)
Benedikt Maderbacher, Roderick Bloem
Reactive Synthesis Modulo Theories Using Abstraction Refinement. CoRR (2021)
Vedad Hadzic, Robert Primas, Roderick Bloem
Proving SIFA Protection of Masked Redundant Circuits. CoRR (2021)
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. ATVA (2021)
Vedad Hadzic, Roderick Bloem
COCOALMA: A Versatile Masking Verifier. FMCAD (2021)
Alberto Larrauri, Roderick Bloem
Minimization and Synthesis of the Tail inSequential Compositions of Mealy Machines. CoRR (2021)
Roderick Bloem, Paulo Tabuada
Preface for the SYNT. Acta Informatica 57 (1-2) (2020)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Stochastic Systems. CoRR (2020)
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano
It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR (2020)
Benedikt Maderbacher, Anja F. Karl, Roderick Bloem
Placement of Runtime Checks to Counteract Fault Injections. RV (2020)
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. IACR Cryptol. ePrint Arch. 2020 (2020)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage. CoRR (2020)
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR (2020)
Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem
Shield Synthesis for Reinforcement Learning. ISoLA (1) (2020)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. CoRR (2020)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
Safety Synthesis Sans Specification. CoRR (2020)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) (2019)
Roderick Bloem, Swen Jacobs, Yakir Vizel
Efficient Information-Flow Verification Under Speculative Execution. ATVA (2019)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR (2019)
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
Model-Based Testing IoT Communication via Active Automata Learning. CoRR (2019)
Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. 55 (2) (2019)
Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. VMCAI (2019)
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS (2019)
Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
Synthesis of Minimum-Cost Shields for Multi-agent Systems. ACC (2019)
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Bounded Synthesis of Register Transducers. ATVA (2018)
Hannes Groß, Rinat Iusupov, Roderick Bloem
Generic Low-Latency Masking in Hardware. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018 (2) (2018)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. EUROCRYPT (2) (2018)
Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR (2018)
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem
Shielded Decision-Making in MDPs. CoRR (2018)
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR (2018)
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
Safe Reinforcement Learning via Shielding. AAAI (2018)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Martin Krenn, Stefan Mangard
Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. IACR Cryptol. ePrint Arch. 2018 (2018)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
Automata Learning for Symbolic Execution. FMCAD (2018)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. FMCAD (2018)
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Bounded Synthesis of Register Transducers. CoRR (2018)
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) (2018)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. CoRR (2018)
Hannes Groß, Rinat Iusupov, Roderick Bloem
Generic Low-Latency Masking. IACR Cryptol. ePrint Arch. 2017 (2017)
Ayrat Khalimov, Roderick Bloem
Bounded Synthesis for Streett, Rabin, and \text CTL^*. CAV (2) (2017)
Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem
Synthesis of Distributed Algorithms with Parameterized Threshold Guards. OPODIS (2017)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. IACR Cryptol. ePrint Arch. 2017 (2017)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Synthesizing Non-Vacuous Systems. VMCAI (2017)
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
Model-Based Testing IoT Communication via Active Automata Learning. ICST (2017)
Patrik Maier, Zhendong Ma, Roderick Bloem
Towards a Secure SCRUM Process for Agile Web Application Development. ARES (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
Shield synthesis. Formal Methods Syst. Des. 51 (2) (2017)
Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran
OpenSEA: Semi-Formal Methods for Soft Error Analysis. CoRR (2017)
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
Safe Reinforcement Learning via Shielding. CoRR (2017)
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Roderick Bloem, Sven Schewe, Ayrat Khalimov
CTL* synthesis via LTL synthesis. SYNT@CAV (2017)
Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. FMCAD (2016)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
Decidability in Parameterized Verification. SIGACT News 47 (2) (2016)
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR (2016)
Carlo Alberto Boano, Kay Römer, Roderick Bloem, Klaus Witrisal, Marcel Baunach, Martin Horn
Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. Elektrotech. Informationstechnik 133 (7) (2016)
Swen Jacobs, Roderick Bloem
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. SYNT@CAV (2016)
Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. CAV (1) (2016)
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Görschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Designing reliable cyber-physical systems overview associated to the special session at FDL'16. FDL (2016)
Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem
SMT-Based CPS Parameter Synthesis. ARCH@CPSWeek (2016)
Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. TACAS (2015)
Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
Shield Synthesis: Runtime Enforcement for Reactive Systems. CoRR (2015)
Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
Cooperative Reactive Synthesis. CoRR (2015)
Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi
Case Study: Automatic Test Case Generation for a Secure Cache Implementation. TAP@STAF (2015)
Rüdiger Ehlers, Robert Könighofer, Roderick Bloem
Synthesizing cooperative reactive mission plans. IROS (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT (2015)
Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
Cooperative Reactive Synthesis. ATVA (2015)

Roderick Bloem.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roderick Bloem