| Embedding online runtime verification for fault disambiguation on Robonaut2 B Kempa, P Zhang, PH Jones, J Zambreno, KY Rozier International Conference on Formal Modeling and Analysis of Timed Systems …, 2020 | 30 | 2020 |
| MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types G Hariharan, B Kempa, T Wongpiromsarn, PH Jones, KY Rozier International Workshop on Numerical Software Verification, 187-204, 2022 | 5 | 2022 |
| Space ROS: An Open-Source Framework for Space Robotics and Flight Software A Probe, A Oyake, SW Chambers, M Deans, G Brat, NB Cramer, ... AIAA SCITECH 2023 Forum, 2023 | 4 | 2023 |
| Improving Usability and Trust in Real-Time Verification of a Large-Scale Complex Safety-Critical System B Kempa, C Johannsen, KY Rozier Ada user journal 43 (3), 2022 | 4 | 2022 |
| An Overview of Distributed Spacecraft Autonomy at NASA Ames C Adams, B Kempa, M Iatauro, J Frank, W Vaughan Proceedings of the Small Satellite Conference, 2023 | 2 | 2023 |
| R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software C Johannsen, P Jones, B Kempa, KY Rozier, P Zhang International Conference on Computer Aided Verification, 483-497, 2023 | 2 | 2023 |
| Development of a High-Performance, Heterogenous, Scalable Test-Bed for Distributed Spacecraft C Adams, B Kempa, W Vaughan, N Cramer 2023 IEEE Aerospace Conference, 1-8, 2023 | 2 | 2023 |
| Evaluating Network Performance of Containerized Test Framework for Distributed Space Systems W Vaughan, A George, B Kempa, D Cellucci, N Cramer AIAA/USU Conference on Small Satellites, 2022 | 2 | 2022 |
| Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints C Johannsen, B Kempa, PH Jones, KY Rozier, T Wongpiromsarn International Conference on Formal Methods for Industrial Critical Systems …, 2023 | | 2023 |
| Swarm Mentality: Toward Automatic Swarm State Awareness with Runtime Verification B Kempa, NB Cramer, JD Frank AAAI 2022 Spring Symposium ‘Can We Talk?’ How to Design Multi-Agent Systems …, 2022 | | 2022 |
| Embedding runtime verification post-deployment for real-time health management of safety-critical systems BCS Kempa | | 2019 |
Kristin Y. RozierNASAVerified email at nasa.gov
