Greg Eakman

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 4

Top Topics

Formal Verification

Adaptive Systems

Top Venues

Publications

Letitia W. Li, Greg Eakman, Elias J. M. Garcia, Sam Atman
Accessible Formal Methods for Verified Parser Development. SP Workshops (2021)
Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky
Overhead-Aware Deployment of Runtime Monitors. RV (2019)
Javier Cámara, David Garlan, Greg Eakman
Building Long-Lived Adaptive Systems. IEEE Softw. 36 (2) (2019)
Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios
Practical Formal Verification of Domain-Specific Language Applications. NFM (2015)