Patrick C. Hickey

According to our database, Patrick C. Hickey authored at least 6 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Secure Automotive Software: The Next Steps.

Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman

IEEE Softw., 2017

2016

TrackOS: A Security-Aware Real-Time Operating System.

Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Guilt free ivory.

Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Programming languages for high-assurance autonomous vehicles: extended abstract.

Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Building embedded systems with embedded DSLs.

Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2010

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

Baozhi Chen, Patrick C. Hickey, Dario Pompili

Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010