Statistics
Publications
16
Citations
392
H-Index
13
Active since
2005
Affiliations
Lee Pike is an author at Galois (United States) specializing in engineering, systems engineering, and formal methods.
Publications per year
2005–2021
16
16
Monitoring Distributed Real-Time Systems: A Survey and Future Directions
Alwyn E. Goodloe, Lee Pike · 2010 · 73 citations
Copilot: monitoring embedded systems
Lee Pike, Nis Wegmann, Sebastian Niller et al. · Innovations in Systems and Software Engineering · 2013 · 50 citations · Full text
Engineering, Performance Monitoring, Computer Engineering +6
A Formal Approach to Constructing Secure Air Vehicle Software
Darren Cofer, Andrew Gacek, John Backes et al. · Computer · 2018 · 34 citations
Building embedded systems with embedded DSLs
Patrick C. Hickey, Lee Pike, Trevor Elliott et al. · 2014 · 28 citations
Engineering, Computer Architecture, Software Engineering +22
1–5 of 16