Visible to the public Biblio

Filters: Author is Bardh Hoxha  [Clear All Filters]
Thesis
Bardh Hoxha.  2017.  Formal Requirements-Driven Analysis of Cyber Physical Systems.
Miscellaneous
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos.  2016.  Metric Interval Temporal Logic Specification Elicitation and Debugging.
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos.  2016.  Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems (Extended Version).
Journal Article
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.
Conference Paper
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.
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.
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.