Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. - David P. Y. Lawrence; Didier Buchs; Armin Wellig (SERENE, 2014)

Considering Execution Environment Resilience: A White-Box Approach. - Stefan Klikovits; David P. Y. Lawrence; Manuel Gonzalez-Berges; Didier Buchs (SERENE, 2015)

Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. - Stefan Klikovits; David P. Y. Lawrence; Manuel Gonzalez-Berges; Didier Buchs (SERENE, 2016)

Coupling petri nets with deterministic formalisms using co-simulation. - David P. Y. Lawrence; Cláudio Gomes 001; Joachim Denil; Hans Vangheluwe; Didier Buchs (SpringSim (TMS-DEVS), 2016)