Bardh Hoxha and Adel Dokhanchi - Free people check

(1 - 11 from 14

)

Biblio | CPS-VO

cps-vo.org

8 results · Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos An efficient algorithm for monitoring practical TPTL specifications.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo and Sean Sedwards. In: ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.

[ ] Mining Parametric Temporal Logic Properties in Model...

arxiv.org

Title: Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems Authors: Bardh Hoxha , Adel Dokhanchi , Georgios Fainekos (Submitted on 25 Dec ( v1 ), last revised 29 Feb (this version, v2))

CiteSeerX — Towards formal specification visualization for testing...

citeseerx.ist.psu.edu

BibTeX. @INPROCEEDINGS{Hoxha14towardsformal, author = {Bardh Hoxha and Hoang Bach and Houssam Abbas and Adel Dokhanchi and Yoshihiro Kobayashi}, title = {Towards formal specification visualization for testing and monitoring of cyber-physical systems}, booktitle = {In Int. Workshop on Design and ...

Computer Science authors/titles Aug 2014

arxiv.org

Title: On-Line Monitoring for Temporal Logic Robustness. Authors: Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos. Subjects: Systems and Control (cs.SY).

[ ] On-Line Monitoring for Temporal Logic Robustness

arxiv.org

Title: On-Line Monitoring for Temporal Logic Robustness. Authors: Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos. (Submitted on 31 Jul ...

JISCMail - PROCOS Archives

www.jiscmail.ac.uk

Portable Runtime Verification with Smartphones and Optical Codes - Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos On-Line ...

All web results to the name "Bardh Hoxha"

HSCC 2016

www.cs.ox.ac.uk

Montre: A Tool for Monitoring Timed Regular Expressions, Dogan Ulus * System Testing with S-TaLiRo: Recent Functionality and Additions, Bardh Hoxha, Adel Dokhanchi and Georgios Fainekos * Hybrid Systems Model Transformations with HyST, Stanley Bak, Sergiy Bogomolov and Taylor T Johnson. 18: :00.

NSF Award Search: Award# CAREER: Robustness Guided Testing...

www.nsf.gov

Adel Dokhanchi and Bardh Hoxha and Cumhur Erkan Tuncali and Georgios Fainekos. "An efficient algorithm for monitoring practical TPTL specifications," 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2016, p Adel Dokhanchi and Shakiba Yaghoubi ...