Lee Pike
Lee Pike
AWS Automated Reasoning Group
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
Copilot: a hard real-time runtime monitor
L Pike, A Goodloe, R Morisset, S Niller
International Conference on Runtime Verification, 345-359, 2010
892010
Monitoring distributed real-time systems: A survey and future directions
AE Goodloe, L Pike
782010
Runtime verification for ultra-critical systems
L Pike, S Niller, N Wegmann
International Conference on Runtime Verification, 310-324, 2011
672011
A unified fault-tolerance protocol
P Miner, A Geser, L Pike, J Maddalon
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
422004
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
392014
Abstractions for fault-tolerant distributed system verification
L Pike, J Maddalon, P Miner, A Geser
International Conference on Theorem Proving in Higher Order Logics, 257-270, 2004
372004
A study on run time assurance for complex cyber physical systems
M Clark, X Koutsoukos, J Porter, R Kumar, G Pappas, O Sokolsky, I Lee, ...
AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH AEROSPACE SYSTEMS DIR, 2013
362013
Easy parameterized verification of biphase mark and 8N1 protocols
GM Brown, L Pike
International Conference on Tools and Algorithms for the Construction and …, 2006
332006
Copilot: monitoring embedded systems
L Pike, N Wegmann, S Niller, A Goodloe
Innovations in Systems and Software Engineering 9 (4), 235-255, 2013
322013
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
312006
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
282015
Modeling time-triggered protocols and verifying their real-time schedules
L Pike
Formal Methods in Computer Aided Design (FMCAD'07), 231-238, 2007
282007
The formal verification of a reintegration protocol
L Pike, SD Johnson
Proceedings of the 5th ACM international conference on Embedded software …, 2005
182005
Real-time system verification by k-induction
L Pike
NASA Technical Memorandum 213751, 2005
182005
SmartCheck: automatic and efficient counterexample reduction and generalization
L Pike
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 53-64, 2014
172014
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
162012
Model checking distributed mandatory access control policies
P Alexander, L Pike, P Loscocco, G Coker
ACM Transactions on Information and System Security (TISSEC) 18 (2), 1-25, 2015
152015
A note on inconsistent axioms in Rushby's" systematic formal verification for fault-tolerant time-triggered algorithms"
L Pike
IEEE Transactions on Software Engineering 32 (5), 347-348, 2006
142006
Model checking failed conjectures in theorem proving: a case study
L Pike, P Miner, W Torres-Pomales
142004
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
122018
The system can't perform the operation now. Try again later.
Articles 1–20