Concepedia

Kyriakos Christou

KC

2

Publications

32

Citations

2

H-Index

2008

Active since

Affiliations

University of Cyprus(Current)

Kyriakos Christou is an author at University of Cyprus specializing in design for testing, formal methods, and reliability engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingHardware SecurityDesign For TestingFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2008–2010

2

Publications

2

A Novel SBST Generation Technique for Path-Delay Faults in Microprocessors Exploiting Gate- and RT-Level Descriptions

Kyriakos Christou, M.K. Michael, Paolo Bernardi et al. · Proceedings - IEEE VLSI Test Symposium/Proceedings of the ... IEEE VLSI Test Symposium · 2008 · 19 citations

Path-delay Faults, Engineering, Verification +27

Identification of critical primitive path delay faults without any path enumeration

Kyriakos Christou, Maria K. Michael, Stelios Neophytou · 2010 · 13 citations

Engineering, Various Criticality Thresholds, Verification +18

Rows per page

1–2 of 2