Bardh Hoxha

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 59

Top Venues

CoRR

HSCC

ARCH@CPSWeek

Arizona State University, Tempe, USA (PHD)

Education History

Arizona State University, Tempe, USA

PHD

Publications

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. NFM (2024)
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. CoRR (2024)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications. CoRR (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. CoRR (2024)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou
Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty. CoRR (2024)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. ICRA (2024)
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. Int. J. Robotics Res. 43 (2) (2024)
Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR (2024)
Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. CoRR (2024)
Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC (2023)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. CoRR (2023)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. ICAPS (2023)
Ippei Nishitani, Tomoya Yamaguchi, Bardh Hoxha
Checkmate: Fault Timing Localization for Multi-Robot Scenarios. CASE (2023)
Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. CoRR (2023)
Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. CoRR (2023)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. ICRA (2023)
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Verification of Recurrent Neural Networks with Star Reachability. HSCC (2023)
Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
Quantitative Verification for Neural Networks using ProbStars. HSCC (2023)
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Pattern Matching for Perception Streams. RV (2023)
Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. CoRR (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR (2023)
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic. CoRR (2022)
Muslum Ozgur Ozmen, Xuansong Li, Andrew Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang
Discovering IoT Physical Channel Vulnerabilities. CCS (2022)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR (2022)
Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi
Runtime Assurance for Autonomous Driving with Neural Reachability. ITSC (2022)
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Neural Network Repair with Reachability Analysis. FORMATS (2022)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. RV (2021)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. 5 (5) (2021)
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Neural Network Repair with Reachability Analysis. CoRR (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CDC (2021)
Muslum Ozgur Ozmen, Xuansong Li, Andrew Chun-An Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang
Discovering Physical Interaction Vulnerabilities in IoT Deployments. CoRR (2021)
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Reachability Analysis of Convolutional Neural Networks. CoRR (2021)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. CoRR (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CoRR (2021)
Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. HSCC (2021)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-bounded Control using Stochastic Barrier Functions. ACC (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. IROS (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR (2021)
Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules. CoRR (2020)
Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. ITSC (2020)
Yuji Date, Takeshi Baba, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. EMSOFT (2020)
Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh
Specification-guided Software Fault Localization for Autonomous Mobile Systems. MEMOCODE (2020)
Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. RV (2020)
Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV (2019)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
Experience Report: Application of Falsification Methods on the UxAS System. NFM (2018)
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
Vacuity aware falsification for MTL request-response specifications. CASE (2017)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek (2017)
Bardh Hoxha, Georgios Fainekos
Planning in Dynamic Environments Through Temporal Logic Monitoring. AAAI Workshop: Planning for Hybrid Systems (2016)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. CoRR (2016)
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
An Efficient Algorithm for Monitoring Practical TPTL Specifications. CoRR (2016)
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
An efficient algorithm for monitoring practical TPTL specifications. MEMOCODE (2016)
Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
ViSpec: A graphical tool for elicitation of MTL requirements. CoRR (2015)
Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
VISPEC: A graphical tool for elicitation of MTL requirements. IROS (2015)
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
Querying Parametric Temporal Logic Properties in Model Based Design. CoRR (2015)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Metric interval temporal logic specification elicitation and debugging. MEMOCODE (2015)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
On-Line Monitoring for Temporal Logic Robustness. CoRR (2014)
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)
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
Conformance Testing as Falsification for Cyber-Physical Systems. CoRR (2014)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
On-Line Monitoring for Temporal Logic Robustness. RV (2014)
Bardh Hoxha, Houssam Abbas, Georgios Fainekos
Benchmarks for Temporal Logic Requirements for Automotive Systems. ARCH@CPSWeek (2014)
Bardh Hoxha, Houssam Abbas, Georgios Fainekos
Using S-TaLiRo on Industrial Size AuImmlertomotive Models. ARCH@CPSWeek (2014)
Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos
Querying Parametric Temporal Logic Properties on Embedded Systems. ICTSS (2012)

Bardh Hoxha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bardh Hoxha