N. Rouquette

Autonomy and software technology on NASA's Deep Space One

Douglas E. Bernard, Richard J. Doyle, E. Riedel, 1999, IEEE Intell. Syst..

Quantitative Diagnosis of Continuous-Valued, Stead-State Systems

N. Rouquette, 1995 .

A Flexible Statechart-to-Model-Checker Translator

N. Rouquette, M. Feather, Julia Dunphy, 2000 .

Position Paper for WIFT98

N. Rouquette, M. Feather, Julia Dunphy, 1998 .

Abstract for 1999 Rational Software User Conference

N. Rouquette, M. Feather, Yu-Wen Tung, 1999 .

From cradle to grave: an architecture substrate for software lifecycles

N. Rouquette, 2003 .