Bardh Hoxha
Zitiert von
Zitiert von
On-line monitoring for temporal logic robustness
A Dokhanchi, B Hoxha, G Fainekos
International Conference on Runtime Verification, 231-246, 2014
Benchmarks for Temporal Logic Requirements for Automotive Systems.
B Hoxha, H Abbas, G Fainekos
ARCH@ CPSWeek 34, 25-30, 2014
Mining parametric temporal logic properties in model-based design for cyber-physical systems
B Hoxha, A Dokhanchi, G Fainekos
International Journal on Software Tools for Technology, 15, 2017
Querying parametric temporal logic properties on embedded systems
H Yang, B Hoxha, G Fainekos
IFIP International Conference on Testing Software and Systems, 136-151, 2012
Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems
H Abbas, B Hoxha, G Fainekos, K Ueda
The 4th Annual IEEE International Conference on Cyber Technology in …, 2014
Towards formal specification visualization for testing and monitoring of cyber-physical systems
B Hoxha, H Bach, H Abbas, A Dokhanchi, Y Kobayashi, G Fainekos
Int. Workshop on Design and Implementation of Formal Tools and Systems, 2014
Conformance testing as falsification for cyber-physical systems
H Abbas, B Hoxha, G Fainekos, JV Deshmukh, J Kapinski, K Ueda
arXiv preprint arXiv:1401.5200, 2014
Formal requirement debugging for testing and verification of cyber-physical systems
A Dokhanchi, B Hoxha, G Fainekos
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-26, 2017
Metric interval temporal logic specification elicitation and debugging
A Dokhanchi, B Hoxha, G Fainekos
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
VISPEC: A graphical tool for elicitation of MTL requirements
B Hoxha, N Mavridis, G Fainekos
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015
Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro
G Fainekos, B Hoxha, S Sankaranarayanan
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
Neural network repair with reachability analysis
X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov
International Conference on Formal Modeling and Analysis of Timed Systems …, 2022
PerceMon: online monitoring for perception systems
A Balakrishnan, J Deshmukh, B Hoxha, T Yamaguchi, G Fainekos
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
Risk-bounded control using stochastic barrier functions
S Yaghoubi, K Majd, G Fainekos, T Yamaguchi, D Prokhorov, B Hoxha
IEEE Control Systems Letters 5 (5), 1831-1836, 2020
Safe navigation in human occupied environments using sampling and control barrier functions
K Majd, S Yaghoubi, T Yamaguchi, B Hoxha, D Prokhorov, G Fainekos
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos, G Ernst, Z Zhang, ...
ARCH@ ADHS, 104-109, 2018
Discovering IoT physical channel vulnerabilities
MO Ozmen, X Li, A Chu, ZB Celik, B Hoxha, X Zhang
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
Planning in dynamic environments through temporal logic monitoring
B Hoxha, G Fainekos
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Vacuity aware falsification for MTL request-response specifications
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos
2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1332 …, 2017
Reachability analysis of deep ReLU neural networks using facet-vertex incidence
X Yang, TT Johnson, HD Tran, T Yamaguchi, B Hoxha, DV Prokhorov
HSCC, 18:1-18:7, 2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20