Roderick Bloem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
72
Venues
26
Active years
1999–2025
Best venue rank
A*
Where they publish
- BFMCAD17 papers
- A*CAV15 papers
- BVMCAI5 papers
- BATVA5 papers
- CISoLA4 papers
- ATACAS3 papers
- BCONCUR2 papers
- AICST2 papers
- A*DAC2 papers
- BFM1 paper
- BSAFECOMP1 paper
- A*CCS1 paper
- NationalSYNASC1 paper
- CLATA1 paper
- BRV1 paper
- A*AAAI1 paper
- A*EuroCrypt1 paper
- BOPODIS1 paper
- CFDL1 paper
- AIROS1 paper
- CTAP1 paper
- BTrustBus1 paper
- CMEMOCODE1 paper
- A*ICALP1 paper
- ADATE1 paper
- ASAT1 paper
Papers
72 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VMCAI | Synthesis of Controllers for Continuous Blackbox Systems. | Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem |
| 2024 | ISoLA | On Threat Model Repair. | Roderick Bloem, Sebastian Chlup, Dejan Nickovic, Christoph Schmittner |
| 2024 | ISoLA | Synthesis from Infinite-State Generalized Reactivity(1) Specifications. | Benedikt Maderbacher, Felix Windisch, Roderick Bloem |
| 2023 | FM | A Systematic Approach to Automotive Security. | Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schgler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra Knig |
| 2023 | SAFECOMP | Attribute Repair for Threat Prevention. | Thorsten Tarrach, Masoud Ebrahimi, Sandra Knig, Christoph Schmittner, Roderick Bloem, Dejan Nickovic |
| 2022 | CCS | Power Contracts: Provably Complete Power Leakage Models for Processors. | Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas |
| 2022 | FMCAD | Reactive Synthesis Modulo Theories using Abstraction Refinement. | Benedikt Maderbacher, Roderick Bloem |
| 2022 | ISoLA | Automata Learning Meets Shielding. | Martin Tappler, Stefan Pranger, Bettina Knighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen |
| 2022 | SYNASC | FERPModels: A Certification Framework for Expansion-Based QBF Solving. | Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl |
| 2021 | ATVA | Proving SIFA Protection of Masked Redundant Circuits. | Vedad Hadzic, Robert Primas, Roderick Bloem |
| 2021 | ATVA | TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. | Stefan Pranger, Bettina Knighofer, Lukas Posch, Roderick Bloem |
| 2021 | FMCAD | COCOALMA: A Versatile Masking Verifier. | Vedad Hadzic, Roderick Bloem |
| 2021 | LATA | Learning Mealy Machines with One Timer. | Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi |
| 2020 | CONCUR | Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). | Nils Jansen, Bettina Knighofer, Sebastian Junges, Alex Serban, Roderick Bloem |
| 2020 | ISoLA | Shield Synthesis for Reinforcement Learning. | Bettina Knighofer, Florian Lorber, Nils Jansen, Roderick Bloem |
| 2020 | RV | Placement of Runtime Checks to Counteract Fault Injections. | Benedikt Maderbacher, Anja F. Karl, Roderick Bloem |
| 2019 | ATVA | Efficient Information-Flow Verification Under Speculative Execution. | Roderick Bloem, Swen Jacobs, Yakir Vizel |
| 2019 | CAV | Run-Time Optimization for Learned Controllers Through Quantitative Games. | Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Knighofer, Stefan Pranger |
| 2019 | FMCAD | Synthesizing Reactive Systems Using Robustness and Recovery Specifications. | Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman |
| 2019 | VMCAI | Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. | Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard |
| 2018 | AAAI | Safe Reinforcement Learning via Shielding. | Mohammed Alshiekh, Roderick Bloem, Rdiger Ehlers, Bettina Knighofer, Scott Niekum, Ufuk Topcu |
| 2018 | ATVA | Bounded Synthesis of Register Transducers. | Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem |
| 2018 | CAV | A Counting Semantics for Monitoring LTL Specifications over Finite Traces. | Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Rck |
| 2018 | EuroCrypt | Formal Verification of Masked Hardware Implementations in the Presence of Glitches. | Roderick Bloem, Hannes Gro, Rinat Iusupov, Bettina Knighofer, Stefan Mangard, Johannes Winter |
| 2018 | FMCAD | Automata Learning for Symbolic Execution. | Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter |
| 2018 | FMCAD | Expansion-Based QBF Solving Without Recursion. | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |
| 2017 | CAV | Bounded Synthesis for Streett, Rabin, and \text CTL^*. | Ayrat Khalimov, Roderick Bloem |
| 2017 | ICST | Model-Based Testing IoT Communication via Active Automata Learning. | Martin Tappler, Bernhard K. Aichernig, Roderick Bloem |
| 2017 | OPODIS | Synthesis of Distributed Algorithms with Parameterized Threshold Guards. | Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem |
| 2017 | VMCAI | Synthesizing Non-Vacuous Systems. | Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman |
| 2016 | CAV | Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. | Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs |
| 2016 | FDL | Designing reliable cyber-physical systems overview associated to the special session at FDL'16. | Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Grschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Knighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Rck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao |
| 2016 | FMCAD | Synthesizing adaptive test strategies from temporal logic specifications. | Roderick Bloem, Robert Knighofer, Ingo Pill, Franz Rck |
| 2015 | ATVA | Cooperative Reactive Synthesis. | Roderick Bloem, Rdiger Ehlers, Robert Knighofer |
| 2015 | FMCAD | Reactive Synthesis. | Roderick Bloem |
| 2015 | IROS | Synthesizing cooperative reactive mission plans. | Rdiger Ehlers, Robert Knighofer, Roderick Bloem |
| 2015 | TACAS | Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. | Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Knighofer |
| 2015 | TACAS | Shield Synthesis: - Runtime Enforcement for Reactive Systems. | Roderick Bloem, Bettina Knighofer, Robert Knighofer, Chao Wang |
| 2015 | TAP | Case Study: Automatic Test Case Generation for a Secure Cache Implementation. | Roderick Bloem, Daniel M. Hein, Franz Rck, Richard Schumi |
| 2014 | FMCAD | SAT-based methods for circuit synthesis. | Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Knighofer, Florian Lonsing |
| 2014 | FMCAD | Synthesis of synchronization using uninterpreted functions. | Roderick Bloem, Georg Hofferek, Bettina Knighofer, Robert Knighofer, Simon Ausserlechner, Raphael Spork |
| 2014 | VMCAI | SAT-Based Synthesis Methods for Safety Specs. | Roderick Bloem, Robert Knighofer, Martina Seidl |
| 2013 | CAV | PARTY Parameterized Synthesis of Token Rings. | Ayrat Khalimov, Swen Jacobs, Roderick Bloem |
| 2013 | FMCAD | Synthesizing multiple boolean functions using interpolation on a single proof. | Georg Hofferek, Ashutosh Gupta, Bettina Knighofer, Jie-Hong Roland Jiang, Roderick Bloem |
| 2013 | VMCAI | Towards Efficient Parameterized Synthesis. | Ayrat Khalimov, Swen Jacobs, Roderick Bloem |
| 2012 | TACAS | Parameterized Synthesis. | Swen Jacobs, Roderick Bloem |
| 2012 | TrustBus | Secure Embedded Platform with Advanced Process Isolation and Anonymity Capabilities. | Marc-Michael Bergfeld, Holger Bock, Roderick Bloem, Jan Blonk, Gregory Conti, Kurt Dietrich, Matthias Junk, Florian Schreiner, Stephan Spitz, Johannes Winter |
| 2011 | FMCAD | Automated error localization and correction for imperative programs. | Robert Knighofer, Roderick Bloem |
| 2011 | ICST | Test Case Generation from Mutants Using Model Checking Techniques. | Heinz Riener, Roderick Bloem, Grschwin Fey |
| 2011 | MEMOCODE | Controller synthesis for pipelined circuits using uninterpreted functions. | Georg Hofferek, Roderick Bloem |
| 2010 | CAV | Robustness in the Presence of Liveness. | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2010 | CAV | RATSY - A New Requirements Analysis Tool with Synthesis. | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
| 2009 | CAV | Better Quality in Synthesis through Quantitative Objectives. | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
| 2009 | FMCAD | Synthesizing robust systems. | Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2009 | FMCAD | Debugging formal specifications using simple counterstrategies. | Robert Knighofer, Georg Hofferek, Roderick Bloem |
| 2008 | ICALP | Open Implication. | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi |
| 2007 | CAV | RAT: A Tool for the Formal Analysis of Requirements. | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev |
| 2007 | CAV | Anzu: A Tool for Property Synthesis. | Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem |
| 2007 | DATE | Interactive presentation: Automatic hardware synthesis from specifications: a case study. | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
| 2007 | SAT | Fault Localization and Correction with QBF. | Stefan Staber, Roderick Bloem |
| 2006 | CAV | Repair of Boolean Programs with an Application to C. | Andreas Griesmayer, Roderick Bloem, Byron Cook |
| 2006 | DAC | Formal analysis of hardware requirements. | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti |
| 2006 | FMCAD | Optimizations for LTL Synthesis. | Barbara Jobstmann, Roderick Bloem |
| 2005 | CAV | Program Repair as a Game. | Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem |
| 2002 | CAV | Fair Simulation Minimization. | Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi |
| 2002 | FMCAD | Analysis of Symbolic SCC Hull Algorithms. | Fabio Somenzi, Kavita Ravi, Roderick Bloem |
| 2001 | CONCUR | Divide and Compose: SCC Refinement for Language Emptiness. | Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi |
| 2000 | CAV | Efficient Bchi Automata from LTL Formulae. | Fabio Somenzi, Roderick Bloem |
| 2000 | DAC | Symbolic guided search for CTL model checking. | Roderick Bloem, Kavita Ravi, Fabio Somenzi |
| 2000 | FMCAD | An Algorithm for Strongly Connected Component Analysis in | Roderick Bloem, Harold N. Gabow, Fabio Somenzi |
| 2000 | FMCAD | A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. | Kavita Ravi, Roderick Bloem, Fabio Somenzi |
| 1999 | CAV | Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. | Roderick Bloem, Kavita Ravi, Fabio Somenzi |