​
Login / Signup
Brian Kempa
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Multiple Types
Reverse Nearest Neighbor
Modal Logic
Formal Verification
Top Venues
CAV (3)
NSV/FoMLAS@CAV
FORMATS
FMICS
</>
Publications
</>
Chris Johannsen
,
Phillip H. Jones
,
Brian Kempa
,
Kristin Yvonne Rozier
,
Pei Zhang
R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software.
CAV (3)
(2023)
Chris Johannsen
,
Brian Kempa
,
Phillip H. Jones
,
Kristin Y. Rozier
,
Tichakorn Wongpiromsarn
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.
FMICS
(2023)
Gokul Hariharan
,
Brian Kempa
,
Tichakorn Wongpiromsarn
,
Phillip H. Jones
,
Kristin Y. Rozier
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types.
NSV/FoMLAS@CAV
(2022)
Brian Kempa
,
Pei Zhang
,
Phillip H. Jones
,
Joseph Zambreno
,
Kristin Yvonne Rozier
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2.
FORMATS
(2020)