Old Web
English
Sign In
Acemap
>
authorDetail
>
Gregory Eakman
Gregory Eakman
BAE Systems
Specification language
Runtime verification
Computer science
Computer architecture
Executable
2
Papers
10
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Flexible Monitor Deployment for Runtime Verification of Large Scale Software.
2018
ISoLA | Leveraging Applications of Formal Methods
Teng Zhang
Gregory Eakman
Insup Lee
Oleg Sokolsky
Show All
Source
Cite
Save
Citations (4)
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement
2018
Teng Zhang
John Wiegley
Theophilos Giannakopoulos
Gregory Eakman
Clément Pit-Claudel
Insup Lee
Oleg Sokolsky
Show All
Source
Cite
Save
Citations (6)
1