Adel Dokhanchi

Arizona State University — United States

Computer Science · Physical Sciences

9h-index367citations20works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(16), Software Testing and Debugging Techniques(12), Software Reliability and Analysis Research(7), Embedded Systems Design Techniques(3), Model-Driven Software Engineering Techniques(3)

Publications20 total

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic
2019· 58 citedOpen Access
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems
2019· 24 cited
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic
Lecture notes in computer science·2018· 31 cited
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems·2017· 20 cited
Vacuity aware falsification for MTL request-response specifications
2017· 18 cited
From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems
2017· 1 cited
MITL Specification Debugging for Monitoring of Cyber-Physical Systems
Electronic Proceedings in Theoretical Computer Science·2016· 3 citedOpen Access
An Efficient Algorithm for Monitoring Practical TPTL Specifications
arXiv (Cornell University)·2016Open Access
An efficient algorithm for monitoring practical TPTL specifications
2016· 12 cited
Formal Requirement Elicitation and Debugging for Testing and\n Verification of Cyber-Physical Systems
arXiv (Cornell University)·2016· 1 citedOpen Access
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems
arXiv (Cornell University)·2016· 4 citedOpen Access
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems
arXiv (Cornell University)·2016· 1 citedOpen Access
Querying Parametric Temporal Logic Properties in Model Based Design
arXiv (Cornell University)·2015Open Access
Requirements driven falsification with coverage metrics
2015· 30 cited
Metric interval temporal logic specification elicitation and debugging
2015· 31 cited
On-Line Monitoring for Temporal Logic Robustness
arXiv (Cornell University)·2014Open Access
On-Line Monitoring for Temporal Logic Robustness
Lecture notes in computer science·2014· 130 cited
Performance Improvement and Congestion Reduction of Large FPGAs Using On-Chip Microwave Interconnects
IEICE Transactions on Electronics·2012
Feasibility Study of Using the RF Interconnects in Large FPGAs to Improve Routing Tracks Usage
2011· 3 cited
Performance Improvement of Physical Retiming with Shortcut Insertion
2008

Frequent Co-authors

Georgios Fainekos(16), Bardh Hoxha(12), Heni Ben Amor(3), Ali Jahanian(3), Shakiba Yaghoubi(2), Jyotirmoy V. Deshmukh(2), Cumhur Erkan Tuncali(2), Mohammad Taghi Teimoori(2), Mohammad Hekmatnejad(1), Aviral Shrivastava(1), Lina J. Karam(1), Aditya Zutshi(1), Rahul T. Sriniva(1), Sriram Sankaranarayanan(1), Anand Balakrishnan(1), Aniruddh G. Puranic(1), Xin Qin(1), Esfandiar Mehrshahi(1), Mostafa Rezvani(1), Morteza Saheb Zamani(1)