Houssam Abbas

According to our database1, Houssam Abbas authored at least 62 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Predicate monitoring in distributed cyber-physical systems.
Int. J. Softw. Tools Technol. Transf., August, 2023

Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2022
Differentiable Inference of Temporal Logic Formulas.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

A Multiresolution Analysis of Temporal Logic.
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.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Generating Deontic Obligations From Utility-Maximizing Systems.
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.
IEEE Trans. Control. Syst. Technol., 2021

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.
ACM Trans. Cyber Phys. Syst., 2021

Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme.
ACM Trans. Cyber Phys. Syst., 2021

Learning a Robot's Social Obligations from Comparisons of Observed Behavior.
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.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Logical Signal Processing: A Fourier Analysis of Temporal Logic.
Proceedings of the Runtime Verification - 20th International Conference, 2020

Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility.
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.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

A deontic logic analysis of autonomous systems' safety.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019
Quantitative Regular Expressions for Arrhythmia Detection.
IEEE ACM Trans. Comput. Biol. Bioinform., 2019

F1/10: An Open-Source Autonomous Cyber-Physical Platform.
CoRR, 2019

Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Synthesizing stealthy reprogramming attacks on cardiac devices.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Temporal logic robustness for general signal classes.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Private runtime verification: work-in-progress.
Proceedings of the International Conference on Embedded Software Companion, 2019

2018
Real-Time Decision Policies With Predictable Performance.
Proc. IEEE, 2018

Fly-by-logic: control of multi-drone fleets with temporal logic objectives.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Embedded software for robotics: challenges and future directions: special session.
Proceedings of the International Conference on Embedded Software, 2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Model Validation of PWM DC-DC Converters.
IEEE Trans. Ind. Electron., 2017

Automated closed-loop model checking of implantable pacemakers using abstraction trees.
SIGBED Rev., 2017

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic.
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.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

An Autonomous Vehicle Control Stack.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.
Proceedings of the Computational Methods in Systems Biology, 2017

Smooth operator: Control using the smooth robustness of temporal logic.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016
Regular Expressions for Irregular Rhythms.
CoRR, 2016

The Challenges of High-Confidence Medical Device Software.
Computer, 2016

Towards Model Checking of Implantable Cardioverter Defibrillators.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

High-level modeling for computer-aided clinical trials of medical devices.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

In-silico pre-clinical trials for implantable cardioverter defibrillators.
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.
Proceedings of the ARCH@CPSWeek 2016, 2016

Three challenges in cyber-physical systems.
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.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015
Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.
PhD thesis, 2015

Model Checking Implantable Cardioverter Defibrillators.
CoRR, 2015

Towards composition of conformant systems.
CoRR, 2015

Co-design of Anytime Computation and Robust Control.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Hardware Optimizations for Anytime Perception and Control.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

2014
Conformance Testing as Falsification for Cyber-Physical Systems.
CoRR, 2014

Formal property verification in a conformance testing framework.
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.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Using S-TaLiRo on Industrial Size AuImmlertomotive Models.
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.
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.
Proceedings of the American Control Conference, 2014

2013
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2013

Computing descent direction of MTL robustness for non-linear systems.
Proceedings of the American Control Conference, 2013

2012
Convergence proofs for Simulated Annealing falsification of safety properties.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Linear Hybrid System Falsification Through Descent
CoRR, 2011

Linear Hybrid System Falsification through Local Search.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2007
Suppression of Mosquito Noise by Recursive Epsilon-Filters.
Proceedings of the IEEE International Conference on Acoustics, 2007


  Loading...