| 2024 | AIES | Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates. | Colin Shea-Blymyer, Houssam Abbas |
| 2023 | RV | Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. | Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas |
| 2022 | AIES | Generating Deontic Obligations From Utility-Maximizing Systems. | Colin Shea-Blymyer, Houssam Abbas |
| 2022 | ISoLA | Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. | Houssam Abbas, Borzoo Bonakdarpour |
| 2021 | RV | Predicate Monitoring in Distributed Cyber-Physical Systems. | Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour |
| 2020 | SIGCSE | Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum. | Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas |
| 2020 | RV | Logical Signal Processing: A Fourier Analysis of Temporal Logic. | Niraj Basnet, Houssam Abbas |
| 2019 | EMSOFT | Private runtime verification: work-in-progress. | Houssam Abbas |
| 2018 | EMSOFT | Embedded software for robotics: challenges and future directions: special session. | Houssam Abbas, Indranil Saha, Yasser Shoukry, Rdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus |
| 2016 | COMSNETS | Three challenges in cyber-physical systems. | Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang |
| 2015 | RTSS | Hardware Optimizations for Anytime Perception and Control. | Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam |
| 2015 | RTSS | Co-design of Anytime Computation and Robust Control. | Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam |
| 2014 | MEMOCODE | Formal property verification in a conformance testing framework. | Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos |
| 2011 | ATVA | Linear Hybrid System Falsification through Local Search. | Houssam Abbas, Georgios Fainekos |
| 2007 | ICASSP | Suppression of Mosquito Noise by Recursive Epsilon-Filters. | Houssam Abbas, Lina J. Karam |