Bardh Hoxha
发表
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2014,
RV.
Georgios E. Fainekos,
Bardh Hoxha,
Georgios Fainekos,
2016,
AAAI Workshop: Planning for Hybrid Systems.
Georgios Fainekos,
Danil Prokhorov,
Bardh Hoxha,
2021,
IEEE Control Systems Letters.
Sriram Sankaranarayanan,
Georgios E. Fainekos,
Guohui Ding,
2018,
NFM.
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2015,
International Journal on Software Tools for Technology Transfer.
Sriram Sankaranarayanan,
Georgios Fainekos,
Bardh Hoxha,
2019,
RV.
Houssam Abbas,
Georgios Fainekos,
Bardh Hoxha,
2015,
ARCH@CPSWeek.
Adel Dokhanchi,
Georgios Fainekos,
Bardh Hoxha,
2016
.
Houssam Abbas,
James Kapinski,
Jyotirmoy V. Deshmukh,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Houssam Abbas,
Georgios E. Fainekos,
Bardh Hoxha,
2015,
ARCH@CPSWeek.
Houssam Abbas,
Georgios E. Fainekos,
Bardh Hoxha,
2014,
ARCH@CPSWeek.
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems
pdf
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2016,
ArXiv.
Georgios Fainekos,
Bardh Hoxha,
Ourania Spantidi,
2020,
RV.
Gidon Ernst,
Paolo Arcaini,
Zhenya Zhang,
2018,
ARCH@ADHS.
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Georgios Fainekos,
Luan Viet Nguyen,
Taylor T. Johnson,
2018,
ADHS.
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2015,
ArXiv.
Georgios E. Fainekos,
Bardh Hoxha,
Hengyi Yang,
2012,
ICTSS.
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2017,
ARCH@CPSWeek.
Houssam Abbas,
James Kapinski,
Jyotirmoy V. Deshmukh,
2014,
ArXiv.
Georgios E. Fainekos,
Nikolaos Mavridis,
Bardh Hoxha,
2015,
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2016,
ACM Trans. Embed. Comput. Syst..
Bardh Hoxha,
Bardh Hoxha,
2017
.
Georgios Fainekos,
Bardh Hoxha,
Mohammad Hekmatnejad,
2020,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Georgios E. Fainekos,
Adel Dokhanchi,
Bardh Hoxha,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Sriram Sankaranarayanan,
Georgios Fainekos,
Bardh Hoxha,
2019,
RV.
Houssam Abbas,
Georgios Fainekos,
Bardh Hoxha,
2014,
The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent.
Danil Prokhorov,
Bardh Hoxha,
Tomoya Yamaguchi,
2020,
2020 International Conference on Embedded Software (EMSOFT).
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
HSCC.
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
ArXiv.
Georgios Fainekos,
Bardh Hoxha,
Danil Prokhorov,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Jyotirmoy V. Deshmukh,
Georgios Fainekos,
Bardh Hoxha,
2021,
RV.
Xiangyu Zhang,
Z. Berkay Celik,
Muslum Ozgur Ozmen,
2021,
ArXiv.
Georgios Fainekos,
Bardh Hoxha,
Danil Prokhorov,
2021,
ArXiv.
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
FORMATS.
Georgios Fainekos,
Bardh Hoxha,
Danil Prokhorov,
2021,
2021 American Control Conference (ACC).
Panagiotis Artemiadis,
Bardh Hoxha,
Parth Pandya,
2013
.