Darren Galpin

2009
2	EE	Darren Galpin, Cormac Driver, Siobhán Clarke: Modelling hardware verification concerns specified in the e language: an experience report. AOSD 2009: 207-212
2002
1	EE	Mike Bartley, Darren Galpin, Tim Blackmore: A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. DAC 2002: 819-823

Coauthor Index

1	Mike Bartley	[1]
2	Tim Blackmore	[1]
3	Siobhán Clarke	[2]
4	Cormac Driver	[2]

Colors in the list of coauthors