Follow
Max Taylor
Max Taylor
PhD Candidate, The Ohio State University
Verified email at osu.edu - Homepage
Title
Cited by
Cited by
Year
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
162021
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
122021
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
22022
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
The system can't perform the operation now. Try again later.
Articles 1–4