Hazem Torfah

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 35

Top Topics

Markov Decision Process

Reactive Systems

Top Venues

Publications

Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV (2023)
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
Learning Monitor Ensembles for Operational Design Domains. RV (2023)
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA (2022)
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV (2021)
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
Runtime Monitors for Markov Decision Processes. CAV (2) (2021)
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD (2021)
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
Runtime Monitoring for Markov Decision Processes. CoRR (2021)
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR (2021)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Probabilistic Hyperproperties of Markov Decision Processes. CoRR (2020)
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Explainable Reactive Synthesis. CoRR (2020)
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV (2020)
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
FPGA Stream-Monitoring of Real-time Properties. CoRR (2020)
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR (2020)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Probabilistic Hyperproperties of Markov Decision Processes. ATVA (2020)
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Canonical Representations of k-Safety Hyperproperties. CoRR (2020)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Approximate Automata for Omega-Regular Languages. CoRR (2020)
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Explainable Reactive Synthesis. ATVA (2020)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR (2020)
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Hazem Torfah
Stream-Based Monitors for Real-Time Properties. RV (2019)
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Model Checking Quantitative Hyperproperties. CoRR (2019)
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Canonical Representations of k-Safety Hyperproperties. CSF (2019)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Approximate Automata for Omega-Regular Languages. ATVA (2019)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) (2019)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) (2019)
Bernd Finkbeiner, Hazem Torfah
Synthesizing Skeletons for Reactive Systems. CoRR (2018)
Bernd Finkbeiner, Hazem Torfah
The Density of Linear-time Properties. CoRR (2018)
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Model Checking Quantitative Hyperproperties. CAV (1) (2018)
Hadas Kress-Gazit, Hazem Torfah
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. CREST@ETAPS (2018)
Hazem Torfah, Martin Zimmermann
The complexity of counting models of linear-time temporal logic. Acta Informatica 55 (3) (2018)
Bernd Finkbeiner, Hazem Torfah
The Density of Linear-Time Properties. ATVA (2017)
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
Real-time Stream-based Monitoring. CoRR (2017)
Bernd Finkbeiner, Hazem Torfah
Synthesizing Skeletons for Reactive Systems. ATVA (2016)
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
A Stream-Based Specification Language for Network Monitoring. RV (2016)
Hazem Torfah, Martin Zimmermann
The Complexity of Counting Models of Linear-time Temporal Logic. FSTTCS (2014)
Hazem Torfah, Martin Zimmermann
The Complexity of Counting Models of Linear-time Temporal Logic. CoRR (2014)
Bernd Finkbeiner, Hazem Torfah
Counting Models of Linear-Time Temporal Logic. LATA (2014)