| Coupling petri nets with deterministic formalisms using co-simulation DPY Lawrence, C Gomes, J Denil, H Vangheluwe, D Buchs 2016 Symposium on Theory of Modeling and Simulation (TMS-DEVS), 1-8, 2016 | 11 | 2016 |
| Considering execution environment resilience: a white-box approach S Klikovits, DPY Lawrence, M Gonzalez-Berges, D Buchs Software Engineering for Resilient Systems: 7th International Workshop …, 2015 | 5 | 2015 |
| Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems D Lawrence, D Buchs, W Armin Software Engineering for Resilient Systems, 6th International Workshop …, 2014 | 2 | 2014 |
| Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned S Klikovits, DPY Lawrence, M Gonzalez-Berges, D Buchs Software Engineering for Resilient Systems: 8th International Workshop …, 2016 | 1 | 2016 |
| Introducing Formal Verification with LEGO R O D Lawrence, D Racordon, M Colange, S Hostettler, A Linard, EL Bóbeda, ... 2nd workshop on Fun With Formal Methods, Vienna, Austria, 2014 | 1 | 2014 |
