Adel Dokhanchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2014–2019
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | DATE | Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. | Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos |
| 2019 | MEMOCODE | Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. | Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos |
| 2018 | RV | Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. | Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos |
| 2016 | MEMOCODE | An efficient algorithm for monitoring practical TPTL specifications. | Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
| 2015 | EMSOFT | Requirements driven falsification with coverage metrics. | Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos |
| 2015 | MEMOCODE | Metric interval temporal logic specification elicitation and debugging. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2014 | RV | On-Line Monitoring for Temporal Logic Robustness. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |