Brian Kempa

According to our database, Brian Kempa authored at least 4 papers between 2020 and 2023.

Collaborative distances:

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

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