Kevin Baldor

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 2

Top Topics

Specification Language

Object Identity

Confidential Information

Top Venues

Publications

Kevin Baldor, Xiaoyin Wang, Jianwei Niu
Thorium: A Language for Bounded Verification of Dynamic Reactive Objects. REBLS@SPLASH (2023)
Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu
Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. SACMAT (2017)
Kevin Baldor, Jianwei Niu
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. RV (2012)