Hazem Torfah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. | Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia |
| 2024 | IFM | Active Learning of Runtime Monitors Under Uncertainty. | Sebastian Junges, Sanjit A. Seshia, Hazem Torfah |
| 2024 | VECoS | Verification and Learning for Assured Autonomy. | Ral Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah |
| 2023 | RV | Learning Monitor Ensembles for Operational Design Domains. | Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia |
| 2023 | RV | Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. | Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia |
| 2022 | ATVA | Learning Monitorable Operational Design Domains for Assured Autonomy. | Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2021 | CAV | Runtime Monitors for Markov Decision Processes. | Sebastian Junges, Hazem Torfah, Sanjit A. Seshia |
| 2021 | FMCAD | Synthesizing Pareto-Optimal Interpretations for Black-Box Models. | Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia |
| 2021 | RV | Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. | Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia |
| 2020 | ATVA | Explainable Reactive Synthesis. | Tom Baumeister, Bernd Finkbeiner, Hazem Torfah |
| 2020 | ATVA | Probabilistic Hyperproperties of Markov Decision Processes. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2020 | RV | SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. | Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia |
| 2019 | ATVA | Approximate Automata for Omega-Regular Languages. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2019 | CAV | Synthesizing Approximate Implementations for Unrealizable Specifications. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2019 | CAV | StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. | Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah |
| 2019 | RV | Stream-Based Monitors for Real-Time Properties. | Hazem Torfah |
| 2018 | CAV | Model Checking Quantitative Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Hazem Torfah |
| 2017 | ATVA | The Density of Linear-Time Properties. | Bernd Finkbeiner, Hazem Torfah |
| 2016 | ATVA | Synthesizing Skeletons for Reactive Systems. | Bernd Finkbeiner, Hazem Torfah |
| 2016 | RV | A Stream-Based Specification Language for Network Monitoring. | Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |
| 2014 | LATA | Counting Models of Linear-Time Temporal Logic. | Bernd Finkbeiner, Hazem Torfah |