Counting Models of Linear-Time Temporal Logic. - Bernd Finkbeiner; Hazem Torfah (LATA, 2014)

Synthesizing Skeletons for Reactive Systems. - Bernd Finkbeiner; Hazem Torfah (ATVA, 2016)

A Stream-Based Specification Language for Network Monitoring. - Peter Faymonville; Bernd Finkbeiner; Sebastian Schirmer; Hazem Torfah (RV, 2016)

The Density of Linear-Time Properties. - Bernd Finkbeiner; Hazem Torfah (ATVA, 2017)

Real-time Stream-based Monitoring. - Peter Faymonville; Bernd Finkbeiner; Maximilian Schwenger; Hazem Torfah (CoRR, 2017)

Model Checking Quantitative Hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Hazem Torfah (CAV (1), 2018)

The complexity of counting models of linear-time temporal logic. - Hazem Torfah; Martin Zimmermann 002 (Acta Informatica, 2018)

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. - Hadas Kress-Gazit; Hazem Torfah (CREST@ETAPS, 2018)

Approximate Automata for Omega-Regular Languages. - Rayna Dimitrova; Bernd Finkbeiner; Hazem Torfah (ATVA, 2019)

Synthesizing Approximate Implementations for Unrealizable Specifications. - Rayna Dimitrova; Bernd Finkbeiner; Hazem Torfah (CAV (1), 2019)

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. - Peter Faymonville; Bernd Finkbeiner; Malte Schledjewski; Maximilian Schwenger; Marvin Stenger; Leander Tentrup; Hazem Torfah (CAV (1), 2019)

Canonical Representations of k-Safety Hyperproperties. - Bernd Finkbeiner; Lennart Haas; Hazem Torfah (CSF, 2019)

Stream-Based Monitors for Real-Time Properties. - Hazem Torfah (RV, 2019)

FPGA Stream-Monitoring of Real-time Properties. - Jan Baumeister; Bernd Finkbeiner; Maximilian Schwenger; Hazem Torfah (ACM Trans. Embed. Comput. Syst., 2019)

Model counting for reactive systems. - Hazem Torfah (2019)

Explainable Reactive Synthesis. - Tom Baumeister; Bernd Finkbeiner; Hazem Torfah (ATVA, 2020)

Probabilistic Hyperproperties of Markov Decision Processes. - Rayna Dimitrova; Bernd Finkbeiner; Hazem Torfah (ATVA, 2020)

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. - Sumukh Shivakumar; Hazem Torfah; Ankush Desai; Sanjit A. Seshia (RV, 2020)

Runtime Monitors for Markov Decision Processes. - Sebastian Junges; Hazem Torfah; Sanjit A. Seshia (CAV (2), 2021)

Synthesizing Pareto-Optimal Interpretations for Black-Box Models. - Hazem Torfah; Shetal Shah; Supratik Chakraborty; S. Akshay 001; Sanjit A. Seshia (FMCAD, 2021)

Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. - Hazem Torfah; Sebastian Junges; Daniel J. Fremont; Sanjit A. Seshia (RV, 2021)

Runtime Monitoring for Markov Decision Processes. - Sebastian Junges; Hazem Torfah; Sanjit A. Seshia (CoRR, 2021)

Experiments for 'Runtime Monitoring for Markov Decision Processes'. - Sebastian Junges; Hazem Torfah; Sanjit A. Seshia (Zenodo, 2021)

Learning Monitorable Operational Design Domains for Assured Autonomy. - Hazem Torfah; Carol Xie; Sebastian Junges; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (ATVA, 2022)

Learning Monitor Ensembles for Operational Design Domains. - Hazem Torfah; Aniruddha R. Joshi; Shetal Shah; S. Akshay 001; Supratik Chakraborty; Sanjit A. Seshia (RV, 2023)

Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. - Beyazit Yalcinkaya; Hazem Torfah; Daniel J. Fremont; Sanjit A. Seshia (RV, 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., 2023)

Active Learning of Runtime Monitors Under Uncertainty. - Sebastian Junges; Sanjit A. Seshia; Hazem Torfah (IFM, 2024)

Verification and Learning for Assured Autonomy. - Raúl Pardo; Devdatt Dubhashi; Gerardo Schneider; Hazem Torfah (AISoLA, 2024)

Mining Specifications for Predictive Safety Monitoring. - Eleonora Nesterini; Ezio Bartocci; Alessio Gambi; Dejan Nickovic; Sanjit A. Seshia; Hazem Torfah (ICCPS, 2025)

Querying Labeled Time Series Data with Scenario Programs. - Edward Kim 005; Devan Shanker; Varun Bharadwaj; Hongbeen Park; Jinkyu Kim; Hazem Torfah; Daniel J. Fremont; Sanjit A. Seshia (NFM, 2025)

Metric-Guided Synthesis of Class Activation Mapping. - Alejandro Luque-Cerpa; Elizabeth Polgreen; Ajitha Rajan; Hazem Torfah (CoRR, 2025)