Scholar
Arthur Amorim
Google Scholar ID: uneFd6EAAAAJ
Phd Student in Computer Science, University of Central Florida
Formal Methods
Type Theory
Follow
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
ECE PhD student, Carnegie Mellon University
Max Taylor
Assistant Professor, Boise State University
William Harrison
Two Six Technologies, Inc.
Gary T. Leavens
Professor, University of Central Florida
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up