Houssam Abbas

According to our database, Houssam Abbas authored at least 66 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs.

Unmesh Patil, Akshith Gunasekaran, Rakesh Bobba, Houssam Abbas

CoRR, 2024

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates.

Colin Shea-Blymyer, Houssam Abbas

CoRR, 2024

Defending Large Language Models Against Attacks With Residual Stream Activation Analysis.

Amelia Kawasaki, Andrew Davis, Houssam Abbas

CoRR, 2024

Approximating the Geometry of Temporal Logic Formulas.

Christian Abou-Mrad, Houssam Abbas

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Predicate monitoring in distributed cyber-physical systems.

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour

Int. J. Softw. Tools Technol. Transf., August, 2023

Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals.

Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.

Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2022

Differentiable Inference of Temporal Logic Formulas.

Nicole Fronda, Houssam Abbas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems.

Houssam Abbas, Borzoo Bonakdarpour

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

A Multiresolution Analysis of Temporal Logic.

Houssam Abbas, Richard Pelphrey

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives.

Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam

Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Generating Deontic Obligations From Utility-Maximizing Systems.

Colin Shea-Blymyer, Houssam Abbas

Proceedings of the AIES '22: AAAI/ACM Conference on AI, Ethics, and Society, Oxford, United Kingdom, May 19, 2022

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

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.

Colin Shea-Blymyer, Houssam Abbas

ACM Trans. Cyber Phys. Syst., 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

Learning a Robot's Social Obligations from Comparisons of Observed Behavior.

Colin Shea-Blymyer, Houssam Abbas

Proceedings of the International IEEE Conference on Advanced Robotics and Its Social Impacts, 2021

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

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Logical Signal Processing: A Fourier Analysis of Temporal Logic.

Niraj Basnet, Houssam Abbas

Proceedings of the Runtime Verification - 20th International Conference, 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

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace.

Connor Kurtz, Houssam Abbas

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

A deontic logic analysis of autonomous systems' safety.

Colin Shea-Blymyer, Houssam Abbas

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

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

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

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

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Synthesizing stealthy reprogramming attacks on cardiac devices.

Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Temporal logic robustness for general signal classes.

Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Private runtime verification: work-in-progress.

Houssam Abbas

Proceedings of the International Conference on Embedded Software Companion, 2019

2018

Real-Time Decision Policies With Predictable Performance.

Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova

Proc. IEEE, 2018

Fly-by-logic: control of multi-drone fleets with temporal logic objectives.

Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Embedded software for robotics: challenges and future directions: special session.

Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus

Proceedings of the International Conference on Embedded Software, 2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.

Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias.

Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology.

Houssam Abbas, Rahul Mangharam

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Model Validation of PWM DC-DC Converters.

Omar Beg, Houssam Abbas, Taylor T. Johnson, Ali Davoudi

IEEE Trans. Ind. Electron., 2017

Automated closed-loop model checking of implantable pacemakers using abstraction trees.

Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam

SIGBED Rev., 2017

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic.

Houssam Abbas, Matthew O'Kelly, Rahul Mangharam

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles.

Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

An Autonomous Vehicle Control Stack.

Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.

Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu

Proceedings of the Computational Methods in Systems Biology, 2017

Smooth operator: Control using the smooth robustness of temporal logic.

Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam

Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016

Regular Expressions for Irregular Rhythms.

Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu

CoRR, 2016

The Challenges of High-Confidence Medical Device Software.

Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam

Computer, 2016

Towards Model Checking of Implantable Cardioverter Defibrillators.

Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 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

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 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

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue.

Houssam Abbas, Kuk Jin Jang, Rahul Mangharam

Proceedings of the ARCH@CPSWeek 2016, 2016

Three challenges in cyber-physical systems.

Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang

Proceedings of the 8th International Conference on Communication Systems and Networks, 2016

Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.

Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

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, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.

Houssam Abbas

PhD thesis, 2015

Model Checking Implantable Cardioverter Defibrillators.

Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam

CoRR, 2015

Towards composition of conformant systems.

Houssam Abbas, Georgios Fainekos

CoRR, 2015

Co-design of Anytime Computation and Robust Control.

Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Hardware Optimizations for Anytime Perception and Control.

Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

2014

Conformance Testing as Falsification for Cyber-Physical Systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

CoRR, 2014

Formal property verification in a conformance testing framework.

Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Using S-TaLiRo on Industrial Size AuImmlertomotive Models.

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

Benchmarks for Temporal Logic Requirements for Automotive Systems.

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

Functional gradient descent method for Metric Temporal Logic specifications.

Houssam Abbas, Andrew K. Winn, Georgios Fainekos, A. Agung Julius

Proceedings of the American Control Conference, 2014

2013

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

ACM Trans. Embed. Comput. Syst., 2013

Computing descent direction of MTL robustness for non-linear systems.

Houssam Abbas, Georgios Fainekos

Proceedings of the American Control Conference, 2013

2012

Convergence proofs for Simulated Annealing falsification of safety properties.

Houssam Abbas, Georgios Fainekos

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

Linear Hybrid System Falsification Through Descent

Houssam Abbas, Georgios Fainekos

CoRR, 2011

Linear Hybrid System Falsification through Local Search.

Houssam Abbas, Georgios Fainekos

Proceedings of the Automated Technology for Verification and Analysis, 2011

2007

Suppression of Mosquito Noise by Recursive Epsilon-Filters.

Houssam Abbas, Lina J. Karam

Proceedings of the IEEE International Conference on Acoustics, 2007