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: K=ouml=nighofer:Robert
Contributed to:
2015
2014
2014
2010Wrote 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.