default search action
Houssam Abbas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [e1]Erika Ábrahám
, Houssam Abbas
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings. Lecture Notes in Computer Science 15191, Springer 2025, ISBN 978-3-031-74233-0 [contents] - 2024
- [c46]Christian Abou-Mrad
Approximating the Geometry of Temporal Logic Formulas. HSCC 2024: 16:1-16:10 - [i18]Amelia Kawasaki, Andrew Davis, Houssam Abbas:
Defending Large Language Models Against Attacks With Residual Stream Activation Analysis. CoRR abs/2406.03230 (2024) - [i17]Colin Shea-Blymyer, Houssam Abbas:
Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates. CoRR abs/2408.00147 (2024) - [i16]Unmesh Patil, Akshith Gunasekaran, Rakesh Bobba, Houssam Abbas:
ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs. CoRR abs/2410.03971 (2024) - 2023
- [j11]Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate monitoring in distributed cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 25(4): 541-556 (2023) - [c45]Anik Momtaz
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. ICCPS 2023: 154-165 - [c44]Charles Koll
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. RV 2023: 213-230 - [i15]Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas:
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals. CoRR abs/2308.02763 (2023) - 2022
- [j10]Nicole Fronda
Differentiable Inference of Temporal Logic Formulas. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4193-4204 (2022) - [c43]Colin Shea-Blymyer, Houssam Abbas:
Generating Deontic Obligations From Utility-Maximizing Systems. AIES 2022: 653-663 - [c42]Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam:
Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives. CCTA 2022: 476-483 - [c41]Houssam Abbas, Richard Pelphrey:
A Multiresolution Analysis of Temporal Logic. HSCC 2022: 17:1-17:10 - [c40]Houssam Abbas, Borzoo Bonakdarpour:
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. ISoLA (1) 2022: 264-278 - [i14]Nicole Fronda, Houssam Abbas:
Differentiable Inference of Temporal Logic Formulas. CoRR abs/2208.05440 (2022) - 2021
- [j9]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): 35:1-35:26 (2021) - [j8]Colin Shea-Blymyer, Houssam Abbas:
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations. ACM Trans. Cyber Phys. Syst. 5(4): 38:1-38:25 (2021) - [j7]Yash Vardhan Pant
Anytime Computation and Control for Autonomous Systems. IEEE Trans. Control. Syst. Technol. 29(2): 768-779 (2021) - [c39]Colin Shea-Blymyer, Houssam Abbas:
Learning a Robot's Social Obligations from Comparisons of Observed Behavior. ARSO 2021: 15-20 - [c38]Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate Monitoring in Distributed Cyber-Physical Systems. RV 2021: 3-22 - [i13]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 abs/2101.10404 (2021) - [i12]Colin Shea-Blymyer, Houssam Abbas:
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations. CoRR abs/2105.02851 (2021) - 2020
- [c37]Colin Shea-Blymyer, Houssam Abbas:
A deontic logic analysis of autonomous systems' safety. HSCC 2020: 26:1-26:11 - [c36]Connor Kurtz, Houssam Abbas:
FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace. ITSC 2020: 1-6 - [c35]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: 1-8 - [c34]Niraj Basnet, Houssam Abbas:
Logical Signal Processing: A Fourier Analysis of Temporal Logic. RV 2020: 359-382 - [c33]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: 657-663 - [i11]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 abs/2006.13267 (2020) - [i10]Connor Kurtz, Houssam Abbas:
FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace. CoRR abs/2008.09297 (2020) - [i9]Colin Shea-Blymyer, Houssam Abbas:
A Deontic Logic Analysis of Autonomous Systems' Safety. CoRR abs/2009.00738 (2020) - [i8]Niraj Basnet, Houssam Abbas:
Logical Signal Processing: a Fourier Analysis of Temporal Logic. CoRR abs/2009.08090 (2020)
2010 – 2019
- 2019
- [j6]Houssam Abbas
Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1586-1597 (2019) - [c32]Houssam Abbas:
Private runtime verification: work-in-progress. EMSOFT Companion 2019: 11 - [c31]Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam:
Temporal logic robustness for general signal classes. HSCC 2019: 45-56 - [c30]Nicola Paoletti
Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS 2019: 13-22 - [c29]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: 355-362 - [i7]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 abs/1901.08567 (2019) - 2018
- [j5]Houssam Abbas
Real-Time Decision Policies With Predictable Performance. Proc. IEEE 106(9): 1593-1615 (2018) - [c28]Houssam Abbas, Rahul Mangharam:
Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology. ACC 2018: 1592-1597 - [c27]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek 2018: 1-2 - [c26]Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang
Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC 2018: 1-4 - [c25]Houssam Abbas, Indranil Saha, Yasser Shoukry
Embedded software for robotics: challenges and future directions: special session. EMSOFT 2018: 10 - [c24]Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam
Fly-by-logic: control of multi-drone fleets with temporal logic objectives. ICCPS 2018: 186-197 - [i6]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 abs/1810.03808 (2018) - 2017
- [j4]Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam:
Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. 14(2): 15-23 (2017) - [j3]Omar Beg
Model Validation of PWM DC-DC Converters. IEEE Trans. Ind. Electron. 64(9): 7049-7059 (2017) - [c23]Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam:
Smooth operator: Control using the smooth robustness of temporal logic. CCTA 2017: 1235-1240 - [c22]Houssam Abbas, Alëna Rodionova, Ezio Bartocci
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB 2017: 23-39 - [c21]Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam:
An Autonomous Vehicle Control Stack. ARCH@CPSWeek 2017: 44-51 - [c20]Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam:
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. CyPhy 2017: 94-106 - [c19]Houssam Abbas, Matthew O'Kelly, Rahul Mangharam:
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. HSCC 2017: 217-225 - 2016
- [j2]Zhihao Jiang
The Challenges of High-Confidence Medical Device Software. Computer 49(1): 34-42 (2016) - [c18]Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 2016: 1445-1452 - [c17]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: 5694-5699 - [c16]Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic
Three challenges in cyber-physical systems. COMSNETS 2016: 1-8 - [c15]Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. ARCH@CPSWeek 2016: 1-8 - [c14]Zhihao Jiang
In-silico pre-clinical trials for implantable cardioverter defibrillators. EMBC 2016: 169-172 - [c13]Houssam Abbas, Zhihao Jiang
High-level modeling for computer-aided clinical trials of medical devices. HLDVT 2016: 85-92 - [c12]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang
Towards Model Checking of Implantable Cardioverter Defibrillators. HSCC 2016: 87-92 - [i5]Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Regular Expressions for Irregular Rhythms. CoRR abs/1612.07770 (2016) - 2015
- [b1]Houssam Abbas:
Test-Based Falsification and Conformance Testing for Cyber-Physical Systems. Arizona State University, Tempe, USA, 2015 - [c11]Yash Vardhan Pant, Houssam Abbas, Kartik Mohta
Co-design of Anytime Computation and Robust Control. RTSS 2015: 43-52 - [c10]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: 380 - [i4]Houssam Abbas, Georgios Fainekos:
Towards composition of conformant systems. CoRR abs/1511.05273 (2015) - [i3]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Model Checking Implantable Cardioverter Defibrillators. CoRR abs/1512.08083 (2015) - 2014
- [c9]Houssam Abbas, Andrew K. Winn, Georgios Fainekos
Functional gradient descent method for Metric Temporal Logic specifications. ACC 2014: 2312-2317 - [c8]Bardh Hoxha, Houssam Abbas, Georgios Fainekos
Benchmarks for Temporal Logic Requirements for Automotive Systems. ARCH@CPSWeek 2014: 25-30 - [c7]Bardh Hoxha, Houssam Abbas, Georgios Fainekos
Using S-TaLiRo on Industrial Size AuImmlertomotive Models. ARCH@CPSWeek 2014: 113-119 - [c6]Houssam Abbas, Bardh Hoxha, Georgios Fainekos
WiP abstract: Conformance testing as falsification for cyber-physical systems. ICCPS 2014: 211 - [c5]Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos
Formal property verification in a conformance testing framework. MEMOCODE 2014: 155-164 - [i2]Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda:
Conformance Testing as Falsification for Cyber-Physical Systems. CoRR abs/1401.5200 (2014) - 2013
- [j1]Houssam Abbas, Georgios Fainekos
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 12(2s): 95:1-95:30 (2013) - [c4]Houssam Abbas, Georgios Fainekos
Computing descent direction of MTL robustness for non-linear systems. ACC 2013: 4405-4410 - 2012
- [c3]Houssam Abbas, Georgios Fainekos
Convergence proofs for Simulated Annealing falsification of safety properties. Allerton Conference 2012: 1594-1601 - 2011
- [c2]Houssam Abbas, Georgios Fainekos
Linear Hybrid System Falsification through Local Search. ATVA 2011: 503-510 - [i1]Houssam Abbas, Georgios Fainekos:
Linear Hybrid System Falsification Through Descent. CoRR abs/1105.1733 (2011)
2000 – 2009
- 2007
- [c1]Houssam Abbas, Lina J. Karam
Suppression of Mosquito Noise by Recursive Epsilon-Filters. ICASSP (1) 2007: 773-776
Coauthor Index
aka: Yash Vardhan Pant
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: