Adel Dokhanchi

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 14

Top Venues

CoRR

MEMOCODE

ACM Trans. Embed. Comput. Syst.

Arizona State University, Tempe, USA (PHD)

Education History

Arizona State University, Tempe, USA

PHD

Publications

Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. DATE (2019)
Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE (2019)
Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. RV (2018)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
Vacuity aware falsification for MTL request-response specifications. CASE (2017)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek (2017)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. CoRR (2016)
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
An Efficient Algorithm for Monitoring Practical TPTL Specifications. CoRR (2016)
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
An efficient algorithm for monitoring practical TPTL specifications. MEMOCODE (2016)
Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos
Requirements driven falsification with coverage metrics. EMSOFT (2015)
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
Querying Parametric Temporal Logic Properties in Model Based Design. CoRR (2015)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Metric interval temporal logic specification elicitation and debugging. MEMOCODE (2015)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
On-Line Monitoring for Temporal Logic Robustness. CoRR (2014)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
On-Line Monitoring for Temporal Logic Robustness. RV (2014)
Mohammad Taghi Teimoori, Ali Jahanian, Adel Dokhanchi
Performance Improvement and Congestion Reduction of Large FPGAs Using On-Chip Microwave Interconnects. IEICE Trans. Electron. (10) (2012)
Adel Dokhanchi, Ali Jahanian, Esfandiar Mehrshahi, Mohammad Taghi Teimoori
Feasibility Study of Using the RF Interconnects in Large FPGAs to Improve Routing Tracks Usage. ISVLSI (2011)
Adel Dokhanchi, Mostafa Rezvani, Ali Jahanian, Morteza Saheb Zamani
Performance Improvement of Physical Retiming with Shortcut Insertion. ISVLSI (2008)

Adel Dokhanchi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adel Dokhanchi