Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Darren Galpin
Observed name:
D. Galpin
Institution:
IEEE Computer Society
Observed institutions:
IEEE Computer Society,
Infineon Technologies (United Kingdom)
ORCID:
0000-0001-7898-4140
Observed ORCID:
0000-0001-7898-4140
OpenAlex ID:
A5071800690
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
2002
·
M.G. Bartley
, D. Galpin
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
25
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
2002
·
Mike G. Bartley
, Darren Galpin
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
8
Modelling hardware verification concerns specified in the e language: an experience report
2009
·
Darren Galpin
, Cormac Driver
, et al.
·
International Conference on Aspect-Oriented Software Development (AOSD)
·
5
Functional Safety Standards Committee: Results and Perspectives
2023
·
Riccardo Mariani
, Jyotika Athavale
, et al.
·
Computer
·
2
PDF
Functional Safety Standards: IEEE P2851 Road Map
2025
·
Jyotika Athavale
, Darren Galpin
·
Computer
·
1
Building Trusted Data Spaces: The IEEE Computer Society Trusted Data Spaces Standards Committee from Architecture to Assurance and Interoperable Governance
2026
·
Sha Wei
, Fan Gao
, et al.
·
Computer
A Tale of the “Well-Known Standard”
2026
·
Jukka Ruohonen
, Darren Galpin
·
Computer
The Standards Landscape in the IEEE Computer Society
2026
·
Darren Galpin
·
Computer
Standards—An Introduction
2026
·
Darren Galpin
·
Computer
Stress tests [reusable design verification components]
2004
·
D. Galpin
·
Electronic Systems and Software
Show more works
View as search
Works count:
13
Citation count:
41
H-index:
3
I10-index:
1
Year
Topic
Type
