Videos
Videos
- “No More Helicopter Parenting: Intelligent Autonomous UAS” NASA Ames Research Center Director’s Colloquium June 10, 2014June 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, 2015January 13, 2015- R2U2 Demo: GPS Spoofing Case Study by Patrick Moosbrugger, September 29, 2016R2U2 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, 2016December 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
- Keynote: Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community, 25th Brazilian Symposium on Formal Methods (SBMF), December 8, 2022
