Creating Executable Models of Influence Nets with Colored Petri Nets. - Lee W. Wagenhals; Insub Shin; Alexander H. Levis (Int. J. Softw. Tools Technol. Transf., 1998)

Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation. - Michael E. Shin; Alexander H. Levis; Lee W. Wagenhals; Dae-Sik Kim (Int. J. Softw. Eng. Knowl. Eng., 2005)

Planning temporal events using point-interval logic. - Abbas K. Zaidi; Lee W. Wagenhals (Math. Comput. Model., 2006)

Course of Action Analysis in a Cultural Landscape Using Influence Nets. - Lee W. Wagenhals; Alexander H. Levis (CISDA, 2007)

Toward executable architectures to support evaluation. - Lee W. Wagenhals; Stewart W. Liles; Alexander H. Levis (CTS, 2009)

Service Oriented Architectures, the DoD Architecture Framework 1.5, and Executable Architectures. - Lee W. Wagenhals; Alexander H. Levis (Syst. Eng., 2009)

Multi-modeling of adversary behaviors. - Alexander H. Levis; Lee W. Wagenhals; Abbas K. Zaidi (ISI, 2010)