Extracting a DPLL Algorithm. - Andrew Lawrence; Ulrich Berger 001; Monika Seisenberger (MFPS, 2012)

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. - Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (FTSCS, 2015)

Extracting verified decision procedures: DPLL and Resolution. - Ulrich Berger 001; Andrew Lawrence; Fredrik Nordvall Forsberg; Monika Seisenberger (Log. Methods Comput. Sci., 2015)

Verification of the European Rail Traffic Management System in Real-Time Maude. - Ulrich Berger 001; Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (Sci. Comput. Program., 2018)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. - Monika Seisenberger; Maurice H. ter Beek; Xiuyi Fan; Alessio Ferrari 001; Anne E. Haxthausen; Phillip James; Andrew Lawrence; Bas Luttik; Jaco van de Pol; Simon Wimmer 001 (ISoLA (4), 2022)

A Tool-Chain for the Verification of Geographic Scheme Data. - Madhusree Banerjee; Victor Cai; Sunitha Lakshmanappa; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger; Thomas Werner (RSSRail, 2023)