Concepedia

Lee Pike

LP

Statistics

Publications

17

Citations

405

H-Index

14

Active since

2005

Affiliations

Galois (United States)(Current)

Langley Research Center

University of Copenhagen

Lee Pike is an author at Galois (United States) specializing in computer science, computing, and computer engineering.

Publications per year

2005–2021

17

Publications

17

Monitoring Distributed Real-Time Systems: A Survey and Future Directions

Alwyn E. Goodloe, Lee Pike · 2010 · 73 citations

Computing, Computer Engineering, Systems Engineering +17

Copilot: monitoring embedded systems

Lee Pike, Nis Wegmann, Sebastian Niller et al. · Innovations in Systems and Software Engineering · 2013 · 51 citations · Full text

Engineering, Computer Engineering, Computer Science +10

A Formal Approach to Constructing Secure Air Vehicle Software

Darren Cofer, Andrew Gacek, John Backes et al. · Computer · 2018 · 34 citations

Computing, Computer Science, Cybersecurity +17

Building embedded systems with embedded DSLs

Patrick C. Hickey, Lee Pike, Trevor Elliott et al. · 2014 · 28 citations

Engineering, Computer Engineering, Computer Science +17

Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules

Lee Pike · 2007 · 26 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 17