Bardh Hoxha

According to our database1, Bardh Hoxha authored at least 27 papers between 2012 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Risk-Bounded Control Using Stochastic Barrier Functions.
IEEE Control. Syst. Lett., 2021

Discovering Physical Interaction Vulnerabilities in IoT Deployments.
CoRR, 2021

2020
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications.
Proceedings of the Runtime Verification - 20th International Conference, 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.
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.
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.
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.
Proceedings of the Runtime Verification - 19th International Conference, 2019

2018
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2018

Mining parametric temporal logic properties in model-based design for cyber-physical systems.
Int. J. Softw. Tools Technol. Transf., 2018

Experience Report: Application of Falsification Methods on the UxAS System.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
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.
PhD thesis, 2017

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Vacuity aware falsification for MTL request-response specifications.
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.
CoRR, 2016

An efficient algorithm for monitoring practical TPTL specifications.
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.
Proceedings of the Planning for Hybrid Systems, 2016

2015
Querying Parametric Temporal Logic Properties in Model Based Design.
CoRR, 2015

Metric interval temporal logic specification elicitation and debugging.
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.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

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

On-Line Monitoring for Temporal Logic Robustness.
Proceedings of the Runtime Verification - 5th International Conference, 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

2012
Querying Parametric Temporal Logic Properties on Embedded Systems.
Proceedings of the Testing Software and Systems, 2012


  Loading...