Houssam Abbas

Cyber-Physical Systems Foundations

Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signal

Charles Koll, Anik Momtaz, Borzoo Bonakdarpour and Houssam Abbas, in Runtime Verification (RV) 2023.

Predicate Monitoring in Distributed Cyber-physical Systems

Anik Momtaz, Niraj Basnet, Houssam Abbas and Borzoo Bonakdarpour, in Runtime Verification (RV) 2021.
Best Paper Award!

Learning a Robot’s Social Obligations from Comparisons of Observed Behavior

C. Shea-Blymyer and H. Abbas, In IEEE Conf. on Advanced Robotics and its Social Impacts (July 2021)

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

C. Shea-Blymyer and H. Abbas, ACM Transactions on Cyber-Physical Systems, 2021 (Accepted)

A Deontic Logic Analysis of Autonomous Systems’ Safety

C. Shea-Blymyer and H. Abbas, In the Proc. of Hybrid Systems: Computation and Control (HSCC), April 2020

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

C. Kurtz and H. Abbas, In IEEE International Conference on Intelligent Transportation Systems (ITSC), Sept. 2020

Logical Signal Processing: a Fourier Analysis of Temporal Logic

N. Basnet and H. Abbas, In ACM International Conference on Runtime Verification (RV), Oct. 2020
Finalist for Best Paper Award

Formal Property Verification in a Conformance Testing Framework

H. Abbas, H. Mittelmann and G. Fainekos, In the Proc. of MEMOCODE 2014, Lausanne, October 2014.

Linear Hybrid System Falsification through Local Search

H. Abbas and G. Fainekos, In the Proc. Of Automated Technology for Verification and Analysis, Taipei, 2011.

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta, ACM Transactions on Embedded Computing Systems, Vol. 12, Issue 2, May 2013

Relaxed Decidability and the Robust Semantics of Metric Temporal

H. Abbas, M. O’Kelly, and R. Mangharam, In Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control, Pittsburgh, April 2017

Convergence Proofs for Simulated Annealing Falsification of Safety Properties

H. Abbas and G. Fainekos, (Invited) In the Proc. of 50th Annual Allerton Conference on Communication, Control and Computing, Monticello, IL, Oct. 2012.

Computing Descent Direction of MTL Robustness for Nonlinear Systems

H. Abbas and G. Fainekos, In the Proc. of 2013 American Control Conference, Washington D.C., June 2013.

Functional Gradient Descent Method for Metric Temporal Logic Specifications

H. Abbas, A. Winn, G. Fainekos and A. Julius, In the Proc. of 2014 American Control Conference, Portland, June 2014.

Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems

H. Abbas, B. Hoxha, G. Fainekos and K. Ueda, In the Proc. of IEEE-CYBER 2014, Hong Kong, June 2014.
Finalist for Best Student Paper Award.

Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems

B. Hoxha, H. Bach, H. Abbas, A. Dokhanchi, Y. Kobayashi, and G. Fainekos, In the Proc. of DIFTS 2014, Lausanne, October 2014

Model validation of PWM DC-DC converters

O. Beg, H. Abbas, T. Johnson and A. Davoudi. In IEEE Transactions on Industrial Electronics. March 2017.

Temporal Logic Robustness for General Signal Classes

H. Abbas, Y.V. Pant and R. Mangharam. In Hybrid Systems: Computation and Control (HSCC). April 2019.