Tweets by bardhhoxha

Peer-reviewed papers and technical reports

PhD Thesis

1. Formal Requirements-Driven Analysis of Cyber Physical Systems (PDF)
   Bardh Hoxha
   Arizona State University, Tempe, AZ, August 2017

Presentations, Posters and Demos

1. Demo: System Testing with S-TaLiRo: Recent Functionality and Additions (PDF)
   Bardh Hoxha and Georgios Fainekos
   ACM/IEEE Hybrid Systems: Computation and Control [HSCC], Vienna, Austria, April 2016
2. Pareto Front Exploration for Parametric Temporal Logic Specifications of Cyber-Physical Systems (PDF, Pres)
   Bardh Hoxha and Georgios Fainekos
   1st Workshop on Monitoring and Testing of Cyber-Physical Systems [MTCPS], Vienna, Austria, April 2016
3. Planning in Dynamic Environments Through Temporal Logic Monitoring (PDF, Pres)
   Bardh Hoxha and Georgios Fainekos
   The Thirtieth AAAI Conference on Artificial Intelligence Workshop on Planning for Hybrid Systems Phoenix [AAAI PlanHS], Arizona, February 2016
4. VISPEC: A graphical tool for easy elicitation of MTL requirements (PDF, TechRep, Pres)
   Bardh Hoxha, Nikolaos Mavridis, and Georgios Fainekos
   IEEE/RSJ International Conference on Intelligent Robots and Systems [IROS], Hamburg, Germany, September 2015
5. Demo: S-TaLiRo: A tool for Testing and Verification for Hybrid Systems: Recent Functionality and Additions (PDF)
   Bardh Hoxha, Houssam Abbas, Adel Dokhanchi, and Georgios Fainekos
   ACM/IEEE Hybrid Systems: Computation and Control [HSCC], Berlin, Germany, April 2014
6. [Poster] Metric Temporal Logic Falsification and Path Planning for Robotic Systems (PDF)
   Bardh Hoxha and Georgios Fainekos
   ACM/IEEE Hybrid Systems: Computation and Control [HSCC], Berlin, Germany, April 2014
7. [Poster] Robustness-Guided Temporal Logic Testing for Stochastic Hybrid Systems (PDF)
   Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Koichi Ueda
   ACM/IEEE Hybrid Systems: Computation and Control [HSCC], Berlin, Germany, April 2014
8. [Poster] Conformance Testing as Falsification for Cyber-Physical Systems (PDF)
   H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski, K. Ueda
   ACM/IEEE International Conference on Cyber-Physical Systems [ICCPS], Berlin, Germany, April 2014

Southern Illinois University, Carbondale, IL

• CS 404: Autonomous Mobile Robots - Spring 2019 (Link)
  Instructor: Bardh Hoxha
• CS 410/591: Computer Security - Spring 2019 (Link)
  Instructor: Bardh Hoxha
• CS 491/591: Cyber-Physical Systems - Fall 2018 (Link)
  Instructor: Bardh Hoxha
• CS 499: Senior Project - Spring 2018 (Link)
  Instructor: Bardh Hoxha
• CS 498: Senior Project - Fall 2017 (Link)
  Instructor: Bardh Hoxha
• CS 290: Comm Skills & Ethics - Fall 2017 (Link)
  Instructor: Bardh Hoxha

Arizona State University, Tempe, AZ

• CSE 552: Randomized and Approximation Algorithms - Fall 2013 (Link)
  Instructor: Charles Colbourn
  TA: Bardh Hoxha
• CSE 355: Introduction to Theoretical Computer Science - Fall 2012 (Link)
  Instructor: Georgios Fainekos
  TA: Bardh Hoxha

Central Connecticut State University, New Britain, CT

• Algebra - 2011
  Instructor: Bardh Hoxha

Capital Community College, Hartford, CT

• Principles of Statistics - 2011
  Instructor: Bardh Hoxha
• Introduction to Software Applications - 2011
  Instructor: Bardh Hoxha
• Statway - 2011
  Instructor: Bardh Hoxha

Veritex

• Computation of exact or over-approximated output reachable sets
• For usafe reachable sets, backtrack and find corresponding inputs for debugging
• Plot 2 or 3-dimensional reachable domains
• Automatically produce a provably safe DNN
• Support well-known DNN formats such as ONNX and PyTorch
• The repo can be found here.

TLTk

• The user guide can be found here.
• The docker image can be found here.
• The repo can be found here.
• The python library can be found here.

S-TaLiRo

• Robustness guided falsification of MTL specifications
• Parameter estimation of parametric MTL formulas
• Finding the expected robustness of Stochasic Systems
• Runtime Verification of MTL specifications
• Conformance testing

ViSpec