Performance Improvement of Physical Retiming with Shortcut Insertion. - Adel Dokhanchi; Mostafa Rezvani; Ali Jahanian 001; Morteza Saheb Zamani (ISVLSI, 2008)

Feasibility Study of Using the RF Interconnects in Large FPGAs to Improve Routing Tracks Usage. - Adel Dokhanchi; Ali Jahanian 001; Esfandiar Mehrshahi; Mohammad Taghi Teimoori (ISVLSI, 2011)

Performance Improvement and Congestion Reduction of Large FPGAs Using On-Chip Microwave Interconnects. - Mohammad Taghi Teimoori; Ali Jahanian 001; Adel Dokhanchi (IEICE Trans. Electron., 2012)

On-Line Monitoring for Temporal Logic Robustness. - Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos (RV, 2014)

Requirements driven falsification with coverage metrics. - Adel Dokhanchi; Aditya Zutshi 001; Rahul T. Sriniva; Sriram Sankaranarayanan 001; Georgios Fainekos (EMSOFT, 2015)

Metric interval temporal logic specification elicitation and debugging. - Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos (MEMOCODE, 2015)

Querying Parametric Temporal Logic Properties in Model Based Design. - Bardh Hoxha; Adel Dokhanchi; Georgios Fainekos (CoRR, 2015)

An efficient algorithm for monitoring practical TPTL specifications. - Adel Dokhanchi; Bardh Hoxha; Cumhur Erkan Tuncali; Georgios Fainekos (MEMOCODE, 2016)

Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. - Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos (CoRR, 2016)

Vacuity aware falsification for MTL request-response specifications. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos (CASE, 2017)

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos (ARCH@CPSWeek, 2017)

From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems. - Adel Dokhanchi (2017)

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos; Gidon Ernst; Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo; Sean Sedwards (ARCH@ADHS, 2018)

Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. - Adel Dokhanchi; Heni Ben Amor; Jyotirmoy V. Deshmukh; Georgios Fainekos (RV, 2018)

Mining parametric temporal logic properties in model-based design for cyber-physical systems. - Bardh Hoxha; Adel Dokhanchi; Georgios Fainekos (Int. J. Softw. Tools Technol. Transf., 2018)

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. - Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos (ACM Trans. Embed. Comput. Syst., 2018)

Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. - Anand Balakrishnan 001; Aniruddh Gopinath Puranic; Xin Qin; Adel Dokhanchi; Jyotirmoy V. Deshmukh; Heni Ben Amor; Georgios Fainekos (DATE, 2019)

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 (MEMOCODE, 2019)