Andrew Lawrence

Extracting a DPLL Algorithm

Ulrich Berger, Monika Seisenberger, Andrew Lawrence, 2012, MFPS.

Extracting verified decision procedures: DPLL and Resolution

Ulrich Berger, Monika Seisenberger, Fredrik Nordvall Forsberg, 2015, Log. Methods Comput. Sci..

Verification of the European Rail Traffic Management System in Real-Time Maude

Ulrich Berger, Monika Seisenberger, Markus Roggenbach, 2017, Sci. Comput. Program..

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude

Monika Seisenberger, Markus Roggenbach, Phillip James, 2015, FTSCS.

»Timber Wave« – Zur Konstruktion der temporären Holzskulptur / “Timber Wave” – The Construction of the Temporary Wooden Sculpture

Andrew Lawrence, 2014 .