Modeling uncertainty in RC timing analysis. - Cheryl Harkness; Daniel P. Lopresti (ICCAD, 1989)

VLSI Placement Using Uncertain Costs. - Cheryl Harkness; Daniel P. Lopresti (ICCAD, 1990)

Interval methods for modeling uncertainty in RC timing analysis. - Cheryl Harkness; Daniel P. Lopresti (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)

Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. - Cheryl Harkness; Elizabeth Wolf (Formal Methods Syst. Des., 1994)