Monadic Second Order Logic and Node Relations on Graphs and Trees. - Roderick Bloem; Joost Engelfriet (Structures in Logic and Computer Science, 1997)

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. - Roderick Bloem; Kavita Ravi; Fabio Somenzi (CAV, 1999)

Efficient Büchi Automata from LTL Formulae. - Fabio Somenzi; Roderick Bloem (CAV, 2000)

Symbolic guided search for CTL model checking. - Roderick Bloem; Kavita Ravi; Fabio Somenzi (DAC, 2000)

A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. - Kavita Ravi; Roderick Bloem; Fabio Somenzi (FMCAD, 2000)

A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars. - Roderick Bloem; Joost Engelfriet (J. Comput. Syst. Sci., 2000)

Divide and Compose: SCC Refinement for Language Emptiness. - Chao Wang 001; Roderick Bloem; Gary D. Hachtel; Kavita Ravi; Fabio Somenzi (CONCUR, 2001)

Fair Simulation Minimization. - Sankar Gurumurthy; Roderick Bloem; Fabio Somenzi (CAV, 2002)

Analysis of Symbolic SCC Hull Algorithms. - Fabio Somenzi; Kavita Ravi; Roderick Bloem (FMCAD, 2002)

Program Repair as a Game. - Barbara Jobstmann; Andreas Griesmayer; Roderick Bloem (CAV, 2005)

Finding and Fixing Faults. - Stefan Staber; Barbara Jobstmann; Roderick Bloem (CHARME, 2005)

Formal Verification of Control Software: A Case Study. - Andreas Griesmayer; Roderick Bloem; Martin Hautzendorfer; Franz Wotawa (IEA/AIE, 2005)

Repair of Boolean Programs with an Application to C. - Andreas Griesmayer; Roderick Bloem; Byron Cook (CAV, 2006)

Formal analysis of hardware requirements. - Ingo Pill; Simone Semprini; Roberto Cavada; Marco Roveri; Roderick Bloem; Alessandro Cimatti (DAC, 2006)

Optimizations for LTL Synthesis. - Barbara Jobstmann; Roderick Bloem (FMCAD, 2006)

Symbolic Implementation of Alternating Automata. - Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini (CIAA, 2006)

Preface. - Roderick Bloem; Marco Roveri; Fabio Somenzi (V&D@FLoC, 2006)

Automated Fault Localization for C Programs. - Andreas Griesmayer; Stefan Staber; Roderick Bloem (V&D@FLoC, 2006)

An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. - Roderick Bloem; Harold N. Gabow; Fabio Somenzi (Formal Methods Syst. Des., 2006)

Compositional SCC Analysis for Language Emptiness. - Chao Wang 001; Roderick Bloem; Gary D. Hachtel; Kavita Ravi; Fabio Somenzi (Formal Methods Syst. Des., 2006)

RAT: A Tool for the Formal Analysis of Requirements. - Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev (CAV, 2007)

Anzu: A Tool for Property Synthesis. - Barbara Jobstmann; Stefan J. Galler; Martin Weiglhofer; Roderick Bloem (CAV, 2007)

Interactive presentation: Automatic hardware synthesis from specifications: a case study. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (DATE, 2007)

Fault Localization and Correction with QBF. - Stefan Staber; Roderick Bloem (SAT, 2007)

Specify, Compile, Run: Hardware from PSL. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (COCV@ETAPS, 2007)

Symbolic Implementation of Alternating Automata. - Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri (Int. J. Found. Comput. Sci., 2007)

Using unsatisfiable cores to debug multiple design errors. - André Sülflow; Görschwin Fey; Roderick Bloem; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2008)

Open Implication. - Karin Greimel; Roderick Bloem; Barbara Jobstmann; Moshe Y. Vardi (ICALP (2), 2008)

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. - Ronald Toegl; Georg Hofferek; Karin Greimel; Adrian Leung; Raphael Chung-Wei Phan; Roderick Bloem (ICYCS, 2008)

Debugging Design Errors by Using Unsatisfiable Cores. - André Sülflow; Görschwin Fey; Roderick Bloem; Rolf Drechsler (MBMV, 2008)

Automatic Fault Localization for Property Checking. - Görschwin Fey; Stefan Staber; Roderick Bloem; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Better Quality in Synthesis through Quantitative Objectives. - Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann (CAV, 2009)

Synthesizing robust systems. - Roderick Bloem; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (FMCAD, 2009)

Debugging formal specifications using simple counterstrategies. - Robert Könighofer; Georg Hofferek; Roderick Bloem (FMCAD, 2009)

