Page tree
Skip to end of metadata
Go to start of metadata

Just Getting Started - Recommended Reading

MP Presentations & Invited Talks

Additional MP Literature

Master's Theses and Dissertations

STEM Internship Projects

2015 Best Paper Award - Journal of Software and Systems Modeling

Song, Songzheng, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen. "Formalizing and verifying stochastic system architectures using Monterey Phoenix."  Software & Systems Modeling  15, no. 2 (2016): 453-471.

Presentation Recordings

Recorded presentation for Verification and validation of behavior models using lightweight formal methods, 15th Annual Conference on Systems Engineering Research presentation, Redondo Beach, CA. March 23-25, 2017.

Recorded presentation for Kristin Giammarco, Monica Farah-Stapleton, Mikhail Auguston, “ Behavioral Modeling of System Architectures ”,presented at the INCOSE System of Systems Working Group Webinar on January 17, 2014.

Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense.

  • No labels