A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. - Mike Bartley; Darren Galpin; Tim Blackmore (DAC, 2002)

Modelling hardware verification concerns specified in the e language: an experience report. - Darren Galpin; Cormac Driver; Siobhán Clarke (AOSD, 2009)

Functional Safety Standards Committee: Results and Perspectives. - Riccardo Mariani; Jyotika Athavale; Andrea Matteucci; Darren Galpin; Rob Schaaf (Computer, 2023)

Functional Safety Standards: IEEE P2851 Road Map. - Jyotika Athavale; Darren Galpin (Computer, 2025)