Houssam Abbas

91 papers A 3B 5C 5Misc 2Journal 34Unranked 41
YearRankTypeTitle / Venue / Authors
2025 — conf
Deontically Constrained Policy Improvement in Reinforcement Learning Agents.
DEON
Alena Makarova, Houssam Abbas
2025 J jnl
Deontically Constrained Policy Improvement in Reinforcement Learning Agents.
CoRR
Alena Makarova, Houssam Abbas
2025 — conf
Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility.
ITSC
Nicole Fronda, Phil Smith, Bardh Hoxha, Yash Vardhan Pant, Houssam Abbas
2025 J jnl
Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility.
CoRR
Nicole Fronda, Phil Smith, Bardh Hoxha, Yash Pant, Houssam Abbas
2025 — conf
Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic.
ICCPS
Christian Abou-Mrad, Tanmay Khandait, Giulia Pedrielli, Houssam Abbas
2025 — conf
FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs.
ITSC
Nicole Fronda, Bardh Hoxha, Houssam Abbas
2025 J jnl
FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs.
CoRR
Nicole Fronda, Bardh Hoxha, Houssam Abbas
2025 — conf
From Act Obligations to Knowledge Obligations.
DEON
Houssam Abbas
2025 J jnl
Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems.
CoRR
Charles Koll, Preston Tan Hang, Mike Rosulek, Houssam Abbas
2025 — conf
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control.
ITSC
Nicole Fronda, Hariharan Narayanan, Sadia Afrin Ananna, Steven Weber, Houssam Abbas
2025 J jnl
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control.
CoRR
Nicole Fronda, Hariharan Narayanan, Sadia Afrin Ananna, Steven P. Weber, Houssam Abbas
2025 B ed.
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
RV
Erika Ábrahám, Houssam Abbas
2024 — conf
Approximating the Geometry of Temporal Logic Formulas.
HSCC
Christian Abou-Mrad, Houssam Abbas
2024 — conf
Defending Large Language Models Against Attacks With Residual Stream Activation Analysis.
CAMLIS
Amelia Kawasaki, Andrew Davis, Houssam Abbas
2024 J jnl
Defending Large Language Models Against Attacks With Residual Stream Activation Analysis.
CoRR
Amelia Kawasaki, Andrew Davis, Houssam Abbas
2024 — conf
Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates.
AIES (1)
Colin Shea-Blymyer, Houssam Abbas
2024 J jnl
Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates.
CoRR
Colin Shea-Blymyer, Houssam Abbas
2024 — conf
OUT-HERD: Opportunistic UAV Takeover for Herding Malfunctioning Drones.
ITSC
Unmesh Patil, Jinhong Choi, Houssam Abbas
2024 J jnl
ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs.
CoRR
Unmesh Patil, Akshith Gunasekaran, Rakesh Bobba, Houssam Abbas
2023 B conf
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals.
RV
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
2023 J jnl
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals.
CoRR
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
2023 — conf
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.
ICCPS
Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour
2023 J jnl
Predicate monitoring in distributed cyber-physical systems.
Int. J. Softw. Tools Technol. Transf.
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
2022 — conf
A Multiresolution Analysis of Temporal Logic.
HSCC
Houssam Abbas, Richard Pelphrey
2022 J jnl
Differentiable Inference of Temporal Logic Formulas.
CoRR
Nicole Fronda, Houssam Abbas
2022 J jnl
Differentiable Inference of Temporal Logic Formulas.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Nicole Fronda, Houssam Abbas
2022 — conf
Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives.
CCTA
Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam
2022 C conf
Generating Deontic Obligations From Utility-Maximizing Systems.
AIES
Colin Shea-Blymyer, Houssam Abbas
2022 — conf
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems.
ISoLA (1)
Houssam Abbas, Borzoo Bonakdarpour
2021 J jnl
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.
CoRR
Colin Shea-Blymyer, Houssam Abbas
2021 J jnl
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.
ACM Trans. Cyber Phys. Syst.
Colin Shea-Blymyer, Houssam Abbas
2021 J jnl
Anytime Computation and Control for Autonomous Systems.
IEEE Trans. Control. Syst. Technol.
Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
2021 — conf
Learning a Robot's Social Obligations from Comparisons of Observed Behavior.
ARSO
Colin Shea-Blymyer, Houssam Abbas
2021 J jnl
Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme.
ACM Trans. Cyber Phys. Syst.
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2021 J jnl
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme.
CoRR
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2021 B conf
Predicate Monitoring in Distributed Cyber-Physical Systems.
RV
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
2020 J jnl
A Deontic Logic Analysis of Autonomous Systems' Safety.
CoRR
Colin Shea-Blymyer, Houssam Abbas
2020 — conf
A deontic logic analysis of autonomous systems' safety.
HSCC
Colin Shea-Blymyer, Houssam Abbas
2020 — conf
FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace.
ITSC
Connor Kurtz, Houssam Abbas
2020 J jnl
FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace.
CoRR
Connor Kurtz, Houssam Abbas
2020 — conf
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility.
ITSC
Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2020 J jnl
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility.
CoRR
Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2020 B conf
Logical Signal Processing: A Fourier Analysis of Temporal Logic.
RV
Niraj Basnet, Houssam Abbas
2020 J jnl
Logical Signal Processing: a Fourier Analysis of Temporal Logic.
CoRR
Niraj Basnet, Houssam Abbas
2020 A conf
Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum.
SIGCSE
Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas
2019 J jnl
F1/10: An Open-Source Autonomous Cyber-Physical Platform.
CoRR
Matthew O'Kelly, Varundev Sukhil, Houssam Abbas, Jack Harkins, Chris Kao, Yash Vardhan Pant, Rahul Mangharam, Dipshil Agarwal, Madhur Behl, Paolo Burgio, Marko Bertogna
2019 — conf
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic.
NFM
Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam
2019 — conf
Private runtime verification: work-in-progress.
EMSOFT Companion
Houssam Abbas
2019 J jnl
Quantitative Regular Expressions for Arrhythmia Detection.
IEEE ACM Trans. Comput. Biol. Bioinform.
Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2019 — conf
Synthesizing stealthy reprogramming attacks on cardiac devices.
ICCPS
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2019 — conf
Temporal logic robustness for general signal classes.
HSCC
Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam
2018 — conf
Computer Aided Clinical Trials for Implantaule Cardiac Devices.
EMBC
Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2018 Misc conf
Embedded software for robotics: challenges and future directions: special session.
EMSOFT
Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
2018 — conf
Fly-by-logic: control of multi-drone fleets with temporal logic objectives.
ICCPS
Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam
2018 C conf
Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology.
ACC
Houssam Abbas, Rahul Mangharam
2018 — conf
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias.
MT@CPSWeek
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2018 J jnl
Real-Time Decision Policies With Predictable Performance.
Proc. IEEE
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2018 J jnl
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices.
CoRR
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2017 — conf
An Autonomous Vehicle Control Stack.
ARCH@CPSWeek
Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam
2017 J jnl
Automated closed-loop model checking of implantable pacemakers using abstraction trees.
SIGBED Rev.
Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam
2017 J jnl
Model Validation of PWM DC-DC Converters.
IEEE Trans. Ind. Electron.
Omar Beg, Houssam Abbas, Taylor T. Johnson, Ali Davoudi
2017 — conf
Quantitative Regular Expressions for Arrhythmia Detection Algorithms.
CMSB
Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2017 — conf
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic.
HSCC
Houssam Abbas, Matthew O'Kelly, Rahul Mangharam
2017 — conf
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles.
CyPhy
Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam
2017 — conf
Smooth operator: Control using the smooth robustness of temporal logic.
CCTA
Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam
2016 — conf
CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
BIBM
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, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
2016 — conf
High-level modeling for computer-aided clinical trials of medical devices.
HLDVT
Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam
2016 — conf
In-silico pre-clinical trials for implantable cardioverter defibrillators.
EMBC
Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2016 — conf
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue.
ARCH@CPSWeek
Houssam Abbas, Kuk Jin Jang, Rahul Mangharam
2016 J jnl
Regular Expressions for Irregular Rhythms.
CoRR
Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2016 — conf
Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
CDC
Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam
2016 J jnl
The Challenges of High-Confidence Medical Device Software.
Computer
Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam
2016 Misc conf
Three challenges in cyber-physical systems.
COMSNETS
Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang
2016 — conf
Towards Model Checking of Implantable Cardioverter Defibrillators.
HSCC
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam
2015 A conf
Co-design of Anytime Computation and Robust Control.
RTSS
Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
2015 A conf
Hardware Optimizations for Anytime Perception and Control.
RTSS
Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam
2015 J jnl
Model Checking Implantable Cardioverter Defibrillators.
CoRR
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam
2015 — —
Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.
Houssam Abbas
2015 J jnl
Towards composition of conformant systems.
CoRR
Houssam Abbas, Georgios Fainekos
2014 — conf
Benchmarks for Temporal Logic Requirements for Automotive Systems.
ARCH@CPSWeek
Bardh Hoxha, Houssam Abbas, Georgios Fainekos
2014 J jnl
Conformance Testing as Falsification for Cyber-Physical Systems.
CoRR
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
2014 C conf
Formal property verification in a conformance testing framework.
MEMOCODE
Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos
2014 C conf
Functional gradient descent method for Metric Temporal Logic specifications.
ACC
Houssam Abbas, Andrew K. Winn, Georgios Fainekos, A. Agung Julius
2014 — conf
Using S-TaLiRo on Industrial Size AuImmlertomotive Models.
ARCH@CPSWeek
Bardh Hoxha, Houssam Abbas, Georgios Fainekos
2014 — conf
WiP abstract: Conformance testing as falsification for cyber-physical systems.
ICCPS
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
2013 C conf
Computing descent direction of MTL robustness for non-linear systems.
ACC
Houssam Abbas, Georgios Fainekos
2013 J jnl
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2012 — conf
Convergence proofs for Simulated Annealing falsification of safety properties.
Allerton Conference
Houssam Abbas, Georgios Fainekos
2011 J jnl
Linear Hybrid System Falsification Through Descent
CoRR
Houssam Abbas, Georgios Fainekos
2011 B conf
Linear Hybrid System Falsification through Local Search.
ATVA
Houssam Abbas, Georgios Fainekos
2007 — conf
Suppression of Mosquito Noise by Recursive Epsilon-Filters.
ICASSP (1)
Houssam Abbas, Lina J. Karam