| Ontology and modeling patterns for state-based behavior representation JF Castet, ML Rozek, MD Ingham, NF Rouquette, SH Chung, JS Jenkins, ... AIAA Infotech@ Aerospace, 1115, 2015 | 28 | 2015 |
| The behavior, constraint, and scenario (BeCoS) tool: a web-based software application for modeling behaviors and scenarios J Kaderka, M Rozek, J Arballo, D Wagner, M Ingham 2018 AIAA Aerospace Sciences Meeting, 1216, 2018 | 13 | 2018 |
| Towards a methodology and tooling for model-based Probabilistic Risk Assessment (PRA) S Schreiner, ML Rozek, A Kurum, CJ Everline, MD Ingham, J Nunes AIAA SPACE 2016, 5545, 2016 | 5 | 2016 |
| Managing complexity: Solutions from the mars science laboratory entry, descent, and landing flight system verification and validation campaign A Stehura, M Rozek, D Isla Journal of Spacecraft and Rockets 51 (4), 1270-1287, 2014 | 2 | 2014 |
| A Tool for Model-Based Generation of Scenario-Driven Electric Power Load Profiles ML Rozek, KM Donahue, MD Ingham, JD Kaderka AIAA SPACE 2015 Conference and Exposition, 4463, 2015 | 1 | 2015 |
| Managing Complexity in the MSL/Curiosity Entry, Descent, and Landing Flight Software and Avionics Verification and Validation Campaign A Stehura, M Rozek Space Flight Mechanics Meeting, 2013 | 1 | 2013 |
