Lee Pike
Lee Pike
AWS Automated Reasoning
Verified email at - Homepage
Cited by
Cited by
Copilot: a hard real-time runtime monitor
L Pike, A Goodloe, R Morisset, S Niller
International Conference on Runtime Verification, 345-359, 2010
Monitoring distributed real-time systems: A survey and future directions
AE Goodloe, L Pike
Runtime verification for ultra-critical systems
L Pike, S Niller, N Wegmann
International Conference on Runtime Verification, 310-324, 2011
Copilot: monitoring embedded systems
L Pike, N Wegmann, S Niller, A Goodloe
Innovations in Systems and Software Engineering 9, 235-255, 2013
A study on run time assurance for complex cyber physical systems
M Clark, X Koutsoukos, R Kumar, I Lee, G Pappas, L Pike, J Porter, ...
Air Force Research Lab, Tech. Rep. ADA585474, 2013
Guilt free ivory
T Elliott, L Pike, S Winwood, P Hickey, J Bielman, J Sharp, E Seidel, ...
ACM SIGPLAN Notices 50 (12), 189-200, 2015
A unified fault-tolerance protocol
P Miner, A Geser, L Pike, J Maddalon
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004
Building embedded systems with embedded DSLs
PC Hickey, L Pike, T Elliott, J Bielman, J Launchbury
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
Easy parameterized verification of biphase mark and 8N1 protocols
GM Brown, L Pike
International Conference on Tools and Algorithms for the Construction and …, 2006
Abstractions for fault-tolerant distributed system verification
L Pike, J Maddalon, P Miner, A Geser
Theorem Proving in Higher Order Logics: 17th International Conference …, 2004
A formal approach to constructing secure air vehicle software
D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ...
Computer 51 (11), 14-23, 2018
A verifying core for a cryptographic language compiler
L Pike, M Shields, J Matthews
Proceedings of the sixth international workshop on the ACL2 theorem prover …, 2006
Modeling time-triggered protocols and verifying their real-time schedules
L Pike
Formal Methods in Computer Aided Design (FMCAD'07), 231-238, 2007
SmartCheck: automatic and efficient counterexample reduction and generalization
L Pike
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 53-64, 2014
Software security via control flow integrity checking
L Pike, PC Hickey, A Tomb, E Mertens
US Patent 9,846,717, 2017
Trackos: A security-aware real-time operating system
L Pike, P Hickey, T Elliott, E Mertens, A Tomb
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
Assuring the guardians
J Laurent, A Goodloe, L Pike
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
Wireless communications, networking, and positioning with unmanned aerial vehicles [Guest Editorial]
I Guvenc, W Saad, M Bennis, C Wietfeld, M Ding, L Pike
IEEE Communications Magazine 54 (5), 24-25, 2016
Experience report: a do-it-yourself high-assurance compiler
L Pike, N Wegmann, S Niller, A Goodloe
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
Real-time system verification by k-induction
L Pike
NASA Technical Memorandum 213751, 2005
The system can't perform the operation now. Try again later.
Articles 1–20