Login / Signup
Gregory Eakman
Publication Activity (10 Years)
Years Active: 2011-2018
Publications (10 Years): 2
Top Topics
Small Scale
Dynamic Reconfiguration
Hardware Design
Real Life
Top Venues
SETTA
ISoLA (4)
</>
Publications
</>
Teng Zhang
,
Gregory Eakman
,
Insup Lee
,
Oleg Sokolsky
Flexible Monitor Deployment for Runtime Verification of Large Scale Software.
ISoLA (4)
(2018)
Teng Zhang
,
John Wiegley
,
Theophilos Giannakopoulos
,
Gregory Eakman
,
Clément Pit-Claudel
,
Insup Lee
,
Oleg Sokolsky
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.
SETTA
(2018)
William W. Streilein
,
John Truelove
,
Chad R. Meiners
,
Gregory Eakman
Cyber situational awareness through operational streaming analysis.
MILCOM
(2011)