Houssam Abbas

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 57

Top Venues

Arizona State University, Tempe, USA (PHD)

Education History

Arizona State University, Tempe, USA

PHD

Publications

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

Houssam Abbas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Houssam Abbas