Robert Knighofer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2009–2016
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FDL | 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, Grschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Knighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Rck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao |
| 2016 | FMCAD | Synthesizing adaptive test strategies from temporal logic specifications. | Roderick Bloem, Robert Knighofer, Ingo Pill, Franz Rck |
| 2015 | ATVA | Cooperative Reactive Synthesis. | Roderick Bloem, Rdiger Ehlers, Robert Knighofer |
| 2015 | IROS | Synthesizing cooperative reactive mission plans. | Rdiger Ehlers, Robert Knighofer, Roderick Bloem |
| 2015 | TACAS | Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. | Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Knighofer |
| 2015 | TACAS | Shield Synthesis: - Runtime Enforcement for Reactive Systems. | Roderick Bloem, Bettina Knighofer, Robert Knighofer, Chao Wang |
| 2014 | DATE | Partial witnesses from preprocessed quantified Boolean formulas. | Martina Seidl, Robert Knighofer |
| 2014 | FMCAD | SAT-based methods for circuit synthesis. | Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Knighofer, Florian Lonsing |
| 2014 | FMCAD | Synthesis of synchronization using uninterpreted functions. | Roderick Bloem, Georg Hofferek, Bettina Knighofer, Robert Knighofer, Simon Ausserlechner, Raphael Spork |
| 2014 | VMCAI | SAT-Based Synthesis Methods for Safety Specs. | Roderick Bloem, Robert Knighofer, Martina Seidl |
| 2012 | FMCAD | Symbolically synthesizing small circuits. | Rdiger Ehlers, Robert Knighofer, Georg Hofferek |
| 2011 | FMCAD | Automated error localization and correction for imperative programs. | Robert Knighofer, Roderick Bloem |
| 2010 | CAV | RATSY - A New Requirements Analysis Tool with Synthesis. | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
| 2009 | FMCAD | Debugging formal specifications using simple counterstrategies. | Robert Knighofer, Georg Hofferek, Roderick Bloem |