Koala: a platform for OS-level power management. - David C. Snowdon; Etienne Le Sueur; Stefan M. Petters; Gernot Heiser (EuroSys, 2009)

Automatic device driver synthesis with termite. - Leonid Ryzhyk; Peter Chubb; Ihor Kuz; Etienne Le Sueur; Gernot Heiser (SOSP, 2009)

Slow Down or Sleep, That Is the Question. - Etienne Le Sueur; Gernot Heiser (USENIX ATC, 2011)

RapiLog: reducing system complexity through verification. - Gernot Heiser; Etienne Le Sueur; Adrian Danis; Aleksander Budzynowski; Tudor-Ioan Salomie; Gustavo Alonso (EuroSys, 2013)