Adel Dokhanchi

Identifiers

No identifiers captured yet.

Papers (4)

1. An Efficient Algorithm for Monitoring Practical TPTL Specifications cs.LO · 2016 · author #1
2. Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems cs.SY · 2016 · author #1
3. Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems cs.LO · 2015 · author #2
4. On-Line Monitoring for Temporal Logic Robustness cs.SY · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bardh Hoxha 4 shared papers
• Georgios Fainekos 4 shared papers
• Cumhur Erkan Tuncali 1 shared papers