Hazem Torfah

According to our database, Hazem Torfah authored at least 26 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.

Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.

Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Learning Monitor Ensembles for Operational Design Domains.

Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2022

Learning Monitorable Operational Design Domains for Assured Autonomy.

Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Runtime Monitoring for Markov Decision Processes.

Sebastian Junges, Hazem Torfah, Sanjit A. Seshia

CoRR, 2021

Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.

Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Runtime Verification - 21st International Conference, 2021

Synthesizing Pareto-Optimal Interpretations for Black-Box Models.

Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia

Proceedings of the Formal Methods in Computer Aided Design, 2021

Runtime Monitors for Markov Decision Processes.

Sebastian Junges, Hazem Torfah, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.

Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

Proceedings of the Runtime Verification - 20th International Conference, 2020

Probabilistic Hyperproperties of Markov Decision Processes.

Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2020

Explainable Reactive Synthesis.

Tom Baumeister, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Model counting for reactive systems.

Hazem Torfah

PhD thesis, 2019

FPGA Stream-Monitoring of Real-time Properties.

Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah

ACM Trans. Embed. Comput. Syst., 2019

Stream-Based Monitors for Real-Time Properties.

Hazem Torfah

Proceedings of the Runtime Verification - 19th International Conference, 2019

Canonical Representations of k-Safety Hyperproperties.

Bernd Finkbeiner, Lennart Haas, Hazem Torfah

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Synthesizing Approximate Implementations for Unrealizable Specifications.

Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Approximate Automata for Omega-Regular Languages.

Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems.

Hadas Kress-Gazit, Hazem Torfah

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

The complexity of counting models of linear-time temporal logic.

Hazem Torfah, Martin Zimmermann

Acta Informatica, 2018

Model Checking Quantitative Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Hazem Torfah

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Real-time Stream-based Monitoring.

Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah

CoRR, 2017

The Density of Linear-Time Properties.

Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

A Stream-Based Specification Language for Network Monitoring.

Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah

Proceedings of the Runtime Verification - 16th International Conference, 2016

Synthesizing Skeletons for Reactive Systems.

Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2016

2014

Counting Models of Linear-Time Temporal Logic.

Bernd Finkbeiner, Hazem Torfah

Proceedings of the Language and Automata Theory and Applications, 2014