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)

An expert knowledge based methodology for online detection of signal oscillations. - Filippo Tilaro; Benjamin Bradu; Manuel Gonzalez-Berges; Mikhail Roshchin (CIVEMSA, 2017)