David P. Y. Lawrence

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 3

Top Topics

Programming Language

Execution Environment

Top Venues

SpringSim (TMS-DEVS)

Publications

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)
David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs
Coupling petri nets with deterministic formalisms using co-simulation. SpringSim (TMS-DEVS) (2016)
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
Considering Execution Environment Resilience: A White-Box Approach. SERENE (2015)
David P. Y. Lawrence, Didier Buchs, Armin Wellig
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. SERENE (2014)