Folgen
Adel Dokhanchi
Adel Dokhanchi
Bestätigte E-Mail-Adresse bei asu.edu
Titel
Zitiert von
Zitiert von
Jahr
On-line monitoring for temporal logic robustness
A Dokhanchi, B Hoxha, G Fainekos
International Conference on Runtime Verification, 231-246, 2014
1372014
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
1032018
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
1032018
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
512019
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
462018
Requirements driven falsification with coverage metrics
A Dokhanchi, A Zutshi, RT Sriniva, S Sankaranarayanan, G Fainekos
2015 International Conference on Embedded Software (EMSOFT), 31-40, 2015
442015
Towards formal specification visualization for testing and monitoring of cyber-physical systems
B Hoxha, H Bach, H Abbas, A Dokhanchi, Y Kobayashi, G Fainekos
Int. Workshop on Design and Implementation of Formal Tools and Systems, 2014
442014
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
372017
Metric interval temporal logic specification elicitation and debugging
A Dokhanchi, B Hoxha, G Fainekos
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
372015
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
332019
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos, G Ernst, Z Zhang, ...
ARCH@ ADHS, 104-109, 2018
232018
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
202017
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
152016
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos
ARCH@ CPSWeek, 170-174, 2017
122017
Feasibility study of using the RF interconnects in large FPGAs to improve routing tracks usage
A Dokhanchi, A Jahanian, E Mehrshahi, MT Teimoori
2011 IEEE Computer Society Annual Symposium on VLSI, 1-6, 2011
42011
From formal requirement analysis to testing and monitoring of cyber-physical systems
A Dokhanchi
Arizona State University, 2017
32017
Querying parametric temporal logic properties in model based design
B Hoxha, A Dokhanchi, G Fainekos
arXiv preprint arXiv:1512.07956, 2015
22015
Systems and methods for evaluating perception systems for autonomous vehicles using quality temporal logic
G Fainekos, HB Amor, A Dokhanchi, J Deshmukh
US Patent 11,586,914, 2023
12023
MITL specification debugging for monitoring of cyber-physical systems
A Dokhanchi, B Hoxha, G Fainekos
Electronic Proceedings in Theoretical Computer Science, EPTCS 232, 10-13, 2016
12016
Performance Improvement and Congestion Reduction of Large FPGAs Using On-Chip Microwave Interconnects
MT Teimoori, A Jahanian, A Dokhanchi
IEICE transactions on electronics 95 (10), 1610-1619, 2012
2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20