BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × USA
2 × United Kingdom
Collaborated with:
R.Bloem M.Seidl K.Chatterjee S.Jacobs B.Könighofer C.Wang A.Cimatti K.Greimel G.Hofferek M.Roveri V.Schuppan R.Seeber
Talks about:
synthesi (4) reactiv (2) partial (2) preprocess (1) quantifi (1) guarante (1) program (1) formula (1) concurr (1) boolean (1)

Person: Robert Könighofer

DBLP DBLP: K=ouml=nighofer:Robert

Contributed to:

TACAS 20152015
DATE 20142014
VMCAI 20142014
CAV 20102010

Wrote 5 papers:

TACAS-2015-BloemCJK #concurrent #source code #synthesis
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (RB, KC, SJ, RK), pp. 517–532.
TACAS-2015-BloemKKW #runtime #synthesis
Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.
DATE-2014-SeidlK #quantifier
Partial witnesses from preprocessed quantified Boolean formulas (MS, RK), pp. 1–6.
VMCAI-2014-BloemKS #safety #satisfiability #specification #synthesis
SAT-Based Synthesis Methods for Safety Specs (RB, RK, MS), pp. 1–20.
CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis
RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.