Lee Pike

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