![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Houssam Abbas
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c46]Christian Abou-Mrad
, Houssam Abbas
:
Approximating the Geometry of Temporal Logic Formulas. HSCC 2024: 16:1-16:10 - [i16]Amelia Kawasaki, Andrew Davis, Houssam Abbas:
Defending Large Language Models Against Attacks With Residual Stream Activation Analysis. CoRR abs/2406.03230 (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
, Houssam Abbas
, Borzoo Bonakdarpour
:
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. ICCPS 2023: 154-165 - [c44]Charles Koll
, Anik Momtaz
, Borzoo Bonakdarpour
, Houssam Abbas
:
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
, Houssam Abbas
:
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
, 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): 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
, 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): 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
, 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: 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
, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
:
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
, Jackson Liang
, Sanjay Dixit, Rahul Mangharam
:
Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC 2018: 1-4 - [c25]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: 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
, Houssam Abbas, Taylor T. Johnson
, Ali Davoudi
:
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
, Scott A. Smolka, Radu Grosu:
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
, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
The Challenges of High-Confidence Medical Device Software. Computer 49(1): 34-42 (2016) - [c18]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: 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
, Zhihao Jiang
:
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
, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang
, Sanjay Dixit, Rahul Mangharam
:
In-silico pre-clinical trials for implantable cardioverter defibrillators. EMBC 2016: 169-172 - [c13]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: 85-92 - [c12]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang
, Rahul Mangharam:
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
, Truong X. Nghiem
, Joseph Devietti, Rahul Mangharam:
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
, A. Agung Julius:
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
, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda:
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
, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
:
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-05 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint