BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
B.Finkbeiner M.Stenger H.Torfah P.Lukert L.Tentrup
Talks about:
hyperproperti (3) check (2) synthes (1) satisfi (1) reactiv (1) quantit (1) equival (1) system (1) implic (1) model (1)

Person: Christopher Hahn

DBLP DBLP: Hahn:Christopher

Contributed to:

CAV (2) 20172017
CAV (1) 20182018

Wrote 3 papers:

CAV-2017-FinkbeinerHS #equivalence #named #satisfiability
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties (BF, CH, MS), pp. 564–570.
Synthesizing Reactive Systems from Hyperproperties (BF, CH, PL, MS, LT), pp. 289–306.
CAV-2018-FinkbeinerHT #model checking
Model Checking Quantitative Hyperproperties (BF, CH, HT), pp. 144–163.

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.