Prof. Dr. Hazem Torfah

While being a member of this group or in collaboration with us.

• Explainable Reactive Synthesis
  Tom Baumeister, Bernd Finkbeiner and Hazem Torfah · ATVA 2020
• Probabilistic Hyperproperties of Markov Decision Processes
  Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah · ATVA 2020
• Stream-based Monitors for Real-time Properties
  Hazem Torfah · RV 2019 @ FM'19
• Approximate Automata for Omega-regular Languages
  Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah · ATVA 2019
• FPGA Stream-Monitoring of Real-time Properties
  Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger and Hazem Torfah · EMSOFT 2019
• On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
  Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger and Hazem Torfah · CyberCardia 2019
• StreamLAB: Stream-based Monitoring of Cyber-physical Systems
  Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup and Hazem Torfah · CAV 2019
• Synthesizing Approximate Implementations for Unrealizable Specifications
  Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah · CAV 2019
• Canonical Representations of k-Safety Hyperproperties
  Bernd Finkbeiner, Lennart Haas and Hazem Torfah · CSF 2019
• Real-time Stream Monitoring with StreamLAB
  Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Leander Tentrup and Hazem Torfah · MT-CPS 2019
• Model Checking Quantitative Hyperproperties
  Bernd Finkbeiner, Christopher Hahn and Hazem Torfah · CAV 2018
• The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
  Hadas Kress-Gazit and Hazem Torfah · CREST 2018
• The Complexity of Counting Models of Linear-time Temporal Logic
  Hazem Torfah and Martin Zimmermann · Acta Informatica
• The Density of Linear-time Properties
  Bernd Finkbeiner and Hazem Torfah · ATVA 2017
• Synthesizing Skeletons for Reactive Systems
  Bernd Finkbeiner and Hazem Torfah · ATVA 2016
• A Stream-based Specification Language for Network Monitoring
  Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer and Hazem Torfah · RV 2016
• The Complexity of Counting Models of Linear-time Temporal Logic
  Hazem Torfah and Martin Zimmermann · FSTTCS 2014
• Counting Models of Linear-time Temporal Logic
  Bernd Finkbeiner and Hazem Torfah · LATA 2014

While being a member of this group or in collaboration with us.

• Model Counting for Reactive Systems
  Hazem Torfah · UdS