Darren Galpin

According to our database, Darren Galpin authored at least 3 papers between 2002 and 2023.

Collaborative distances:

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

2023

Functional Safety Standards Committee: Results and Perspectives.

Riccardo Mariani, Jyotika Athavale, Andrea Matteucci, Darren Galpin, Rob Schaaf

Computer, February, 2023

2009

Modelling hardware verification concerns specified in the <i>e</i> language: an experience report.

Darren Galpin, Cormac Driver, Siobhán Clarke

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2002

A comparison of three verification techniques: directed testing, pseudo-random testing and property checking.

Mike Bartley, Darren Galpin, Tim Blackmore

Proceedings of the 39th Design Automation Conference, 2002