| 2015 | MODELS | Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). | Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen |
| 2012 | APSEC | Using Monterey Phoenix to Formalize and Verify System Architectures. | Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong |
| 2009 | OOPSLA | Monterey Phoenix, or how to make software architecture executable. | Mikhail Auguston |
| 2008 | MODELS | A Security Domain Model for Implementing Trusted Subject Behaviors. | Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin |
| 2008 | PLDI | A security domain model to assess software for exploitable covert channels. | Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin |
| 2006 | SEKE | QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems. | Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan, Andrew M. Olson, Mikhail Auguston |
| 2005 | SMC | Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. | Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen |
| 2005 | SAC | Marshaling and unmarshaling models using the entity-relationship model. | Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2005 | SAC | Two-level assurance of QoS requirements for distributed real-time and embedded systems. | Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2005 | SEKE | Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach. | Shih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2005 | RSP | Test Automation and Safety Assessment in Rapid Systems Prototyping. | Mikhail Auguston, James Bret Michael, Man-tak Shing |
| 2004 | EDOC | Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components. | Wei Zhao, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2004 | ICWS | A Meta-Modeling Approach to Web Services. | Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2004 | SEKE | Grammatically Interpreting Feature Compositions. | Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Raje, Mikhail Auguston, Carol C. Burt, Andrew M. Olson |
| 2003 | EDOC | Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control. | Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2003 | SEC | An Experiment in Software Decoy Design. | James Bret Michael, Georgios Fragkos, Mikhail Auguston |
| 2002 | EDOC | Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific Models. | Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2002 | ICFEM | Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. | Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt |
| 2002 | OOPSLA | A translation approach to component specification. | Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson |
| 2002 | SEKE | Formal specification of generative component assembly using two-level grammar. | Barrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson |
| 2001 | RSP | DCAPS - Architecture for Distributed Computer Aided Prototyping System. | Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin |
| 1995 | SEKE | Programming language RIGAL as a compiler writing tool. | Mikhail Auguston |
| 1994 | SEKE | A language for debugging automation. | Mikhail Auguston |
| 1993 | PDP | PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications. | Mikhail Auguston, Peter Fritzson |
| 1978 | MFCS | Writing and Verifying Sequential Files Updating Programs. | Mikhail Auguston |