Efficient Implementation of the bare-metal Hypervisor MetalSVM for the SCC. - Pablo Reble; Jacek Galowicz; Stefan Lankes; Thomas Bemmerl (MARC Symposium, 2012)

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. - Hanno Becker; Juan Manuel Crespo; Jacek Galowicz; Ulrich Hensel; Yoichi Hirai; César Kunz; Keiko Nakata 001; Jorge Luis Sacchini; Hendrik Tews; Thomas Tuerk (FM, 2016)