Robert Könighofer

According to our database, Robert Könighofer authored at least 33 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., 2017

Shield synthesis.

Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang

Formal Methods Syst. Des., 2017

OpenSEA: Semi-Formal Methods for Soft Error Analysis.

Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran

CoRR, 2017

2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

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

Proceedings of the Proceedings Fifth Workshop on Synthesis, 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

Synthesis of Admissible Shields.

Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu

Proceedings of the Hardware and Software: Verification and Testing, 2016

Synthesizing adaptive test strategies from temporal logic specifications.

Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

SMT-Based CPS Parameter Synthesis.

Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem

Proceedings of the ARCH@CPSWeek 2016, 2016

2015

The Second Reactive Synthesis Competition (SYNTCOMP 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

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Shield Synthesis: - Runtime Enforcement for Reactive Systems.

Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.

Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Synthesizing cooperative reactive mission plans.

Rüdiger Ehlers, Robert Könighofer, Roderick Bloem

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Cooperative Reactive Synthesis.

Roderick Bloem, Rüdiger Ehlers, Robert Könighofer

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

How to Handle Assumptions in Synthesis.

Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

Proceedings of the Proceedings 3rd Workshop on Synthesis, 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

SAT-Based Synthesis Methods for Safety Specs.

Roderick Bloem, Robert Könighofer, Martina Seidl

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Automating Test-Suite Augmentation.

Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Automatic Error Localization for Software Using Deductive Verification.

Robert Könighofer, Ronald Toegl, Roderick Bloem

Proceedings of the Hardware and Software: Verification and Testing, 2014

Synthesis of synchronization using uninterpreted functions.

Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork

Proceedings of the Formal Methods in Computer-Aided Design, 2014

SAT-based methods for circuit synthesis.

Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Partial witnesses from preprocessed quantified Boolean formulas.

Martina Seidl, Robert Könighofer

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

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

2012

Synthesizing Robust Systems with RATSY

Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

Proceedings of the Proceedings First Workshop on Synthesis, 2012

Repair with On-The-Fly Program Analysis.

Robert Könighofer, Roderick Bloem

Proceedings of the Hardware and Software: Verification and Testing, 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

Proceedings of the Hardware and Software: Verification and Testing, 2012

Symbolically synthesizing small circuits.

Rüdiger Ehlers, Robert Könighofer, Georg Hofferek

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Automated error localization and correction for imperative programs.

Robert Könighofer, Roderick Bloem

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Debugging Unrealizable Specifications with Model-Based Diagnosis.

Robert Könighofer, Georg Hofferek, Roderick Bloem

Proceedings of the Hardware and Software: Verification and Testing, 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

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Debugging formal specifications using simple counterstrategies.

Robert Könighofer, Georg Hofferek, Roderick Bloem

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

A Fast and Cache-Timing Resistant Implementation of the AES.

Robert Könighofer

Proceedings of the Topics in Cryptology, 2008