Jonathan Woodruff

Lane Change and Merge Maneuvers for Connected and Automated Vehicles: A Survey

David M. Bevly, Xiaolong Cao, Mikhail Gordon et al. · IEEE Transactions on Intelligent Vehicles · 2016 · 268 citations

Engineering, Vehicle Control, Advanced Driver-assistance System +16

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

Robert N. M. Watson, Jonathan Woodruff, Peter G. Neumann et al. · 2015 · 257 citations · Full text

Software Maintenance, Engineering, Computer Architecture +23

The CHERI capability model

Jonathan Woodruff, Robert N. M. Watson, David Chisnall et al. · ACM SIGARCH Computer Architecture News · 2014 · 209 citations

Engineering, Computational Model Theory, Computer Architecture +22

The CHERI capability model: Revisiting RISC in an age of risk

Jonathan Woodruff, Robert N. M. Watson, David Chisnall et al. · 2014 · 155 citations

Engineering, Computer Architecture, Risk Analysis +28

Beyond the PDP-11

David Chisnall, Colin Rothwell, Robert N. M. Watson et al. · 2015 · 73 citations

Engineering, Advanced Computing, Computer Architecture +18