Adel Dokhanchi

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic

Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi et al. · 2019 · 58 citations · Full text

Engineering, Verification, Safety Science +18

Metric interval temporal logic specification elicitation and debugging

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

Specification Elicitation Process, Engineering, Verification +22

Requirements driven falsification with coverage metrics

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva et al. · 2015 · 30 citations

Engineering, Requirement Modeling, Verification +23

Specifying and Evaluating Quality Metrics for Vision-based Perception Systems

Anand Balakrishnan, Aniruddh G. Puranic, Xin Qin et al. · 2019 · 24 citations

Artificial Intelligence, Convolutional Neural Network, Engineering +21

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos · ACM Transactions on Embedded Computing Systems · 2017 · 20 citations

Engineering, Verification, Software Engineering +21