David P. Y. Lawrence

According to our database, David P. Y. Lawrence authored at least 4 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Coupling petri nets with deterministic formalisms using co-simulation.

David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.

Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

2015

Considering Execution Environment Resilience: A White-Box Approach.

Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs

Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

2014

Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems.

David P. Y. Lawrence, Didier Buchs, Armin Wellig

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014