Robustness in the Presence of Liveness. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (CAV, 2010)

RATSY - A New Requirements Analysis Tool with Synthesis. - Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Könighofer; Marco Roveri; Viktor Schuppan; Richard Seeber (CAV, 2010)

Debugging Unrealizable Specifications with Model-Based Diagnosis. - Robert Könighofer; Georg Hofferek; Roderick Bloem (Haifa Verification Conference, 2010)

Fault localization using a model checker. - Andreas Griesmayer; Stefan Staber; Roderick Bloem (Softw. Test. Verification Reliab., 2010)

Guest Editorial. - Roderick Bloem; Patrick Schaumont (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Automated error localization and correction for imperative programs. - Robert Könighofer; Roderick Bloem (FMCAD, 2011)

Generalized Reactivity(1) Synthesis without a Monolithic Strategy. - Matthias Schlaipfer; Georg Hofferek; Roderick Bloem (Haifa Verification Conference, 2011)

Test Case Generation from Mutants Using Model Checking Techniques. - Heinz Riener; Roderick Bloem; Görschwin Fey (ICST Workshops, 2011)

Controller synthesis for pipelined circuits using uninterpreted functions. - Georg Hofferek; Roderick Bloem (MEMOCODE, 2011)

Specification-centered robustness. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (SIES, 2011)

FoREnSiC- An Automatic Debugging Environment for C Programs. - Roderick Bloem; Rolf Drechsler; Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Jaan Raik; Urmas Repinski; André Sülflow (Haifa Verification Conference, 2012)

Repair with On-The-Fly Program Analysis. - Robert Könighofer; Roderick Bloem (Haifa Verification Conference, 2012)

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 002; Stephan Spitz; Johannes Winter (TrustBus, 2012)

Synthesizing Robust Systems with RATSY - Roderick Bloem; Hans-Jürgen Gamauf; Georg Hofferek; Bettina Könighofer; Robert Könighofer (SYNT, 2012)

Synthesis of Reactive(1) designs. - Roderick Bloem; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Yaniv Sa'ar (J. Comput. Syst. Sci., 2012)

Finding and fixing faults. - Barbara Jobstmann; Stefan Staber; Andreas Griesmayer; Roderick Bloem (J. Comput. Syst. Sci., 2012)

PARTY Parameterized Synthesis of Token Rings. - Ayrat Khalimov 001; Swen Jacobs; Roderick Bloem (CAV, 2013)

Synthesizing multiple boolean functions using interpolation on a single proof. - Georg Hofferek; Ashutosh Gupta; Bettina Könighofer; Jie-Hong Roland Jiang; Roderick Bloem (FMCAD, 2013)

Towards Efficient Parameterized Synthesis. - Ayrat Khalimov 001; Swen Jacobs; Roderick Bloem (VMCAI, 2013)

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. - Robert Könighofer; Georg Hofferek; Roderick Bloem (Int. J. Softw. Tools Technol. Transf., 2013)

SAT-based methods for circuit synthesis. - Roderick Bloem; Uwe Egly; Patrick Klampfl; Robert Könighofer; Florian Lonsing (FMCAD, 2014)

Synthesis of synchronization using uninterpreted functions. - Roderick Bloem; Georg Hofferek; Bettina Könighofer; Robert Könighofer; Simon Ausserlechner; Raphael Spork (FMCAD, 2014)

Reduction of Resolution Refutations and Interpolants via Subsumption. - Roderick Bloem; Sharad Malik; Matthias Schlaipfer; Georg Weissenbacher (Haifa Verification Conference, 2014)

Automatic Error Localization for Software Using Deductive Verification. - Robert Könighofer; Ronald Toegl; Roderick Bloem (Haifa Verification Conference, 2014)

Security concepts for a distributed architecture for activity logging and analysis. - Viktoria Pammer; Hermann Stern; Stefan Edler; Daniel M. Hein; Martin Pirker; Roderick Bloem; Alfred Wertner (I-KNOW, 2014)

Automating Test-Suite Augmentation. - Roderick Bloem; Robert Könighofer; Franz Röck; Michael Tautschnig (QSIC, 2014)

SAT-Based Synthesis Methods for Safety Specs. - Roderick Bloem; Robert Könighofer; Martina Seidl (VMCAI, 2014)

Synthesizing robust systems. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Georg Hofferek; Barbara Jobstmann; Bettina Könighofer; Robert Könighofer (Acta Informatica, 2014)

How to Handle Assumptions in Synthesis. - Roderick Bloem; Rüdiger Ehlers; Swen Jacobs; Robert Könighofer (SYNT, 2014)

Parameterized Synthesis Case Study: AMBA AHB. - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001 (SYNT, 2014)

Parameterized Synthesis. - Swen Jacobs; Roderick Bloem (Log. Methods Comput. Sci., 2014)

Cooperative Reactive Synthesis. - Roderick Bloem; Rüdiger Ehlers; Robert Könighofer (ATVA, 2015)

Reactive Synthesis. - Roderick Bloem (FMCAD, 2015)

Synthesizing cooperative reactive mission plans. - Rüdiger Ehlers; Robert Könighofer; Roderick Bloem (IROS, 2015)

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. - Roderick Bloem; Krishnendu Chatterjee; Swen Jacobs; Robert Könighofer (TACAS, 2015)

Shield Synthesis: - Runtime Enforcement for Reactive Systems. - Roderick Bloem; Bettina Könighofer; Robert Könighofer; Chao Wang 001 (TACAS, 2015)

Case Study: Automatic Test Case Generation for a Secure Cache Implementation. - Roderick Bloem; Daniel M. Hein; Franz Röck; Richard Schumi (TAP@STAF, 2015)

The Second Reactive Synthesis Competition (SYNTCOMP 2015). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker (SYNT, 2015)

Decidability of Parameterized Verification - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001; Igor Konnov 001; Sasha Rubin; Helmut Veith; Josef Widder (Morgan & Claypool Publishers, 2015)

Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. - Roderick Bloem; Nicolas Braud-Santoni; Swen Jacobs (CAV (1), 2016)

SMT-Based CPS Parameter Synthesis. - Heinz Riener; Robert Könighofer; Görschwin Fey; Roderick Bloem (ARCH@CPSWeek, 2016)

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; Görschwin Fey; Maksim Jenihhin; Artur Jutman; Hans G. Kerkhoff; Robert Könighofer; Jan Malburg; Shiri Moran; et al. (FDL, 2016)

Synthesizing adaptive test strategies from temporal logic specifications. - Roderick Bloem; Robert Könighofer; Ingo Pill; Franz Röck (FMCAD, 2016)

Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. - Roderick Bloem; Uwe Egly; Patrick Klampfl; Robert Könighofer; Florian Lonsing; Martina Seidl (CoRR, 2016)

The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. - Swen Jacobs; Roderick Bloem (SYNT@CAV, 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. - Carlo Alberto Boano; Kay Römer; Roderick Bloem; Klaus Witrisal; Marcel Baunach; Martin Horn (Elektrotech. Informationstechnik, 2016)

Decidability in Parameterized Verification. - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001; Igor Konnov 001; Sasha Rubin; Helmut Veith; Josef Widder (SIGACT News, 2016)

Towards a Secure SCRUM Process for Agile Web Application Development. - Patrik Maier; Zhendong Ma; Roderick Bloem (ARES, 2017)

Bounded Synthesis for Streett, Rabin, and text CTL^*. - Ayrat Khalimov 001; Roderick Bloem (CAV (2), 2017)

Model-Based Testing IoT Communication via Active Automata Learning. - Martin Tappler; Bernhard K. Aichernig; Roderick Bloem (ICST, 2017)

Synthesis of Distributed Algorithms with Parameterized Threshold Guards. - Marijana Lazic; Igor Konnov 001; Josef Widder; Roderick Bloem (OPODIS, 2017)

Synthesizing Non-Vacuous Systems. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (VMCAI, 2017)

CTL* synthesis via LTL synthesis. - Roderick Bloem; Sven Schewe; Ayrat Khalimov 001 (SYNT@CAV, 2017)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

OpenSEA: Semi-Formal Methods for Soft Error Analysis. - Patrick Klampfl; Robert Könighofer; Roderick Bloem; Ayrat Khalimov 001; Aiman Abu-Yonis; Shiri Moran (CoRR, 2017)

Shield synthesis. - Bettina Könighofer; Mohammed Alshiekh; Roderick Bloem; Laura R. Humphrey; Robert Könighofer; Ufuk Topcu; Chao Wang 001 (Formal Methods Syst. Des., 2017)

Formal Verification of Masked Hardware Implementations in the Presence of Glitches. - Roderick Bloem; Hannes Groß; Rinat Iusupov; Bettina Könighofer; Stefan Mangard; Johannes Winter (IACR Cryptol. ePrint Arch., 2017)

Generic Low-Latency Masking. - Hannes Groß; Rinat Iusupov; Roderick Bloem (IACR Cryptol. ePrint Arch., 2017)

The first reactive synthesis competition (SYNTCOMP 2014). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Rüdiger Ehlers; Timotheus Hell; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

Safe Reinforcement Learning via Shielding. - Mohammed Alshiekh; Roderick Bloem; Rüdiger Ehlers; Bettina Könighofer; Scott Niekum; Ufuk Topcu (AAAI, 2018)

Bounded Synthesis of Register Transducers. - Ayrat Khalimov 001; Benedikt Maderbacher; Roderick Bloem (ATVA, 2018)

A Counting Semantics for Monitoring LTL Specifications over Finite Traces. - Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Franz Röck (CAV (1), 2018)

Automata Learning for Symbolic Execution. - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Tappler; Johannes Winter (FMCAD, 2018)

Expansion-Based QBF Solving Without Recursion. - Roderick Bloem; Nicolas Braud-Santoni; Vedad Hadzic; Uwe Egly; Florian Lonsing; Martina Seidl (FMCAD, 2018)

Shielded Decision-Making in MDPs. - Nils Jansen 001; Bettina Könighofer; Sebastian Junges; Roderick Bloem (CoRR, 2018)

Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. - Roderick Bloem; Hannes Groß; Rinat Iusupov; Martin Krenn; Stefan Mangard (IACR Cryptol. ePrint Arch., 2018)

Generic Low-Latency Masking in Hardware. - Hannes Groß; Rinat Iusupov; Roderick Bloem (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018)

Graph Games and Reactive Synthesis. - Roderick Bloem; Krishnendu Chatterjee; Barbara Jobstmann (Handbook of Model Checking, 2018)

Synthesis of Minimum-Cost Shields for Multi-agent Systems. - Suda Bharadwaj; Roderick Bloem; Rayna Dimitrova; Bettina Könighofer; Ufuk Topcu (ACC, 2019)

Efficient Information-Flow Verification Under Speculative Execution. - Roderick Bloem; Swen Jacobs; Yakir Vizel (ATVA, 2019)

Run-Time Optimization for Learned Controllers Through Quantitative Games. - Guy Avni; Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Bettina Könighofer; Stefan Pranger (CAV (1), 2019)

Synthesizing Reactive Systems Using Robustness and Recovery Specifications. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (FMCAD, 2019)

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Horn; Franz Pernkopf; Wolfgang Roth; Astrid Rupp; Martin Tappler; Markus Tranninger (ICTSS, 2019)

Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. - Anja F. Karl; Robert Schilling; Roderick Bloem; Stefan Mangard (VMCAI, 2019)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Horn; Franz Pernkopf; Wolfgang Roth; Astrid Rupp; Martin Tappler; Markus Tranninger (CoRR, 2019)

Synthesizing adaptive test strategies from temporal logic specifications. - Roderick Bloem; Görschwin Fey; Fabian Greif; Robert Könighofer; Ingo Pill; Heinz Riener; Franz Röck (Formal Methods Syst. Des., 2019)

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). - Nils Jansen 001; Bettina Könighofer; Sebastian Junges; Alex Serban; Roderick Bloem (CONCUR, 2020)

Shield Synthesis for Reinforcement Learning. - Bettina Könighofer; Florian Lorber; Nils Jansen 001; Roderick Bloem (ISoLA (1), 2020)

Placement of Runtime Checks to Counteract Fault Injections. - Benedikt Maderbacher; Anja F. Karl; Roderick Bloem (RV, 2020)

Preface for the SYNT. - Roderick Bloem; Paulo Tabuada (Acta Informatica, 2020)

It's Time to Play Safe: Shield Synthesis for Timed Systems. - Roderick Bloem; Peter Gjøl Jensen; Bettina Könighofer; Kim Guldstrand Larsen; Florian Lorber; Alexander Palmisano (CoRR, 2020)

Adaptive Testing for Specification Coverage. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (CoRR, 2020)

Safety Synthesis Sans Specification. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Dana Fisman; Heinz Riener (CoRR, 2020)

Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. - Barbara Gigerl; Vedad Hadzic; Robert Primas; Stefan Mangard; Roderick Bloem (IACR Cryptol. ePrint Arch., 2020)

Adaptive Testing for Specification Coverage in CPS Models. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (ADHS, 2021)

Adaptive Shielding under Uncertainty. - Stefan Pranger; Bettina Könighofer; Martin Tappler; Martin Deixelberger; Nils Jansen 001; Roderick Bloem (ACC, 2021)

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. - Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem (ATVA, 2021)

COCOALMA: A Versatile Masking Verifier. - Vedad Hadzic; Roderick Bloem (FMCAD, 2021)

Online Shielding for Stochastic Systems. - Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem (NFM, 2021)

Minimization and Synthesis of the Tail inSequential Compositions of Mealy Machines. - Lázaro Alberto Larrauri; Roderick Bloem (CoRR, 2021)

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. - Roderick Bloem; Nicolas Braud-Santoni; Vedad Hadzic; Uwe Egly; Florian Lonsing; Martina Seidl (Formal Methods Syst. Des., 2021)

Vacuity in synthesis. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (Formal Methods Syst. Des., 2021)

Correct-by-Construction Runtime Enforcement in AI - A Survey. - Bettina Könighofer; Roderick Bloem; Rüdiger Ehlers; Christian Pek (Principles of Systems Design, 2022)

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. - Roderick Bloem; Alberto Larrauri; Roland Lengfeldner; Cristinel Mateis; Dejan Nickovic; Björn Ziegler (CODES+ISSS, 2022)

Reactive Synthesis Modulo Theories using Abstraction Refinement. - Benedikt Maderbacher; Roderick Bloem (FMCAD, 2022)

Automata Learning Meets Shielding. - Martin Tappler; Stefan Pranger; Bettina Könighofer; Edi Muskardin; Roderick Bloem; Kim G. Larsen (ISoLA (1), 2022)

FERPModels: A Certification Framework for Expansion-Based QBF Solving. - Vedad Hadzic; Roderick Bloem; Ankit Shukla 003; Martina Seidl (SYNASC, 2022)

Conformance Testing of Mealy Machines Under Input Restrictions. - Alberto Larrauri; Roderick Bloem (CoRR, 2022)

Threat Repair with Optimization Modulo Theories. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (CoRR, 2022)

Power Contracts: Provably Complete Power Leakage Models for Processors. - Roderick Bloem; Barbara Gigerl; Marc Gourjon; Vedad Hadzic; Stefan Mangard; Robert Primas (IACR Cryptol. ePrint Arch., 2022)

Proving SIFA protection of masked redundant circuits. - Vedad Hadzic; Robert Primas; Roderick Bloem (Innov. Syst. Softw. Eng., 2022)

Specifiable robustness in reactive synthesis. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (Formal Methods Syst. Des., 2022)

Safety Shielding under Delayed Observation. - Filip Cano Córdoba; Alexander Palmisano; Martin Fränzle; Roderick Bloem; Bettina Könighofer (ICAPS, 2023)

A Systematic Approach to Automotive Security. - Masoud Ebrahimi 002; Stefan Marksteiner; Dejan Nickovic; Roderick Bloem; David Schögler; Philipp Eisner; Samuel Sprung; Thomas Schober; Sebastian Chlup; Christoph Schmittner; Sandra König (FM, 2023)

Attribute Repair for Threat Prevention. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (SAFECOMP, 2023)

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. - Benedikt Maderbacher; Stefan Schupp; Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Bettina Könighofer (SPIN, 2023)

Learning Mealy machines with one timer. - Frits W. Vaandrager; Masoud Ebrahimi 002; Roderick Bloem (Inf. Comput., 2023)

Online shielding for reinforcement learning. - Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem (Innov. Syst. Softw. Eng., 2023)

On Threat Model Repair. - Roderick Bloem; Sebastian Chlup; Dejan Nickovic; Christoph Schmittner (ISoLA (4), 2024)

Synthesis from Infinite-State Generalized Reactivity(1) Specifications. - Benedikt Maderbacher; Felix Windisch; Roderick Bloem (ISoLA (4), 2024)

Quantile: Quantifying Information Leakage. - Vedad Hadzic; Gaëtan Cassiers; Robert Primas; Stefan Mangard; Roderick Bloem (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches. - Johannes Haring; Vedad Hadzic; Roderick Bloem (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. - Simon Tollec; Vedad Hadzic; Pascal Nasahl; Mihail Asavoae; Roderick Bloem; Damien Couroussé; Karine Heydemann; Mathieu Jan; Stefan Mangard (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Synthesis of Controllers for Continuous Blackbox Systems (artifact). - Benedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem (Zenodo, 2024)

Synthesis of Controllers for Continuous Blackbox Systems. - Benedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem (VMCAI (2), 2025)

Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters. - Vedad Hadzic; Roderick Bloem (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)

Parameterized Infinite-State Reactive Synthesis. - Benedikt Maderbacher; Roderick Bloem (CoRR, 2025)