Patrick C. Hickey

Trajectory-Aware Communication Solution for Underwater Gliders Using WHOI Micro-Modems

Baozhi Chen, Dario Pompili, Patrick C. Hickey, 2010, 2010 7th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON).

TrackOS: A Security-Aware Real-Time Operating System

Patrick C. Hickey, Lee Pike, Aaron Tomb, 2016, RV.

Secure Automotive Software: The Next Steps

Mark Tullsen, Patrick C. Hickey, Lee Pike, 2017, IEEE Software.

Building embedded systems with embedded DSLs

John Launchbury, Patrick C. Hickey, Lee Pike, 2014, ICFP 2014.

Guilt free ivory

John Launchbury, Simon Winwood, Patrick C. Hickey, 2015, Haskell.

Programming languages for high-assurance autonomous vehicles: extended abstract

John Launchbury, Patrick C. Hickey, Lee Pike, 2014, PLPV '14.

Securing the Automobile: a Comprehensive Approach

Patrick C. Hickey, Lee Pike, Jamey Sharp, 2015 .

Anti-jamming in a fungal transport network

Patrick C. Hickey, Marcus Roper, Haoxuan Dou, 2016 .

Live-cell Imaging of filamentous fungi using vital fluorescent dyes and confocal microscopy

Patrick C. Hickey, Nick D. Read, N. Read, 2004 .

Building Embedded Systems with Embedded DSLs ( Experience Report )

John Launchbury, Patrick C. Hickey, Lee Pike, 2014 .