Darren Galpin

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 1

Top Topics

Widely Accepted

Top Venues

Publications

Riccardo Mariani, Jyotika Athavale, Andrea Matteucci, Darren Galpin, Rob Schaaf
Functional Safety Standards Committee: Results and Perspectives. Computer 56 (2) (2023)
Darren Galpin, Cormac Driver, Siobhán Clarke
language: an experience report. AOSD (2009)
Mike Bartley, Darren Galpin, Tim Blackmore
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. DAC (2002)