52 citations · 56 across the 4 of their papers we have counts for
4 papers
An Efficient Algorithm for Monitoring Practical TPTL Specifications
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali +1
We provide a dynamic programming algorithm for the monitoring of a fragment of Timed Propositional Temporal Logic (TPTL) specifications. This fragment of TPTL, which is more expres…
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical int…
Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable…
On-Line Monitoring for Temporal Logic Robustness
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
In this paper, we provide a Dynamic Programming algorithm for on-line monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We comput…