Casey Mackin

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Transitive Closure

Unmanned Aerial Vehicles

Hardware Software

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Nathan Sandoval, Casey Mackin, Sean Whitsitt, Vijay Shankar Gopinath, Sachidanand Mahadevan, Andrew Milakovich, Kyle Merry, Jonathan Sprinkle, Roman Lysecky
Task Transition Scheduling for Data-Adaptable Systems. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Mo Chen, Qie Hu, Jaime F. Fisac, Kene Akametalu, Casey Mackin, Claire J. Tomlin
Guaranteeing Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways. CoRR (2016)
Mo Chen, Qie Hu, Casey Mackin, Jaime F. Fisac, Claire J. Tomlin
Safe platooning of unmanned aerial vehicles via reachability. CDC (2015)
Mo Chen, Qie Hu, Casey Mackin, Jaime F. Fisac, Claire J. Tomlin
Safe Platooning of Unmanned Aerial Vehicles via Reachability. CoRR (2015)
Nathan Sandoval, Casey Mackin, Sean Whitsitt, Roman L. Lysecky, Jonathan Sprinkle
Runtime hardware/software task transition scheduling for data-adaptable embedded systems. FPT (2013)
Nathan Sandoval, Casey Mackin, Sean Whitsitt, Roman L. Lysecky, Jonathan Sprinkle
System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems. ECBS (2013)
Roman Lysecky, Nathan Sandoval, Sean Whitsitt, Casey Mackin, Jonathan Sprinkle
Efficient reconfiguration methods to enable rapid deployment of runtime reconfigurable systems. ACSSC (2013)
Nathan Sandoval, Casey Mackin, Roman L. Lysecky, Jonathan Sprinkle
How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial. ECBS (2013)