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

Just Getting Started - Recommended Reading


Origins of MP

  • Auguston, M., Software Architecture Built from Behavior Models, ACM SIGSOFT Software Engineering Notes, 34:5, 2009
  • Auguston, M., Monterey Phoenix, or how to make software architecture executableOOPSLA’09/Onward conference, OOPSLA Companion, October 2009, pp.1031-1038

  • Auguston, M.,  Software Architecture Built from Behavior Models, Naval Postgraduate School, 2009, Monterey, CA

  • Auguston, M., Michael, B., Shing, M., 2006, Environment Behavior Models for Automation of Testing and Assessment of System Safety, Information and Software Technology, Elsevier, Vol. 48, Issue 10 , October 2006, pp. 971-980

  • Auguston, M., Jeffrey, C., Underwood, S., 2002, A Framework for Automatic Debugging, in Proceedings of the 17th IEEE International Conference on Automated Software Engineering, September 23-27, 2002, Edinburgh, UK, IEEE Computer Society Press, pp.217-222.

  • Auguston, M., 1995, Program Behavior Model Based on Event Grammar and its Application for Debugging Automation, in Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint-Malo, France, May 1995.

  • Auguston, M., 1991, FORMAN - Program Formal Annotation Language, in Proceedings of 5th Israel Conference on Computer Systems and Software Engineering, Herclia, May 27-28, IEEE Computer Society Press, 1991, pp.149-154.

MP Presentations & Invited Talks



Additional MP Literature



Master's Theses and Dissertations



STEM Internship Projects

Best Paper Awards 


2017 Best Transition in Systems Engineering Research - Best Paper Award at 15th Annual Conference on Systems Engineering Research (CSER)

Giammarco, Kristin and Kathleen Giles. "Verification and validation of behavior models using lightweight formal methods." In Disciplinary convergence in systems engineering research, pp. 431-447. Springer, Cham, 2018.

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.

















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