Manuel Gonzalez-Berges

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Programming Language

Simulated Annealing Algorithm

Execution Environment

Top Venues

Publications

Filippo Tilaro, Benjamin Bradu, Manuel Gonzalez-Berges, Mikhail Roshchin
An expert knowledge based methodology for online detection of signal oscillations. CIVEMSA (2017)
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. SERENE (2016)
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
Considering Execution Environment Resilience: A White-Box Approach. SERENE (2015)