Avis: In-Situ Model Checking for Unmanned Aerial Vehicles M Taylor, H Chen, F Qin, C Stewart 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 16 | 2021 |
A Study on Software Bugs in Unmanned Aircraft Systems M Taylor, J Boubin, H Chen, C Stewart, F Qin 2021 International Conference on Unmanned Aircraft Systems (ICUAS), 1439-1448, 2021 | 12 | 2021 |
SA4U: Practical Static Analysis for Unit Type Error Detection M Taylor, J Aurand, F Qin, X Wang, B Henry, X Zhang The 37th IEEE/ACM International Conference on Automated Software Engineering., 2022 | 2 | 2022 |
Cocoon: Static Information Flow Control in Rust A Barach, M Taylor, V Beardsley, J Bambeck, MD Bond, Z Lin arXiv preprint arXiv:2311.00097, 2023 | | 2023 |