Recent Graduates

PhD Graduates

  • W.E. McUmber: ``A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development'' (PhD, August 2000), Adjunct Faculty, Michigan State University.

  • Y.~Chen : ``Automating Component-Based Software Development,'' (PhD, August 1999) Member of Technical Staff, Cadence, Waltham, Massachusetts.

  • G.~C.~Gannod : ``An Approach to Reverse Engineering and Re-engineering based on Formal Methods and Object-Oriented Analysis Techniques'' (PhD, August 1998), Assistant Professor at Arizona State University.

  • E.~Y.~Wang : ``Integrating Informal and Formal Approaches to Object-Oriented Analysis and Design'' (PhD, March 1998), Lucent Technologies, Ohio.

  • J.~L.~Sharnowski : ``The Integration of an On-line Parallel Debugger with a Visualization Methodology for Modeling Expected Behavior'' (PhD, May 1995), Campbell Services, Inc., Michigan

  • D.~R.~Chesney : ``Matrix-based Representations of Loop Transformations'' (PhD, February 1995), University of Michigan, Ann Arbor, Michigan.

  • S.~W.~Turner : ``Processor Scheduling in a Distributed-Memory Computing Environment,'' co-advisor with L.~M.~Ni, (PhD, January 1995), Assistant Professor at University of Michigan-Flint, Michigan.

  • D.~F.~Robinson : ``Scalable Multicast Communication in Massively Parallel Computers'' co-advisor with P.~K.~McKinley, (PhD, August 1994), Associate Professor at Quincy University, Illinois.

  • J.~J.~Jeng : ``Applying Formal Methods to Software Reuse'' (PhD, December 1993), IBM T. J. Watson, New York.

    • MS Graduates

    MS Thesis

  • Sascha Konrad: ``Defining and Using Requirements Patterns for Embedded Systems,'' (MS, August 2003). 
  • Gretel Coombs : ``Object-Oriented Design of Embedded Systems with Translation to VHDL'' (MS, June 1998).

  • Amy~Christensen : ``A Three-Pronged Approach to the Development of Software-Based Safety Critical Systems'' (MS, July 1995).

  • Steve~R.~Schafer : ``Configuration Management Based on Software Component Locality and System Structure'' (MS, May 1995).

  • Enoch~Y.~Wang : ``A Graphical Environment for a Formal Approach to Object-Oriented Analysis Modeling'' (MS, May 1995).

  • Paul~Fraley : ``Bridging the Gap Between Object Oriented Models %and Implementation'' (MS, expected August 1995).

  • Gerald~C.~Gannod : ``The Application of Formal Methods to the Reverse Engineering of Imperative Program Code'' (MS, May 1994).

  • William~E.~McUmber : ``Temporal Specification Systems for Distributed Systems'' (MS, August 1993).

    • MS Projects

  • Gary~Holms : ``Reverse Engineering and Configuration Management Framework for Object-Oriented Systems'' (MS, May 1998).

  • Shu~Yi~Lin : ``A Generic Postscript Generation Library for Window Systems'' (MS, August 1995).

  • April~Lee : ``A Framework for Integrating Databases and Geographical Information Systems'' (MS, August 1995).

  • Paul~E.~Fraley : ``Spectacle II: A Toolkit for Graphical Specification Editors'' (MS, May 1995).

  • Michelle.~Morin : ``Graphical Development Environment for Larch Shared and Interface Languages'' (MS, April 1994).

  • Michael.~Laux : ``An Integrated Development Environment for Formal Specifications'' (MS, August 1993).

  • Tom~Danieli : ``Construction of Formal Specifications from an Object-oriented Decomposition of Informal Problem Descriptions'' (MS, August 1992).

  • Doug~Pierce : ``Intelligent Browser for Formal Specifications of Software Components'' (MS, August 1991).