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: Stenger:Marvin
Contributed to:
201720182019Wrote 3 papers:
- CAV-2017-FinkbeinerHS #equivalence #named #satisfiability
- EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties (BF, CH, MS), pp. 564–570.
- CAV-2018-FinkbeinerHLST
- 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.