In Print

Kim. J, Jones. K, Horowtiz. M, "Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch", IEEE Trans. Circuits and Systems, In print. [abstract]

Bishop PG, Bloomfield RE, Littlewood B, Povyakalo A, Wright DR, "Towards a Formalism for Conservative Claims about the Dependability of Software-Based Systems", IEEE Transactions on Software Engineering, In print. [abstract]