Gregory Eakman

According to our database, Gregory Eakman authored at least 7 papers between 2011 and 2021.

Collaborative distances:

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

2021

Accessible Formal Methods for Verified Parser Development.

Letitia W. Li, Greg Eakman, Elias J. M. Garcia, Sam Atman

Proceedings of the IEEE Security and Privacy Workshops, 2021

2019

Building Long-Lived Adaptive Systems.

Javier Cámara, David Garlan, Greg Eakman

IEEE Softw., 2019

Overhead-Aware Deployment of Runtime Monitors.

Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky

Proceedings of the Runtime Verification - 19th International Conference, 2019

2018

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.

Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Flexible Monitor Deployment for Runtime Verification of Large Scale Software.

Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2015

Practical Formal Verification of Domain-Specific Language Applications.

Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2011

Cyber situational awareness through operational streaming analysis.

William W. Streilein, John Truelove, Chad R. Meiners, Gregory Eakman

Proceedings of the MILCOM 2011, 2011