Sprinkle J.: Metamodel Based Model Migration, Area Paper, Vanderbilt University, Electrical Engineering, February 5, 2003.

Gray J.: Aspect-Oriented Domain-Specific Modeling: A Generative Approach Using a Meta-weaver , Ph. D. Dissertation, Vanderbilt University, Electrical Engineering, March 20, 2002.

Pasternak T.: Heirarchical Control Reconfiguration for a Class of Hybrid Systems, PhD Dissertation, Vanderbilt University, EECS, August, 2002.

Agrawal A.: Hardware Modeling and Simulation of Embedded Applications, Master's Thesis, Vanderbilt University, Electrical Engineering & Computer Science, May, 2002.

Pathak S.: Framework Independent Agent Modeling Environment, Master's Thesis, Vanderbilt University, Electrical and Computer Engineering, May 11, 2001.

Neema S.: System Level Synthesis of Adaptive Computing Systems, Ph. D. Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering, May 11, 2001.

Pasternak T.: Extended Relational Models for Diagnosis, Master's Thesis, Vanderbilt University, EECS, August, 2000.

Sprinkle J.: Model Integrated Program Synthesis of Agent Interaction Protocols, Masters Thesis, Vanderbilt, Electrical Engineering, August, 2000.

Davis J.: Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, May, 2000.

Nelson T.: Implementation of Image Processing Algorithms on FPGA Hardware, Master's Thesis, Vanderbilt University, Electrical Engineering, 2000.

Wang J.: Visual Specification of Model Interpreters, Master's Thesis, Vanderbilt University, 2000.

Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Ph. D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, March, 1999.

Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Area Paper, Vanderbilt University, Electrical Engineering and Computer Science, October, 1998.

Moore M.: Model-Integrated Program Synthesis for Real-Time Image Processing, Ph. D. Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering, February, 1997.

Scott J.: Method for Modeling and Verification of Real-Time Systems, Master's Thesis, Vanderbilt University, Electrical Engineering, 1996.

Davis J.: A Model Based Data Validation System, Master's Thesis, Vanderbilt University, Electrical Engineering, 1995.

Ledeczi A.: Parallel Systems with Flexible Topology, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, 1995.

Bapty T.: Model-Based Synthesis of Parallel Real-Time Systems, Ph.D. Dissertation, Vanderbilt University, , 1995.

Abbott B.: Model-Based Automatic Program Synthesis, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, 1994.

Misra A.: Sensor-Based Diagnosis of Dynamical Systems, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, 1994.

Blokland W.: Structurally Adaptive Systems, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, 1991.

Abbott B., Bapty T.: Real-Time Turbine Engine Data Visualization, Transputer Research Applications, DL Fielding, IOS Press, 1990.ISBN 90 5199 040 5, 1990.

Karsai G.: Declarative Programming Techniques for Engineering, Ph. D. Dissertation, Vanderbilt University, EE, 1988.

Biegl C.: Design and Implementation of an Execution Environment for Knowledge-Based Systems, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, 1988.