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: Torfah:Hazem
Contributed to:
2014
20182019Wrote 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.