Visit the Lab’s YouTube Channel!
“No More Helicopter Parenting: Intelligent Autonomous UAS”
NASA Ames Research Center Director’s Colloquium
June 10, 2014
“Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS” with Johann Schumann and Corey Ippolito
2015 NARI LEARN/Seedling Technical Seminar
January 13, 2015
R2U2 Demo: GPS Spoofing Case Study by Patrick Moosbrugger, September 29, 2016
“R2U2 in Space: System and Software Health Management for Small Satellites”
Spacecraft Flight Software Workshop (FSW)
December 15, 2016
“R2U2 Demo of Three Implementations (Hardware, C, C++)” 2017 NASA Early Career Faculty Award Demo, August 9, 2017
“NSF CPS PI Meeting 2017: Theoretical Foundations of the UAS in the NAS Problem” National Science Foundation, Fall, 2017
“MAX-SAT for Temporal Logics,” Casa Matemática Oaxaca, Hotel Hacienda Los Laureles, Oaxaca, Oaxaca, Mexico. August 30, 2018.
“R2U2 on Robonaut2,” 2018 NASA Early Career Faculty Award Demo, October 1, 2018
“NSF CPS PI Meeting 2018: Theoretical Foundations of the UAS in the NAS Problem” National Science Foundation, Fall, 2018
Iowa State University College of Engineering Holiday Video featuring the lab! December 13, 2018
“Formal Methods 2019 Keynote Speaker Interviews” World Congress of Formal Methods, Porto, Portugal, October 7-11, 2019
“NSF CPS PI Meeting 2019: Theoretical Foundations of the UAS in the NAS Problem” National Science Foundation, Fall, 2019
Sophomore Abigail (Andy) Hammer presenting for the Undergraduate Research Symposium: “Implementing Specifications into a Runtime Verification Unit,” ISU, Spring, 2020
Rising Juniors Marcella (Marcy) Anderson and Muhamed (Moe) Stilic of the NSF REU Summer Engagement in Cyber Undergraduate Research Experiences (SECURE), presenting for the Undergraduate Research Symposium: “IoT Security Through Formal Methods,” ISU, Summer, 2020 Find their poster here.
The next chapter for R2U2: “Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2” Video teaser and conference talk for FORMATS’20 presentation by Brian Kempa, September, 2020 A Space Robot Story
PhD Candidate Megan Ryan, presenting 3 minutes on: “IoT Security Using Formal Methods,” ISU, December, 2020.
A Case Study in Formal Specification and Runtime Verification of a CubeSat Communications System AIAA SciTech’21 presentation by Zachary Luppen, January, 2021
FSW 2021: From Unmanned Aerial Systems to Robonaut2 Kristin Yvonne Rozier, Flight Software Workshop, February 11, 2021
Towards a Framework for Certification of Reliable Autonomous Systems Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS) Presentation by Viviana Mascardi, March, 2021
This Week @ NASA!