Hazem Torfah

About me

I am a Ph.D. student in the Reactive Systems Group and a member of the Graduate School of Computer Science at Saarland University.


Reactive Systems Group
Universität des Saarlandes
Campus E1.1 R. 1.15
D-66123, Saarbrücken

Phone: +49 681 302 5663
eMail: lastname at react.uni-saarland.de

Research Interests


[FT17] The Density of Linear-time Properties.
With Bernd Finkbeiner
to appear @ATVA 2017.
[TZ16] The Complexity of Counting Models of Linear-time Temporal Logic.
With Martin Zimmermann
@Acta Informatica. This is a journal version of [TZ14].
[FT16] Synthesizing Skeletons for Reactive Systems.
With Bernd Finkbeiner
@ATVA 2016.
[FFST16] A Stream-based Specification Language for Network Monitoring.
With Bernd Finkbeiner, Peter Faymonville and Sebastian Schirmer
@RV 2016.
[TZ14] The Complexity of Counting Models of Linear-time Temporal Logic.
With Martin Zimmermann
@FSTTCS 2014.
[FT14] Counting Models of Linear-time Temporal Logic.
With Bernd Finkbeiner
@LATA 2014.

Student Projects

Learning Automata for LTL Valentin Seimetz, Bachelor Thesis, (Ongoing)
A Comparison between Lola and QREs Nathalie Zeller, Bachelor Thesis, (Ongoing)
FPGA-based Monitoring for Stream Specification Languages Marcel Maltry, Master Thesis, (Ongoing)
Optimizing Lola Specifications Mark Timon Hüneberg, Bachelor Thesis, 2015
Approximate LTL Model Counting via Monte Carlo Jennifer Niederländer, Bachelor Thesis, 2015


WiSe 2016/17: Assistant: Seminar: Runtime Verification.
SoSe 2016: Tutor: Embedded Systems.
WiSe 2015/16: Assistant: Seminar: Trends in Software Synthesis.
SoSe 2015: Assistant: Proseminar: Softwarezuverlässigkeit.
WiSe 2014/15: Assistant: Programmierung 1.
SoSe 2014: Advisor: Seminar: Advanced Topics in Infinite Games.
WiSe 2013/14: Assistant: Time Machine.
SoSe 2013: Tutor: Verification.
WiSe 2012/13: Assistant: Automata, Games and Verification.
Advisor: Seminar: Real-time Systems and Synthesis.
SoSe 2010: Tutor: Introduction to Computational Logic.
WiSe 2009/10: Supervision Tutor: Programming 1.
Co-Lecturer: Methodik und Didaktik für Tutoren.
Tutor: Mathematics Pre-Course.
SoSe 2009: Tutor: Concurrent Programming.
WiSe 2008/09: Tutor: Programming 1.
Tutor: Mathematics Pre-Course.