Lee Pike
Amazon (United States)(US)
Publications by Year
Research Areas
Formal Methods in Verification, Distributed systems and fault tolerance, Software Testing and Debugging Techniques, Real-Time Systems Scheduling, Security and Verification in Computing
Most-Cited Works
- → Copilot: A Hard Real-Time Runtime Monitor(2010)122 cited
- Monitoring Distributed Real-Time Systems: A Survey and Future Directions(2010)
- → Runtime Verification for Ultra-Critical Systems(2012)51 cited
- → Copilot: monitoring embedded systems(2013)50 cited
- → A Study on Run Time Assurance for Complex Cyber Physical Systems(2013)48 cited
- → Easy Parameterized Verification of Biphase Mark and 8N1 Protocols(2006)39 cited
- → A Formal Approach to Constructing Secure Air Vehicle Software(2018)34 cited
- → A Unified Fault-Tolerance Protocol(2004)31 cited
- → Abstractions for Fault-Tolerant Distributed System Verification(2004)29 cited
- → Building embedded systems with embedded DSLs(2014)28 cited