Lee Pike

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 15

Top Topics

Embedded Systems

Unmanned Aerial Vehicles

Formal Verification

Modulo Theories

Top Venues

ESEC/SIGSOFT FSE

Publications

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) (2024)
Yaojie Hu, Xingjian Shi, Qiang Zhou, Lee Pike
Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar. CoRR (2022)
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE (2022)
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE (2021)
Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu
Salty-A Domain Specific Language for GR(1) Specifications and Designs. ICRA (2019)
Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall
Language for Unified Verification and Implementation for Distributed Avionics. J. Aerosp. Inf. Syst. 15 (11) (2018)
Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51 (11) (2018)
Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. CAV (2) (2018)
Benjamin F. Jones, Lee Pike
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol. NFM (2017)
Georges-Axel Jaloyan, Lee Pike
Lock Optimization for Hoare Monitors in Real-Time Systems. ACSD (2017)
Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman
Secure Automotive Software: The Next Steps. IEEE Softw. 34 (3) (2017)
Ismail Güvenç, Walid Saad, Mehdi Bennis, Christian Wietfeld, Ming Ding, Lee Pike
Wireless communications, networking, and positioning with unmanned aerial vehicles [Guest Editorial]. IEEE Commun. Mag. 54 (5) (2016)
Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
TrackOS: A Security-Aware Real-Time Operating System. RV (2016)
Lee Pike
Hints for High-Assurance Cyber-Physical System Design. SecDev (2016)
Perry Alexander, Lee Pike, Peter A. Loscocco, George Coker
Model Checking Distributed Mandatory Access Control Policies. ACM Trans. Inf. Syst. Secur. 18 (2) (2015)
Jonathan Laurent, Alwyn Goodloe, Lee Pike
Assuring the Guardians. RV (2015)
Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury
Guilt free ivory. Haskell (2015)
Lee Pike
SmartCheck: automatic and efficient counterexample reduction and generalization. Haskell (2014)
Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury
Building embedded systems with embedded DSLs. ICFP (2014)
Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury
Programming languages for high-assurance autonomous vehicles: extended abstract. PLPV (2014)
Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
Copilot: monitoring embedded systems. Innov. Syst. Softw. Eng. 9 (4) (2013)
Lee Pike
Keynote talk I: Building a high-assurance unpiloted air vehicle. MEMOCODE (2013)
Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
Experience report: a do-it-yourself high-assurance compiler. ICFP (2012)
Lee Pike
Pervasive formal verification in control system design. FMCAD (2011)
Geoffrey M. Brown, Lee Pike
Automated verification and refinement for physical-layer protocols. Formal Aspects Comput. 23 (3) (2011)
Lee Pike, Sebastian Niller, Nis Wegmann
Runtime Verification for Ultra-Critical Systems. RV (2011)
Iavor S. Diatchki, Lee Pike, Levent Erkök
Practical Considerations in Control-Flow Integrity Monitoring. ICST Workshops (2011)
Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
Copilot: A Hard Real-Time Runtime Monitor. RV (2010)
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
Roll your own test bed for embedded real-time protocols: a haskell experience. Haskell (2009)
Lee Pike
Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules. FMCAD (2007)
Geoffrey M. Brown, Lee Pike
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. MEMOCODE (2007)
Lee Pike
A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'. IEEE Trans. Software Eng. 32 (5) (2006)
Lee Pike, Mark Shields, John Matthews
A verifying core for a cryptographic language compiler. ACL2 (2006)
Geoffrey M. Brown, Lee Pike
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. TACAS (2006)
Lee Pike, Steven D. Johnson
The formal verification of a reintegration protocol. EMSOFT (2005)
Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
A Unified Fault-Tolerance Protocol. FORMATS/FTRTFT (2004)
Gerard Allwein, Hilmi Demir, Lee Pike
Logics for Classes of Boolean Monoids. J. Log. Lang. Inf. 13 (3) (2004)
Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser
Abstractions for Fault-Tolerant Distributed System Verification. TPHOLs (2004)