Статии с изисквания за обществен достъп - Adel DokhanchiНаучете повече
Налице някъде: 8
Mining parametric temporal logic properties in model-based design for cyber-physical systems
B Hoxha, A Dokhanchi, G Fainekos
International Journal on Software Tools for Technology Transfer 20, 79-93, 2018
Изисквания: US National Science Foundation
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic
M Hekmatnejad, S Yaghoubi, A Dokhanchi, HB Amor, A Shrivastava, ...
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
Изисквания: US National Science Foundation
Evaluating perception systems for autonomous vehicles using quality temporal logic
A Dokhanchi, HB Amor, JV Deshmukh, G Fainekos
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
Изисквания: US National Science Foundation
Formal requirement debugging for testing and verification of cyber-physical systems
A Dokhanchi, B Hoxha, G Fainekos
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-26, 2017
Изисквания: US National Science Foundation
Specifying and evaluating quality metrics for vision-based perception systems
A Balakrishnan, AG Puranic, X Qin, A Dokhanchi, JV Deshmukh, HB Amor, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
Изисквания: US National Science Foundation
Vacuity aware falsification for MTL request-response specifications
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos
2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1332 …, 2017
Изисквания: US National Science Foundation
An efficient algorithm for monitoring practical TPTL specifications
A Dokhanchi, B Hoxha, CE Tuncali, G Fainekos
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
Изисквания: US National Science Foundation
MITL specification debugging for monitoring of cyber-physical systems
A Dokhanchi, B Hoxha, G Fainekos
Electronic Proceedings in Theoretical Computer Science 232, 13-17, 2016
Изисквания: US National Science Foundation
Информацията за публикацията и осигуреното финансиране се определя автоматично от компютърна програма