Concepedia

Bardh Hoxha

BH

20

Publications

454

Citations

14

H-Index

2014

Active since

Affiliations

Arizona State University(Current)

Toyota Research Institute

Toyota Motor North America (United States)

Southern Illinois University Carbondale

Bardh Hoxha is an author at Arizona State University specializing in computer science, engineering, and systems engineering.

Top concepts

Systems EngineeringEngineeringComputer ScienceFormal MethodsFormal VerificationVerificationComputer EngineeringSoftware AnalysisSoftware TestingAutomated Reasoning

Publications per year

2014–2024

20

Publications

20

Benchmarks for Temporal Logic Requirements for Automotive Systems

Bardh Hoxha, Houssam Abbas, Georgios Fainekos · EPiC series in computing · 2018 · 98 citations · Full text

Engineering, Verification, Automatic Transmission Model +19

Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

Houssam Abbas, Bardh Hoxha, Georgios Fainekos et al. · 2014 · 32 citations

Engineering, Verification, Model Checking +20

Metric interval temporal logic specification elicitation and debugging

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos · 2015 · 31 citations

Specification Elicitation Process, Engineering, Verification +22

VISPEC: A graphical tool for elicitation of MTL requirements

Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos · 2015 · 30 citations · Full text

Robotic Systems, Engineering, Requirement Modeling +25

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

Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi et al. · 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 2021 · 25 citations

Crowd Simulation, Engineering, Field Robotics +23

Rows per page

1–5 of 20