A Fast and Cache-Timing Resistant Implementation of the AES. - Robert Könighofer (CT-RSA, 2008)

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

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)

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

Symbolically synthesizing small circuits. - Rüdiger Ehlers; Robert Könighofer; Georg Hofferek (FMCAD, 2012)

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)

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

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)

Partial witnesses from preprocessed quantified Boolean formulas. - Martina Seidl; Robert Könighofer (DATE, 2014)

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)

Automatic Error Localization for Software Using Deductive Verification. - Robert Könighofer; Ronald Toegl; Roderick Bloem (Haifa Verification Conference, 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)

Cooperative Reactive Synthesis. - Roderick Bloem; Rüdiger Ehlers; Robert Könighofer (ATVA, 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)

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)

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)

Synthesis of Admissible Shields. - Laura R. Humphrey; Bettina Könighofer; Robert Könighofer; Ufuk Topcu (Haifa Verification Conference, 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 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)

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)

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)

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)