He was awarded the 1998 ACM Paris Kanellakis Theory and Practice Award for contributing to the development of symbolic model checking, the 1989 IEEE W . R . G . Baker Prize Paper Award for the best paper appearing in any IEEE publication during the preceding year, as well as the 2007 IEEE Emanuel R . Piore Award.