Jonathan Lockhart

According to our database, Jonathan Lockhart authored at least 3 papers between 2011 and 2016.

Collaborative distances:

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

2016

Error analysis and reliability metrics for software in safety critical systems.

Jonathan Lockhart, Carla Purdy, Philip A. Wilsey

Proceedings of the IEEE 59th International Midwest Symposium on Circuits and Systems, 2016

2014

Formal methods for safety critical system specification.

Jonathan Lockhart, Carla Purdy, Philip A. Wilsey

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

2011

Type-safe concurrent resource sharing.

Lea Wittie, Jonathan Lockhart

Concurr. Comput. Pract. Exp., 2011