Suppression of Mosquito Noise by Recursive Epsilon-Filters. - Houssam Abbas; Lina J. Karam (ICASSP (1), 2007)

Linear Hybrid System Falsification through Local Search. - Houssam Abbas; Georgios Fainekos (ATVA, 2011)

Linear Hybrid System Falsification Through Descent - Houssam Abbas; Georgios Fainekos (CoRR, 2011)

Convergence proofs for Simulated Annealing falsification of safety properties. - Houssam Abbas; Georgios Fainekos (Allerton Conference, 2012)

Computing descent direction of MTL robustness for non-linear systems. - Houssam Abbas; Georgios Fainekos (ACC, 2013)

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. - Houssam Abbas; Georgios Fainekos; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (ACM Trans. Embed. Comput. Syst., 2013)

Functional gradient descent method for Metric Temporal Logic specifications. - Houssam Abbas; Andrew K. Winn; Georgios Fainekos; A. Agung Julius (ACC, 2014)

Benchmarks for Temporal Logic Requirements for Automotive Systems. - Bardh Hoxha; Houssam Abbas; Georgios Fainekos (ARCH@CPSWeek, 2014)

Using S-TaLiRo on Industrial Size AuImmlertomotive Models. - Bardh Hoxha; Houssam Abbas; Georgios Fainekos (ARCH@CPSWeek, 2014)

WiP abstract: Conformance testing as falsification for cyber-physical systems. - Houssam Abbas; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; James Kapinski; Koichi Ueda (ICCPS, 2014)

Formal property verification in a conformance testing framework. - Houssam Abbas; Hans D. Mittelmann; Georgios Fainekos (MEMOCODE, 2014)

Conformance Testing as Falsification for Cyber-Physical Systems. - Houssam Abbas; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; James Kapinski; Koichi Ueda (CoRR, 2014)

Hardware Optimizations for Anytime Perception and Control. - Nischal K. N.; Paritosh Kelkar; Dhruva Kumar; Yash Vardhan Pant; Houssam Abbas; Joseph Devietti; Rahul Mangharam (RTSS, 2015)

Co-design of Anytime Computation and Robust Control. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (RTSS, 2015)

Towards composition of conformant systems. - Houssam Abbas; Georgios Fainekos (CoRR, 2015)

Model Checking Implantable Cardioverter Defibrillators. - Houssam Abbas; Kuk Jin Jang; Zhihao Jiang; Rahul Mangharam (CoRR, 2015)

Test-Based Falsification and Conformance Testing for Cyber-Physical Systems. - Houssam Abbas (2015)

CyberCardia project: Modeling, verification and validation of implantable cardiac devices. - Md. Ariful Islam; Hyun-Kyung Lim; Nicola Paoletti; Houssam Abbas; Zhihao Jiang; Jacek Cyranka; Rance Cleaveland; Sicun Gao; Edmund M. Clarke; Radu Grosu; Rahul Mangharam; Elizabeth Cherry; et al. (BIBM, 2016)

Robust model predictive control for non-linear systems with input and state constraints via feedback linearization. - Yash Vardhan Pant; Houssam Abbas; Rahul Mangharam (CDC, 2016)

Three challenges in cyber-physical systems. - Rahul Mangharam; Houssam Abbas; Madhur Behl; Kuk Jin Jang; Miroslav Pajic; Zhihao Jiang (COMSNETS, 2016)

Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. - Houssam Abbas; Kuk Jin Jang; Rahul Mangharam (ARCH@CPSWeek, 2016)

In-silico pre-clinical trials for implantable cardioverter defibrillators. - Zhihao Jiang; Houssam Abbas; Kuk Jin Jang; Marco Beccani; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2016)

High-level modeling for computer-aided clinical trials of medical devices. - Houssam Abbas; Zhihao Jiang; Kuk Jin Jang; Marco Beccani; Jackson Liang; Rahul Mangharam (HLDVT, 2016)

Towards Model Checking of Implantable Cardioverter Defibrillators. - Houssam Abbas; Kuk Jin Jang; Zhihao Jiang; Rahul Mangharam (HSCC, 2016)

The Challenges of High-Confidence Medical Device Software. - Zhihao Jiang; Houssam Abbas; Kuk Jin Jang; Rahul Mangharam (Computer, 2016)

Regular Expressions for Irregular Rhythms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CoRR, 2016)

Smooth operator: Control using the smooth robustness of temporal logic. - Yash Vardhan Pant; Houssam Abbas; Rahul Mangharam (CCTA, 2017)

Quantitative Regular Expressions for Arrhythmia Detection Algorithms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CMSB, 2017)

An Autonomous Vehicle Control Stack. - Alëna Rodionova; Matthew O'Kelly; Houssam Abbas; Vincent Pacelli; Rahul Mangharam (ARCH@CPSWeek, 2017)

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. - Houssam Abbas; Matthew O'Kelly; Alëna Rodionova; Rahul Mangharam (CyPhy, 2017)

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. - Houssam Abbas; Matthew O'Kelly; Rahul Mangharam (HSCC, 2017)

Automated closed-loop model checking of implantable pacemakers using abstraction trees. - Zhihao Jiang; Houssam Abbas; Pieter J. Mosterman; Rahul Mangharam (SIGBED Rev., 2017)

Model Validation of PWM DC-DC Converters. - Omar Beg; Houssam Abbas; Taylor T. Johnson; Ali Davoudi (IEEE Trans. Ind. Electron., 2017)

Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology. - Houssam Abbas; Rahul Mangharam (ACC, 2018)

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. - Houssam Abbas; Rajeev Alur; Konstantinos Mamouras; Rahul Mangharam; Alëna Rodionova (MT@CPSWeek, 2018)

