Arthur Amorim
Scholar

Arthur Amorim

Google Scholar ID: uneFd6EAAAAJ
Phd Student in Computer Science, University of Central Florida
Formal MethodsType Theory
Google Scholar↗
Citations & Impact
All-time
Citations
7
 
H-index
2
 
i10-index
0
 
Publications
8
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
3 items
From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
2026
Cited
0
UAV Resilience Against Stealthy Attacks
2025
Cited
0
Enforcing MAVLink Safety&Security Properties Via Refined Multiparty Session Types
2025
Cited
0
Resume (English only)
Co-authors
4 total
Trevor Kann
Trevor Kann
ECE PhD student, Carnegie Mellon University
Max Taylor
Max Taylor
Assistant Professor, Boise State University
William Harrison
William Harrison
Two Six Technologies, Inc.
Gary T. Leavens
Gary T. Leavens
Professor, University of Central Florida