Robert Könighofer

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 12

Top Topics

Formal Specification

Reactive Systems

Quantified Boolean Formulas

Top Venues

Haifa Verification Conference

Publications

Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
Synthesis of Admissible Shields. 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)
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)
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)
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, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR (2016)
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
Synthesis of Admissible Shields. Haifa Verification Conference (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)
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, Bettina Könighofer, Robert Könighofer, Chao Wang
Shield Synthesis: - Runtime Enforcement for Reactive Systems. TACAS (2015)
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). CoRR (2015)
Robert Könighofer, Ronald Toegl, Roderick Bloem
Automatic Error Localization for Software Using Deductive Verification. Haifa Verification Conference (2014)
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
How to Handle Assumptions in Synthesis. SYNT (2014)
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
Synthesizing robust systems. Acta Informatica 51 (3-4) (2014)
Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. CoRR (2014)
Martina Seidl, Robert Könighofer
Partial witnesses from preprocessed quantified Boolean formulas. DATE (2014)
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
SAT-Based Methods for Circuit Synthesis. CoRR (2014)
Roderick Bloem, Robert Könighofer, Martina Seidl
SAT-Based Synthesis Methods for Safety Specs. VMCAI (2014)
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
SAT-based methods for circuit synthesis. FMCAD (2014)
Robert Könighofer, Ronald Toegl, Roderick Bloem
Automatic Error Localization for Software using Deductive Verification. CoRR (2014)
Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig
Automating Test-Suite Augmentation. QSIC (2014)
Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork
Synthesis of synchronization using uninterpreted functions. FMCAD (2014)
Robert Könighofer, Georg Hofferek, Roderick Bloem
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Roderick Bloem, Robert Könighofer, Martina Seidl
SAT-Based Synthesis Methods for Safety Specs. CoRR (2013)
Rüdiger Ehlers, Robert Könighofer, Georg Hofferek
Symbolically synthesizing small circuits. FMCAD (2012)
Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer
Synthesizing Robust Systems with RATSY SYNT (2012)
Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow
FoREnSiC- An Automatic Debugging Environment for C Programs. Haifa Verification Conference (2012)
Robert Könighofer, Roderick Bloem
Repair with On-The-Fly Program Analysis. Haifa Verification Conference (2012)
Robert Könighofer, Roderick Bloem
Automated error localization and correction for imperative programs. FMCAD (2011)
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
RATSY - A New Requirements Analysis Tool with Synthesis. CAV (2010)
Robert Könighofer, Georg Hofferek, Roderick Bloem
Debugging Unrealizable Specifications with Model-Based Diagnosis. Haifa Verification Conference (2010)
Robert Könighofer, Georg Hofferek, Roderick Bloem
Debugging formal specifications using simple counterstrategies. FMCAD (2009)
Robert Könighofer
A Fast and Cache-Timing Resistant Implementation of the AES. CT-RSA (2008)