Bardh Hoxha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
8
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. | Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos |
| 2025 | IROS | Neural Configuration Distance Function for Continuum Robot Control. | Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov |
| 2025 | IROS | Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. | Xinyi Wang, Taekyung Kim, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou |
| 2024 | IROS | CBFkit: A Control Barrier Function Toolbox for Robotics Applications. | Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
| 2024 | ICRA | Optimal Planning for Timed Partial Order Specifications. | Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan |
| 2023 | ICRA | Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. | Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou |
| 2023 | RV | Pattern Matching for Perception Streams. | Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
| 2022 | CCS | Discovering IoT Physical Channel Vulnerabilities. | Muslum Ozgur Ozmen, Xuansong Li, Andrew Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang |
| 2021 | IROS | 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 |
| 2021 | RV | PerceMon: Online Monitoring for Perception Systems. | Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos |
| 2020 | EMSOFT | 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 |
| 2020 | MEMOCODE | Specification-guided Software Fault Localization for Autonomous Mobile Systems. | Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh |
| 2020 | RV | TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. | Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos |
| 2019 | RV | Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. | Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan |
| 2016 | AAAI | Planning in Dynamic Environments Through Temporal Logic Monitoring. | Bardh Hoxha, Georgios Fainekos |
| 2016 | MEMOCODE | An efficient algorithm for monitoring practical TPTL specifications. | Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
| 2015 | IROS | VISPEC: A graphical tool for elicitation of MTL requirements. | Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos |
| 2015 | MEMOCODE | Metric interval temporal logic specification elicitation and debugging. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2014 | RV | On-Line Monitoring for Temporal Logic Robustness. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |