- Hem
- Om universitetet
- Hitta person
- HAZEM TORFAH
HAZEM TORFAH
Forskarassistent
Formella metoder (FM)-
Metric-Guided Synthesis for Class Activation
Mapping
Alejandro Luque Cerpa, Elizabeth Polgreen, Ajitha Rajan, HAZEM TORFAH
Communications in Computer and Information Science - 2026 -
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning
Models
Aniruddha Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, HAZEM TORFAH, Sanjit Seshia
Lecture Notes in Computer Science - 2026 -
Querying Labeled Time Series Data with Scenario
Programs
Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, HAZEM TORFAH, Daniel J. Fremont, Sanjit A. Seshia
Lecture Notes in Computer Science - 2025 -
Mining Specifications for Predictive Safety
Monitoring
Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, HAZEM TORFAH
Proceedings of the ACM IEEE 16th International Conference on Cyber Physical Systems Iccps 2025 Held as Part of the Cps Iot Week 2025 - 2025 -
Active Learning of Runtime Monitors Under
Uncertainty
Sebastian Junges, Sanjit A. Seshia, Hazem Torfah
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2025