Current Deployment: MP version 4
MP version 3.5:
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.
Giammarco, Kristin, and Len Troncale. "Modeling Isomorphic Systems Processes Using Monterey Phoenix." Systems 6, no. 2: 18. (2018).
Giammarco, K. "Verification and Validation (V&V) of System Behavior Specifications." Interim Technical Report; Systems Engineering Research Center: Hoboken, NJ, USA, 2017.
Auguston, Mikhail, Kristin Giammarco, W. Clifton Baldwin, Ji’on Crump, and Monica Farah-Stapleton. Modeling and verifying business processes with Monterey Phoenix. Procedia Computer Science 44 (2015): 345-353.
Giammarco, Kristin, and Mikhail Auguston. Well, you didn’t say not to! A formal systems engineering approach to teaching an unruly architecture good behavior. Procedia Computer Science 20 (2013): 277-282.
Giammarco, Kristin. "Practical modeling concepts for engineering emergence in systems of systems." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.
Quartuccio, John, Kristin Giammarco, and Mikhail Auguston. "Identifying decision patterns using Monterey Phoenix." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.
Quartuccio, John, Kristin Giammarco, and Mikhail Auguston. "Deriving stochastic properties from behavior models defined by Monterey Phoenix." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.
Giammarco, Kristin, Kathleen Giles, and Clifford A. Whitcomb. "Comprehensive use case scenario generation: An approach for modeling system of systems behaviors." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.
Giammarco, Kristin, Mikhail Auguston, W. Clifton Baldwin, Ji’on Crump, and Monica Farah-Stapleton. Controlling design complexity with the Monterey Phoenix approach. Procedia Computer Science 36 (2014): 204-209.
Song, Songzheng, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen. Formalizing and verifying stochastic system architectures using Monterey Phoenix, Software & Systems Modeling, Springer Berlin Heidelberg, April 2014, pp.1-19
Jiexin Zhang ; Dong, Jin Song ; Yang Liu ; Auguston, Mikhail ; Jun Sun, Using Monterey Phoenix to Formalize and Verify System Architectures, 19th Asia-Pacific Software Engineering Conference APSEC 2012, December 4 – 7, 2012, Hong Kong
Rivera, Joey; Auguston, Mikhail; Finkbine, Ronald, Applying Architecture Modeling Methodology to the Naval Gunship Software Safety Domain, Naval Postgraduate School, 2011, Monterey, CA.
Auguston, M., Monterey Phoenix, or how to make software architecture executable, OOPSLA’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.
Pilcher, Joanne D. “Generation of department of defense architecture framework (DODAF) models using the Monterey Phoenix behavior modeling approach.” Master's Thesis, Naval Postgraduate School, September 2015.
Hunt, Spencer S. “Model based systems engineering in the execution of search and rescue operations.” Master's Thesis, Naval Postgraduate School, September 2015.
Shields, Timothy L. "Generating GraphML XML Files for Graph Visualization of Architectures and Event Traces for the Monterey Phoenix Program ." Master's Thesis, Naval Postgraduate School, September 2012.
Rivera, Joey. "Software System Architecture Modeling Methodology for Naval Gun Weapon Systems." Doctoral Dissertation, Naval Postgraduate School, December 2010.
Thrutchley, Richard (2018). "Applications of Monterey Phoenix for nuclear power stations," mentored by Kristin Giammarco (NPS) and Michael Glazoff (INL).
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.
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.