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 C.Hahn L.Tentrup P.Lukert P.Faymonville M.Schledjewski M.Schwenger H.Torfah
Talks about:
hyperproperti (2) system (2) stream (2) synthes (1) satisfi (1) reactiv (1) monitor (1) equival (1) physic (1) implic (1)

Person: Marvin Stenger

DBLP DBLP: Stenger:Marvin

Contributed to:

CAV (2) 20172017
CAV (1) 20182018
CAV (1) 20192019

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-2019-FaymonvilleFSSS #cyber-physical #monitoring #named
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems (PF, BF, MS, MS, MS, LT, HT), pp. 421–431.

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.