Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. - Kevin Baldor; Jianwei Niu 001 (RV, 2012)

Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. - Claiborne Johnson; Thomas MacGahan; John Heaps; Kevin Baldor; Jeffery von Ronne; Jianwei Niu 001 (SACMAT, 2017)

Thorium: A Language for Bounded Verification of Dynamic Reactive Objects. - Kevin Baldor; Xiaoyin Wang; Jianwei Niu 001 (REBLS@SPLASH, 2023)