Writing and Verifying Sequential Files Updating Programs. - Mikhail Auguston (MFCS, 1978)

Programming language RIGAL as a compiler writing tool. - Mikhail Auguston (ACM SIGPLAN Notices, 1990)

RIGAL - a Programming Language for Compiler Writing. - Mikhail Auguston (Baltic Computer Science, 1991)

PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications. - Mikhail Auguston; Peter Fritzson (PDP, 1993)

A language for debugging automation. - Mikhail Auguston (SEKE, 1994)

Using assertions in declarative and operational models for automated debugging. - Peter Fritzson; Mikhail Auguston; Nahid Shahmehri (J. Syst. Softw., 1994)

Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. - Mikhail Auguston (AADEBUG, 1995)

AUI - the Debugger and Assertion Checker for the Awk Programming Language. - Mikhail Auguston; Subhankar Banerjee; Manish Mamnani; Ghulam Nabi; Juris Reinfelds; Ugis Sarkans; Ivan Strnad (AADEBUG, 1995)

Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. - Mikhail Auguston; Peter Fritzson (Int. J. Softw. Eng. Knowl. Eng., 1996)

Assertions for Dynamic Shape Analysis of List Data Structures. - Mikhail Auguston; Miu Har Hon (AADEBUG, 1997)

Iterative Constructs in the Visual Data Flow Language. - Mikhail Auguston; Alfredo Delgado (VL, 1997)

Assertion checker for the C programming language based on computations over event traces. - Mikhail Auguston (AADEBUG, 2000)

DCAPS - Architecture for Distributed Computer Aided Prototyping System. - Luqi; Valdis Berzins; Jun Ge; Man-tak Shing; Mikhail Auguston; Barrett R. Bryant; Boon Kwang Kin (IEEE International Workshop on Rapid System Prototyping, 2001)

An Architecture for the UniFrame Resource Discovery Service. - Nanditha N. Siram; Rajeev R. Raje; Andrew M. Olson; Barrett R. Bryant; Carol C. Burt; Mikhail Auguston (SEM, 2002)

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 (EDOC, 2002)

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 (ICFEM, 2002)

A Framework for Automatic Debugging. - Mikhail Auguston; Clinton Jeffery; Scott Underwood (ASE, 2002)

A translation approach to component specification. - Fei Cao; Barrett R. Bryant; Wei Zhao 002; Carol C. Burt; Rajeev R. Raje; Mikhail Auguston; Andrew M. Olson (OOPSLA Companion, 2002)

Towards Fully Automatic Execution Monitoring. - Clinton Jeffery; Mikhail Auguston; Scott Underwood (RISSEF, 2002)

Formal specification of generative component assembly using two-level grammar. - Barrett R. Bryant; Carol C. Burt; Mikhail Auguston; Rajeev R. Raje; Andrew M. Olson (SEKE, 2002)

A quality-of-service-based framework for creating distributed heterogeneous software components. - Rajeev R. Raje; Barrett R. Bryant; Andrew M. Olson; Mikhail Auguston; Carol C. Burt (Concurr. Comput. Pract. Exp., 2002)

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 (EDOC, 2003)

An Experiment in Software Decoy Design. - James Bret Michael; Georgios Fragkos; Mikhail Auguston (SEC, 2003)

Automating Feature-Oriented Domain Analysis. - Fei Cao; Barrett R. Bryant; Carol C. Burt; Zhisheng Huang; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston (Software Engineering Research and Practice, 2003)

A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization - Mikhail Auguston; Clinton Jeffery; Scott Underwood (CoRR, 2003)

Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components. - Wei Zhao 002; Barrett R. Bryant; Carol C. Burt; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston (EDOC, 2004)

A Meta-Modeling Approach to Web Services. - Fei Cao; Barrett R. Bryant; Wei Zhao 002; Carol C. Burt; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston (ICWS, 2004)

Grammatically Interpreting Feature Compositions. - Wei Zhao 002; Barrett R. Bryant; Fei Cao; Rajeev R. Raje; Mikhail Auguston; Carol C. Burt; Andrew M. Olson (SEKE, 2004)

A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling. - Fei Cao; Barrett R. Bryant; Carol C. Burt; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston (SC, 2004)

Formal Methods for Quality of Service Analysis in Component-Based Distributed Computing. - Chunmin Yang; Barrett R. Bryant; Carol C. Burt; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston (Trans. SDPS, 2004)

QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems. - Shih-Hsi Liu; Barrett R. Bryant; Jeffrey G. Gray; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston (ECBS, 2005)

A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems. - Shih-Hsi Liu; Barrett R. Bryant; Mikhail Auguston; Jeff Gray 001; Rajeev R. Raje; Mihran Tuceryan (Monterey Workshop, 2005)

Test Automation and Safety Assessment in Rapid Systems Prototyping. - Mikhail Auguston; James Bret Michael; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2005)

Marshaling and unmarshaling models using the entity-relationship model. - Fei Cao; Barrett R. Bryant; Wei Zhao 002; Carol C. Burt; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston (SAC, 2005)

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 (SAC, 2005)

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 (SEKE, 2005)

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 (SMC, 2005)

A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm. - Fei Cao; Barrett R. Bryant; Rajeev R. Raje; Andrew M. Olson; Mikhail Auguston; Wei Zhao 002; Carol C. Burt (J. Univers. Comput. Sci., 2005)

Environment behavior models for scenario generation and testing automation. - Mikhail Auguston; James Bret Michael; Man-tak Shing (ACM SIGSOFT Softw. Eng. Notes, 2005)

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 (SEKE, 2006)

Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems. - Harsha Tummala; Mikhail Auguston; James Bret Michael; Man-tak Shing; David Little; Zachary Pace (SoSE, 2006)

Environment behavior models for automation of testing and assessment of system safety. - Mikhail Auguston; James Bret Michael; Man-tak Shing (Inf. Softw. Technol., 2006)

A design pattern for using non-developmental items in real-time Java. - Thomas W. Otani; Mikhail Auguston; Thomas S. Cook; Doron Drusinsky; James Bret Michael; Man-tak Shing (JTRES, 2007)

Synthesis of Monitors for Real-Time Analysis of Reactive Systems. - Mikhail Auguston; Mark B. Trakhtenbrot (Pillars of Computer Science, 2008)

A Security Domain Model for Implementing Trusted Subject Behaviors. - Alan B. Shaffer; Mikhail Auguston; Cynthia E. Irvine; Timothy E. Levin (MODSEC@MoDELS, 2008)

A security domain model to assess software for exploitable covert channels. - Alan B. Shaffer; Mikhail Auguston; Cynthia E. Irvine; Timothy E. Levin (PLAS, 2008)

Guest Editor's Introduction to the Special Section on the 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06). - Mikhail Auguston (Softw. Qual. J., 2008)

Monterey Phoenix, or how to make software architecture executable. - Mikhail Auguston (OOPSLA Companion, 2009)

Software architecture built from behavior models. - Mikhail Auguston (ACM SIGSOFT Softw. Eng. Notes, 2009)

Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. - Xian Zhang 007; Yang Liu 003; Mikhail Auguston (SSIRI, 2010)

Using Monterey Phoenix to Formalize and Verify System Architectures. - Jiexin Zhang 002; Yang Liu 003; Mikhail Auguston; Jun Sun 001; Jin Song Dong (APSEC, 2012)

Behavioral Modeling of Software Intensive System Architectures. - Monica Farah-Stapleton; Mikhail Auguston (Complex Adaptive Systems, 2013)

Well, You didn't Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior. - Kristin Giammarco; Mikhail Auguston (Complex Adaptive Systems, 2013)

Controlling Design Complexity with the Monterey Phoenix Approach. - Kristin Giammarco; Mikhail Auguston; W. Clifton Baldwin; Ji'on Crump; Monica Farah-Stapleton (Complex Adaptive Systems, 2014)

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). - Songzheng Song; Yang Liu 003; Mikhail Auguston; Jun Sun 001; Jin Song Dong; Tieming Chen (MoDELS, 2015)

Formalizing and verifying stochastic system architectures using Monterey Phoenix. - Songzheng Song; Jiexin Zhang 002; Yang Liu 003; Mikhail Auguston; Jun Sun 001; Jin Song Dong; Tieming Chen (Softw. Syst. Model., 2016)

Identifying decision patterns using Monterey Phoenix. - John Quartuccio; Kristin Giammarco; Mikhail Auguston (SoSE, 2017)

Deriving stochastic properties from behavior models defined by Monterey Phoenix. - John Quartuccio; Kristin Giammarco; Mikhail Auguston (SoSE, 2017)