Hazem Torfah - RankMe

51 papers A 1B 16C 1Journal 22Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Learning Contextual Runtime Monitors for Safe AI-Based Autonomy. CoRR Alejandro Luque-Cerpa, Mengyuan Wang, Emil Carlsson, Sanjit A. Seshia, Devdatt P. Dubhashi, Hazem Torfah
2026	J	`jnl`	Learning Robust Markov Models for Safe Runtime Monitoring. CoRR Antonina Skurka, Luko van der Maas, Sebastian Junges, Hazem Torfah
2026	B	`ed.`	Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings RV Bettina Könighofer, Hazem Torfah
2025	B	`conf`	Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. ATVA Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2025	J	`jnl`	Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. CoRR Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2025	—	`conf`	Metric-Guided Synthesis for Class Activation Mapping. xAI (3) Alejandro Luque-Cerpa, Elizabeth Polgreen, Ajitha Rajan, Hazem Torfah
2025	J	`jnl`	Metric-Guided Synthesis of Class Activation Mapping. CoRR Alejandro Luque-Cerpa, Elizabeth Polgreen, Ajitha Rajan, Hazem Torfah
2025	—	`conf`	Mining Specifications for Predictive Safety Monitoring. ICCPS Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, Hazem Torfah
2025	—	`conf`	Querying Labeled Time Series Data with Scenario Programs. NFM Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2025	J	`jnl`	Querying Labeled Time Series Data with Scenario Programs. CoRR Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2024	B	`conf`	Active Learning of Runtime Monitors Under Uncertainty. IFM Sebastian Junges, Sanjit A. Seshia, Hazem Torfah
2024	—	`conf`	Verification and Learning for Assured Autonomy. AISoLA Raúl Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah
2023	B	`conf`	Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2023	B	`conf`	Learning Monitor Ensembles for Operational Design Domains. RV Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
2023	J	`jnl`	Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
2022	B	`conf`	Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2021	B	`conf`	Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021	J	`jnl`	Runtime Monitoring for Markov Decision Processes. CoRR Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
2021	—	`conf`	Runtime Monitors for Markov Decision Processes. CAV (2) Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
2021	B	`conf`	Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2021	J	`jnl`	Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2020	J	`jnl`	Approximate Automata for Omega-Regular Languages. CoRR Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020	J	`jnl`	Canonical Representations of k-Safety Hyperproperties. CoRR Bernd Finkbeiner, Lennart Haas, Hazem Torfah
2020	B	`conf`	Explainable Reactive Synthesis. ATVA Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
2020	J	`jnl`	Explainable Reactive Synthesis. CoRR Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
2020	J	`jnl`	FPGA Stream-Monitoring of Real-time Properties. CoRR Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2020	B	`conf`	Probabilistic Hyperproperties of Markov Decision Processes. ATVA Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020	J	`jnl`	Probabilistic Hyperproperties of Markov Decision Processes. CoRR Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020	B	`conf`	SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
2020	J	`jnl`	SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
2020	J	`jnl`	Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2019	B	`conf`	Approximate Automata for Omega-Regular Languages. ATVA Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2019	A	`conf`	Canonical Representations of k-Safety Hyperproperties. CSF Bernd Finkbeiner, Lennart Haas, Hazem Torfah
2019	J	`jnl`	FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2019	J	`jnl`	Model Checking Quantitative Hyperproperties. CoRR Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
2019	—	`—`	Model counting for reactive systems. Hazem Torfah
2019	B	`conf`	Stream-Based Monitors for Real-Time Properties. RV Hazem Torfah
2019	—	`conf`	StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
2019	—	`conf`	Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2018	—	`conf`	Model Checking Quantitative Hyperproperties. CAV (1) Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
2018	J	`jnl`	Synthesizing Skeletons for Reactive Systems. CoRR Bernd Finkbeiner, Hazem Torfah
2018	—	`conf`	The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. CREST Hadas Kress-Gazit, Hazem Torfah
2018	J	`jnl`	The Density of Linear-time Properties. CoRR Bernd Finkbeiner, Hazem Torfah
2018	J	`jnl`	The complexity of counting models of linear-time temporal logic. Acta Informatica Hazem Torfah, Martin Zimmermann
2017	J	`jnl`	Real-time Stream-based Monitoring. CoRR Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2017	B	`conf`	The Density of Linear-Time Properties. ATVA Bernd Finkbeiner, Hazem Torfah
2016	B	`conf`	A Stream-Based Specification Language for Network Monitoring. RV Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
2016	B	`conf`	Synthesizing Skeletons for Reactive Systems. ATVA Bernd Finkbeiner, Hazem Torfah
2014	C	`conf`	Counting Models of Linear-Time Temporal Logic. LATA Bernd Finkbeiner, Hazem Torfah
2014	—	`conf`	The Complexity of Counting Models of Linear-time Temporal Logic. FSTTCS Hazem Torfah, Martin Zimmermann
2014	J	`jnl`	The Complexity of Counting Models of Linear-time Temporal Logic. CoRR Hazem Torfah, Martin Zimmermann