Brian Kempa

According to our database, Brian Kempa authored at least 6 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

MLTL Multi-type: A Typed Logic for Cyber-Physical Systems.

Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier

ACM Trans. Embed. Comput. Syst., March, 2026

2025

OnAIR: Applications of the NASA on-board artificial intelligence research platform.

Evana Gizzi, Connor Firth, Caleb Adams, James Berck, Timothy Chase Jr., Christian Cassamajor-Paul, Rachael Chertok, Lily Clough, Jonathan Davis, Melissa De La Cruz, Matthew Dosberg, Alan Gibson, Jonathan Hammer, Ibrahim Haroon, Michael A. Johnson, Brian Kempa, James Marshall, Patrick Maynard, Brett A. McKinney, Leyton McKinney, Michael Monaghan, Robin Onsay, Hayley Owens, Sam Pedrotty, Daniel Rogers, Mahmooda Sultana, Jivko Sinapov, Bethany Theiling, Aaron Woodard, Caroline Zouloumian, Connor Williams

AI Mag., 2025

2023

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.

Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software.

Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types.

Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2020

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2.

Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020