Hazem Torfah
发表
B. Finkbeiner,
Peter Faymonville,
Maximilian Schwenger,
2019
.
S. Seshia,
Sebastian Junges,
Marcell Vazquez-Chanlatte,
2022,
ATVA.
S. Seshia,
Hazem Torfah,
2022
.
Bernd Finkbeiner,
Hazem Torfah,
Jan Baumeister,
2019,
ACM Trans. Embed. Comput. Syst..
Hazem Torfah,
Hazem Torfah,
2019,
RV.
Bernd Finkbeiner,
Hazem Torfah,
Sebastian Schirmer,
2016,
RV.
B. Finkbeiner,
Hazem Torfah,
Rayna Dimitrova,
2020,
ATVA.
Bernd Finkbeiner,
Rayna Dimitrova,
Hazem Torfah,
2019,
ATVA.
Sanjit A. Seshia,
Hazem Torfah,
S. Akshay,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Bernd Finkbeiner,
Christopher Hahn,
Hazem Torfah,
2018,
CAV.
Bernd Finkbeiner,
Rayna Dimitrova,
Hazem Torfah,
2019,
CAV.
Bernd Finkbeiner,
Lennart Haas,
Hazem Torfah,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Hadas Kress-Gazit,
Hazem Torfah,
H. Kress-Gazit,
2019,
CREST@ETAPS.
Bernd Finkbeiner,
Hazem Torfah,
Tom Baumeister,
2020,
ATVA.
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah,
2021,
CAV.
Bernd Finkbeiner,
Hazem Torfah,
Maximilian Schwenger,
2019,
CAV.
Bernd Finkbeiner,
Hazem Torfah,
Maximilian Schwenger,
2017,
ArXiv.
Bernd Finkbeiner,
Hazem Torfah,
B. Finkbeiner,
2017,
ATVA.
Bernd Finkbeiner,
Hazem Torfah,
B. Finkbeiner,
2014,
LATA.