Andrew Lawrence

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 5

Top Topics

Safety Analysis

Traffic Management

Top Venues

Sci. Comput. Program.

Publications

Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner
A Tool-Chain for the Verification of Geographic Scheme Data. RSSRail (2023)
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) (2022)
Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
Verification of the European Rail Traffic Management System in Real-Time Maude. Sci. Comput. Program. 154 (2018)
Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. FTSCS (2015)
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger
Extracting verified decision procedures: DPLL and Resolution. Log. Methods Comput. Sci. 11 (1) (2015)
Andrew Lawrence, Ulrich Berger, Monika Seisenberger
Extracting a DPLL Algorithm. MFPS (2012)