Patrick C. Hickey

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Automotive Industry

Programming Language

Security Requirements

Denotational Semantics

Top Venues

Publications

Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman
Secure Automotive Software: The Next Steps. IEEE Softw. 34 (3) (2017)
Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
TrackOS: A Security-Aware Real-Time Operating System. RV (2016)
Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury
Guilt free ivory. Haskell (2015)
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)
Baozhi Chen, Patrick C. Hickey, Dario Pompili
Trajectory-Aware Communication Solution for Underwater Gliders Using WHOI Micro-Modems. SECON (2010)