James Bielman

Securing the Automobile: the Next Steps

Lee Pike, Jamey Sharp, Mark Tullsen, 2017 .

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 .

Building Embedded Systems with Embedded DSLs ( Experience Report )

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