Jonathan Lockhart

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Adaptive Systems

Safety Critical

Protocol Specification

Top Venues

Publications

Jonathan Lockhart, Carla Purdy, Philip A. Wilsey
Error Analysis and Reliability Metrics for Software in Safety Critical Systems. MWSCAS (2018)
Jonathan Lockhart, Carla Purdy, Philip A. Wilsey
Error analysis and reliability metrics for software in safety critical systems. MWSCAS (2016)
Jonathan Lockhart, Carla Purdy, Philip A. Wilsey
Formal methods for safety critical system specification. MWSCAS (2014)
Lea Wittie, Jonathan Lockhart
Type-safe concurrent resource sharing. Concurr. Comput. Pract. Exp. 23 (8) (2011)