Bardh Hoxha

According to our database, Bardh Hoxha authored at least 55 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.

Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic

Int. J. Softw. Tools Technol. Transf., February, 2024

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.

Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos

Int. J. Robotics Res., February, 2024

Neural Configuration Distance Function for Continuum Robot Control.

Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov

CoRR, 2024

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions.

Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

CoRR, 2024

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications.

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

CoRR, 2024

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout.

Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

CoRR, 2024

SMT-Based Dynamic Multi-Robot Task Allocation.

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Optimal Planning for Timed Partial Order Specifications.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions.

Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam

Proceedings of the American Control Conference, 2024

Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty.

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou

Proceedings of the American Control Conference, 2024

2023

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation.

Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou

CoRR, 2023

Pattern Matching for Perception Streams.

Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions.

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.

Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Verification of Recurrent Neural Networks with Star Reachability.

Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Quantitative Verification for Neural Networks using ProbStars.

Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Checkmate: Fault Timing Localization for Multi-Robot Scenarios.

Ippei Nishitani, Tomoya Yamaguchi, Bardh Hoxha

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.

Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi

Proceedings of the American Control Conference, 2023

Timed Partial Order Inference Algorithm.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Runtime Assurance for Autonomous Driving with Neural Reachability.

Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Neural Network Repair with Reachability Analysis.

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Discovering IoT Physical Channel Vulnerabilities.

Muslum Ozgur Ozmen, Xuansong Li, Andrew Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Risk-Bounded Control Using Stochastic Barrier Functions.

Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

IEEE Control. Syst. Lett., 2021

Reachability Analysis of Convolutional Neural Networks.

Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

CoRR, 2021

Discovering Physical Interaction Vulnerabilities in IoT Deployments.

Muslum Ozgur Ozmen, Xuansong Li, Andrew Chun-An Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang

CoRR, 2021

PerceMon: Online Monitoring for Perception Systems.

Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos

Proceedings of the Runtime Verification - 21st International Conference, 2021

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.

Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.

Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions.

Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications.

Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos

Proceedings of the Runtime Verification - 20th International Conference, 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.

Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules.

Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress.

Yuji Date, Takeshi Baba, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov

Proceedings of the 20th International Conference on Embedded Software, 2020

2019

Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.

Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 19th International Conference, 2019

2018

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

ACM Trans. Embed. Comput. Syst., 2018

Mining parametric temporal logic properties in model-based design for cyber-physical systems.

Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos

Int. J. Softw. Tools Technol. Transf., 2018

Experience Report: Application of Falsification Methods on the UxAS System.

Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.

Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Formal Requirements-Driven Analysis of Cyber Physical Systems.

Bardh Hoxha

PhD thesis, 2017

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Vacuity aware falsification for MTL request-response specifications.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

CoRR, 2016

An efficient algorithm for monitoring practical TPTL specifications.

Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Planning in Dynamic Environments Through Temporal Logic Monitoring.

Bardh Hoxha, Georgios Fainekos

Proceedings of the Planning for Hybrid Systems, 2016

2015

Querying Parametric Temporal Logic Properties in Model Based Design.

Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos

CoRR, 2015

Metric interval temporal logic specification elicitation and debugging.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

VISPEC: A graphical tool for elicitation of MTL requirements.

Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

2014

Conformance Testing as Falsification for Cyber-Physical Systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

CoRR, 2014

On-Line Monitoring for Temporal Logic Robustness.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Proceedings of the Runtime Verification - 5th International Conference, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Using S-TaLiRo on Industrial Size AuImmlertomotive Models.

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

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.

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

2012

Querying Parametric Temporal Logic Properties on Embedded Systems.

Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos

Proceedings of the Testing Software and Systems, 2012