Fingerprint
Dive into the research topics where Max Taylor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Automated Synthesis of Verified Neural Network Controllers from Linear Temporal Logic Specifications
O’Quinn, A. & Taylor, M., 12 Oct 2025, RICSS 2025 - Proceedings of the 2025 Workshop on Re-design Industrial Control Systems with Security. p. 26-34 9 p. (RICSS 2025 - Proceedings of the 2025 Workshop on Re-design Industrial Control Systems with Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types
Amorim, A., Taylor, M., Kann, T., Harrison, W. L., Leavens, G. T. & Joneckis, L., 2025, NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. Dutle, A., Humphrey, L. & Titolo, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-10 10 p. (Lecture Notes in Computer Science; vol. 15682 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
UAV Resilience Against Stealthy Attacks
Amorim, A., Taylor, M., Kann, T., Leavens, G. T., Harrison, W. L. & Joneckis, L., 2025, 2025 International Conference on Unmanned Aircraft Systems, ICUAS 2025. Institute of Electrical and Electronics Engineers Inc., p. 994-1001 8 p. (2025 International Conference on Unmanned Aircraft Systems, ICUAS 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Cocoon: Static Information Flow Control in Rust
Lamba, A., Taylor, M., Beardsley, V., Bambeck, J., Bond, M. D. & Lin, Z., 29 Apr 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 100.Research output: Contribution to journal › Article › peer-review
Open Access6 Scopus citations -
MFANS 2024 - Dimensional Analysis Made Easy
Taylor, M., Apr 2024.Research output: Contribution to conference › Paper › peer-review