| Copilot: A hard real-time runtime monitor L Pike, A Goodloe, R Morisset, S Niller International Conference on Runtime Verification, 345-359, 2010 | 175 | 2010 |
| Monitoring distributed real-time systems: A survey and future directions AE Goodloe, L Pike | 119 | 2010 |
| Runtime verification for ultra-critical systems L Pike, S Niller, N Wegmann International Conference on Runtime Verification, 310-324, 2011 | 83 | 2011 |
| Copilot: monitoring embedded systems L Pike, N Wegmann, S Niller, A Goodloe Innovations in Systems and Software Engineering 9, 235-255, 2013 | 72 | 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 | 67 | 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 | 51 | 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 | 46 | 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 | 44 | 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 | 42 | 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 | 40 | 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 | 38 | 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 | 33 | 2006 |
| Modeling time-triggered protocols and verifying their real-time schedules L Pike Formal Methods in Computer Aided Design (FMCAD'07), 231-238, 2007 | 30 | 2007 |
| SmartCheck: automatic and efficient counterexample reduction and generalization L Pike Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 53-64, 2014 | 29 | 2014 |
| Software security via control flow integrity checking L Pike, PC Hickey, A Tomb, E Mertens US Patent 9,846,717, 2017 | 27 | 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 | 26 | 2016 |
| Assuring the guardians J Laurent, A Goodloe, L Pike Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 24 | 2015 |
| 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 | 23 | 2012 |
| 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 | 22 | 2016 |
| The formal verification of a reintegration protocol L Pike, SD Johnson Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 19 | 2005 |
Alwyn GoodloeResearch Computer Engineer, NASAVerified email at nasa.gov
