Robert Könighofer

42 papers A* 1A 4B 9C 1Journal 16Unranked 11

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Synthesis of Admissible Shields. CoRR Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2019	J	`jnl`	Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
2018	J	`jnl`	Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
2017	J	`jnl`	OpenSEA: Semi-Formal Methods for Soft Error Analysis. CoRR Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran
2017	J	`jnl`	Shield synthesis. Formal Methods Syst. Des. Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
2017	J	`jnl`	The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 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
2016	C	`conf`	Designing reliable cyber-physical systems overview associated to the special session at FDL'16. FDL 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
2016	—	`conf`	SMT-Based CPS Parameter Synthesis. ARCH@CPSWeek Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem
2016	J	`jnl`	Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl
2016	—	`conf`	Synthesis of Admissible Shields. Haifa Verification Conference Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2016	B	`conf`	Synthesizing adaptive test strategies from temporal logic specifications. FMCAD Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck
2016	—	`conf`	The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 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
2015	A	`conf`	Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. TACAS Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2015	B	`conf`	Cooperative Reactive Synthesis. ATVA Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
2015	J	`jnl`	Cooperative Reactive Synthesis. CoRR Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
2015	A	`conf`	Shield Synthesis: - Runtime Enforcement for Reactive Systems. TACAS Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2015	J	`jnl`	Shield Synthesis: Runtime Enforcement for Reactive Systems. CoRR Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2015	A	`conf`	Synthesizing cooperative reactive mission plans. IROS Rüdiger Ehlers, Robert Könighofer, Roderick Bloem
2015	J	`jnl`	The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR 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
2015	—	`conf`	The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT 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
2014	J	`jnl`	Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. CoRR Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2014	—	`conf`	Automatic Error Localization for Software Using Deductive Verification. Haifa Verification Conference Robert Könighofer, Ronald Toegl, Roderick Bloem
2014	J	`jnl`	Automatic Error Localization for Software using Deductive Verification. CoRR Robert Könighofer, Ronald Toegl, Roderick Bloem
2014	—	`conf`	Automating Test-Suite Augmentation. QSIC Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig
2014	—	`conf`	How to Handle Assumptions in Synthesis. SYNT Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
2014	A	`conf`	Partial witnesses from preprocessed quantified Boolean formulas. DATE Martina Seidl, Robert Könighofer
2014	J	`jnl`	SAT-Based Methods for Circuit Synthesis. CoRR Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
2014	B	`conf`	SAT-Based Synthesis Methods for Safety Specs. VMCAI Roderick Bloem, Robert Könighofer, Martina Seidl
2014	B	`conf`	SAT-based methods for circuit synthesis. FMCAD Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
2014	B	`conf`	Synthesis of synchronization using uninterpreted functions. FMCAD Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork
2014	J	`jnl`	Synthesizing robust systems. Acta Informatica Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
2013	J	`jnl`	Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. Int. J. Softw. Tools Technol. Transf. Robert Könighofer, Georg Hofferek, Roderick Bloem
2013	J	`jnl`	SAT-Based Synthesis Methods for Safety Specs. CoRR Roderick Bloem, Robert Könighofer, Martina Seidl
2012	—	`conf`	FoREnSiC- An Automatic Debugging Environment for C Programs. Haifa Verification Conference Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow
2012	—	`conf`	Repair with On-The-Fly Program Analysis. Haifa Verification Conference Robert Könighofer, Roderick Bloem
2012	B	`conf`	Symbolically synthesizing small circuits. FMCAD Rüdiger Ehlers, Robert Könighofer, Georg Hofferek
2012	—	`conf`	Synthesizing Robust Systems with RATSY SYNT Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer
2011	B	`conf`	Automated error localization and correction for imperative programs. FMCAD Robert Könighofer, Roderick Bloem
2010	—	`conf`	Debugging Unrealizable Specifications with Model-Based Diagnosis. Haifa Verification Conference Robert Könighofer, Georg Hofferek, Roderick Bloem
2010	A*	`conf`	RATSY - A New Requirements Analysis Tool with Synthesis. CAV Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
2009	B	`conf`	Debugging formal specifications using simple counterstrategies. FMCAD Robert Könighofer, Georg Hofferek, Roderick Bloem
2008	B	`conf`	A Fast and Cache-Timing Resistant Implementation of the AES. CT-RSA Robert Könighofer