Computer Aided Clinical Trials for Implantaule Cardiac Devices. - Kuk Jin Jang; James Weimer; Houssam Abbas; Zhihao Jiang; Jackson Liang; Sanjay Dixit; Rahul Mangharam (EMBC, 2018)

Embedded software for robotics: challenges and future directions: special session. - Houssam Abbas; Indranil Saha; Yasser Shoukry; Rüdiger Ehlers; Georgios Fainekos; Rajesh Gupta 001; Rupak Majumdar; Dogan Ulus (EMSOFT, 2018)

Fly-by-logic: control of multi-drone fleets with temporal logic objectives. - Yash Vardhan Pant; Houssam Abbas; Rhudii A. Quaye; Rahul Mangharam (ICCPS, 2018)

Real-Time Decision Policies With Predictable Performance. - Houssam Abbas; Rajeev Alur; Konstantinos Mamouras; Rahul Mangharam; Alëna Rodionova (Proc. IEEE, 2018)

Private runtime verification: work-in-progress. - Houssam Abbas (EMSOFT Companion, 2019)

Temporal logic robustness for general signal classes. - Houssam Abbas; Yash Vardhan Pant; Rahul Mangharam (HSCC, 2019)

Synthesizing stealthy reprogramming attacks on cardiac devices. - Nicola Paoletti; Zhihao Jiang; Md. Ariful Islam; Houssam Abbas; Rahul Mangharam; Shan Lin 001; Zachary Gruber; Scott A. Smolka (ICCPS, 2019)

Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. - Yash Vardhan Pant; Rhudii A. Quaye; Houssam Abbas; Akarsh Varre; Rahul Mangharam (NFM, 2019)

F1/10: An Open-Source Autonomous Cyber-Physical Platform. - Matthew O'Kelly; Varundev Sukhil; Houssam Abbas; Jack Harkins; Chris Kao; Yash Vardhan Pant; Rahul Mangharam; Dipshil Agarwal; Madhur Behl; Paolo Burgio; Marko Bertogna (CoRR, 2019)

Quantitative Regular Expressions for Arrhythmia Detection. - Houssam Abbas; Alëna Rodionova; Konstantinos Mamouras; Ezio Bartocci; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

A deontic logic analysis of autonomous systems' safety. - Colin Shea-Blymyer; Houssam Abbas (HSCC, 2020)

FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace. - Connor Kurtz; Houssam Abbas (ITSC, 2020)

Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. - Alëna Rodionova; Yash Vardhan Pant; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ITSC, 2020)

Logical Signal Processing: A Fourier Analysis of Temporal Logic. - Niraj Basnet; Houssam Abbas (RV, 2020)

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 (SIGCSE, 2020)

Learning a Robot's Social Obligations from Comparisons of Observed Behavior. - Colin Shea-Blymyer; Houssam Abbas (ARSO, 2021)

Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme. - Alëna Rodionova; Yash Vardhan Pant; Connor Kurtz; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ACM Trans. Cyber Phys. Syst., 2021)

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations. - Colin Shea-Blymyer; Houssam Abbas (ACM Trans. Cyber Phys. Syst., 2021)

Anytime Computation and Control for Autonomous Systems. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Rhudii A. Quaye; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (IEEE Trans. Control. Syst. Technol., 2021)

Generating Deontic Obligations From Utility-Maximizing Systems. - Colin Shea-Blymyer; Houssam Abbas (AIES, 2022)

Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives. - Yash Vardhan Pant; Houssam Abbas; Rahul Mangharam (CCTA, 2022)

A Multiresolution Analysis of Temporal Logic. - Houssam Abbas; Richard Pelphrey (HSCC, 2022)

Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. - Houssam Abbas; Borzoo Bonakdarpour (ISoLA (1), 2022)

Differentiable Inference of Temporal Logic Formulas. - Nicole Fronda; Houssam Abbas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. - Anik Momtaz; Houssam Abbas; Borzoo Bonakdarpour (ICCPS, 2023)

Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. - Charles Koll; Anik Momtaz; Borzoo Bonakdarpour; Houssam Abbas (RV, 2023)

Predicate monitoring in distributed cyber-physical systems. - Anik Momtaz; Niraj Basnet; Houssam Abbas; Borzoo Bonakdarpour (Int. J. Softw. Tools Technol. Transf., 2023)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates. - Colin Shea-Blymyer; Houssam Abbas (AIES (1), 2024)

Defending Large Language Models Against Attacks With Residual Stream Activation Analysis. - Amelia Kawasaki; Andrew Davis; Houssam Abbas (CAMLIS, 2024)

Approximating the Geometry of Temporal Logic Formulas. - Christian Abou-Mrad; Houssam Abbas (HSCC, 2024)

OUT-HERD: Opportunistic UAV Takeover for Herding Malfunctioning Drones. - Unmesh Patil; Jinhong Choi; Houssam Abbas (ITSC, 2024)

ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs. - Unmesh Patil; Akshith Gunasekaran; Rakesh Bobba; Houssam Abbas (CoRR, 2024)

Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic. - Christian Abou-Mrad; Tanmay Khandait; Giulia Pedrielli; Houssam Abbas (ICCPS, 2025)

Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems. - Charles Koll; Preston Tan Hang; Mike Rosulek; Houssam Abbas (CoRR, 2025)

Deontically Constrained Policy Improvement in Reinforcement Learning Agents. - Alena Makarova; Houssam Abbas (CoRR, 2025)

Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility. - Nicole Fronda; Phil Smith; Bardh Hoxha; Yash Pant; Houssam Abbas (CoRR, 2025)

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs. - Nicole Fronda; Bardh Hoxha; Houssam Abbas (CoRR, 2025)