Towards easing the diagnosis of bugs in OS code. - Henrik Stuart; René Rydhof Hansen; Julia L. Lawall; Jesper Andersen; Yoann Padioleau; Gilles Muller (PLOS@SOSP, 2007)

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. - Julia L. Lawall; Julien Brunel; Nicolas Palix; René Rydhof Hansen; Henrik Stuart; Gilles Muller (DSN, 2009)

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. - Julia L. Lawall; Julien Brunel; Nicolas Palix; René Rydhof Hansen; Henrik Stuart; Gilles Muller (Softw. Pract. Exp., 2013)