Kevin Baldor

According to our database, Kevin Baldor authored at least 3 papers between 2012 and 2023.

Collaborative distances:

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

2023

Thorium: A Language for Bounded Verification of Dynamic Reactive Objects.

Kevin Baldor, Xiaoyin Wang, Jianwei Niu

Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2023

2017

Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures.

Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

2012

Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic.

Kevin Baldor, Jianwei Niu

Proceedings of the Runtime Verification, Third International Conference, 2012