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 × Spain
Collaborated with:
B.Finkbeiner C.Hahn R.Dimitrova P.Faymonville M.Schledjewski M.Schwenger M.Stenger L.Tentrup
Talks about:
stream (2) model (2) hyperproperti (1) implement (1) unrealiz (1) approxim (1) synthes (1) quantit (1) monitor (1) tempor (1)

Person: Hazem Torfah

DBLP DBLP: Torfah:Hazem

Contributed to:

LATA 20142014
CAV (1) 20182018
CAV (1) 20192019

Wrote 4 papers:

LATA-2014-FinkbeinerT #linear #logic #modelling
Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.
CAV-2018-FinkbeinerHT #model checking
Model Checking Quantitative Hyperproperties (BF, CH, HT), pp. 144–163.
CAV-2019-DimitrovaFT #approximate #implementation #specification
Synthesizing Approximate Implementations for Unrealizable Specifications (RD, BF, HT), pp. 241–258.
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.