Formal virtualization requirements for the ARM architecture. - Niels Penneman; Danielius Kudinskas; Alasdair Rawsthorne; Bjorn De Sutter; Koen De Bosschere (J. Syst. Archit., 2013)

Evaluation of dynamic binary translation techniques for full system virtualisation on ARMv7-A. - Niels Penneman; Danielius Kudinskas; Alasdair Rawsthorne; Bjorn De Sutter; Koen De Bosschere (J. Syst. Archit., 2016)