Andrew Lawrence

According to our database, Andrew Lawrence authored at least 6 papers between 2012 and 2023.

Collaborative distances:

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

2023

A Tool-Chain for the Verification of Geographic Scheme Data.

Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2022

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2018

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

Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Sci. Comput. Program., 2018

2015

Extracting verified decision procedures: DPLL and Resolution.

Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger

Log. Methods Comput. Sci., 2015

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

Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2012

Extracting a DPLL Algorithm.

Andrew Lawrence, Ulrich Berger, Monika Seisenberger

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012