Visible to the public Biblio

Filters: Author is Bardh Hoxha  [Clear All Filters]
2018-05-15
Bardh Hoxha, Georgios Fainekos.  2016.  Planning in Dynamic Environments Through Temporal Logic Monitoring. Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems.
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, 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.
Bardh Hoxha.  2017.  Formal Requirements-Driven Analysis of Cyber Physical Systems.
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.