| On-line monitoring for temporal logic robustness A Dokhanchi, B Hoxha, G Fainekos International Conference on Runtime Verification, 231-246, 2014 | 145 | 2014 |
| Benchmarks for Temporal Logic Requirements for Automotive Systems. B Hoxha, H Abbas, G Fainekos ARCH@ CPSWeek 34, 25-30, 2014 | 135 | 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 | 108 | 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 | 73 | 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 | 52 | 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 | 46 | 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 | 44 | 2014 |
| 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 | 39 | 2015 |
| 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 | 38 | 2017 |
| 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 | 38 | 2015 |
| 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 | 35 | 2022 |
| 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 | 35 | 2019 |
| 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 | 31 | 2020 |
| 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 | 29 | 2021 |
| 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 | 27 | 2021 |
| 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 | 26 | 2022 |
| 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 | 24 | 2018 |
| Planning in dynamic environments through temporal logic monitoring B Hoxha, G Fainekos Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 23 | 2016 |
| 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 | 21 | 2021 |
| 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 | 21 | 2017 |
Georgios FainekosToyota Research Institute of North AmericaEmail verificata su toyota.com
