Visible to the public Biblio

Filters: Author is Adel Dokhanchi  [Clear All Filters]
2018-05-15
Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos.  2015.  Requirements driven falsification with coverage metrics. 12th International Conference on Embedded Software (EMSOFT).
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos.  2016.  Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems (Extended Version).
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos.  2016.  An efficient algorithm for monitoring practical TPTL specifications. 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. :184-193.
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos.  2016.  Metric Interval Temporal Logic Specification Elicitation and Debugging.
Adel Dokhanchi.  2017.  From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems.
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos.  2017.  Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems (Accepted).
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos.  2017.  Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems. International Journal on Software Tools for Technology Transfer.
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos.  2017.  Vacuity Aware Falsification for MTL Request-Response Specifications. IEEE International Conference on Automation Science and Engineering.