Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems.
Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024
Should robotics engineering education include software engineering education?
Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022
The Importance of Safety Invariants in Robustness Testing Autonomy Systems.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021
Better Robustness Testing for Autonomy Systems.
PhD thesis, 2020
Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Robustness Inside Out Testing.
Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020
Robustness testing of autonomy software.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018