Mikhail Auguston

Publication Activity (10 Years)

Years Active: 1978-2017
Publications (10 Years): 4

Top Topics

Preferential Attachment

Stochastic Models

Systems Engineering

Top Venues

Complex Adaptive Systems

Publications

John Quartuccio, Kristin Giammarco, Mikhail Auguston
Identifying decision patterns using Monterey Phoenix. SoSE (2017)
John Quartuccio, Kristin Giammarco, Mikhail Auguston
Deriving stochastic properties from behavior models defined by Monterey Phoenix. SoSE (2017)
Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15 (2) (2016)
Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). MoDELS (2015)
Kristin Giammarco, Mikhail Auguston, W. Clifton Baldwin, Ji'on Crump, Monica Farah-Stapleton
Controlling Design Complexity with the Monterey Phoenix Approach. Complex Adaptive Systems (2014)
Kristin Giammarco, Mikhail Auguston
Well, You didn't Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior. Complex Adaptive Systems (2013)
Monica Farah-Stapleton, Mikhail Auguston
Behavioral Modeling of Software Intensive System Architectures. Complex Adaptive Systems (2013)
Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong
Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC (2012)
Xian Zhang, Yang Liu, Mikhail Auguston
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. SSIRI (2010)
Mikhail Auguston
Monterey Phoenix, or how to make software architecture executable. OOPSLA Companion (2009)
Mikhail Auguston
Software architecture built from behavior models. ACM SIGSOFT Softw. Eng. Notes 34 (5) (2009)
Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
A Security Domain Model for Implementing Trusted Subject Behaviors. MODSEC@MoDELS (2008)
Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
A security domain model to assess software for exploitable covert channels. PLAS (2008)
Mikhail Auguston
Guest Editor's Introduction to the Special Section on the 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06). Softw. Qual. J. 16 (2) (2008)
Mikhail Auguston, Mark B. Trakhtenbrot
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. Pillars of Computer Science (2008)
Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing
A design pattern for using non-developmental items in real-time Java. JTRES (2007)
Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan, Andrew M. Olson, Mikhail Auguston
QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems. SEKE (2006)
Harsha Tummala, Mikhail Auguston, James Bret Michael, Man-tak Shing, David Little, Zachary Pace
Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems. SoSE (2006)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for automation of testing and assessment of system safety. Inf. Softw. Technol. 48 (10) (2006)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Test Automation and Safety Assessment in Rapid Systems Prototyping. IEEE International Workshop on Rapid System Prototyping (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen
Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. SMC (2005)
Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems. ECBS (2005)
Shih-Hsi Liu, Barrett R. Bryant, Mikhail Auguston, Jeff Gray, Rajeev R. Raje, Mihran Tuceryan
A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems. Monterey Workshop (2005)
Shih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach. SEKE (2005)
Fei Cao, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling. Electron. Notes Theor. Comput. Sci. 114 (2005)
Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston, Wei Zhao, Carol C. Burt
A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm. J. Univers. Comput. Sci. 11 (10) (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for scenario generation and testing automation. A-MOST (2005)
Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Two-level assurance of QoS requirements for distributed real-time and embedded systems. SAC (2005)
Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Marshaling and unmarshaling models using the entity-relationship model. SAC (2005)
Chunmin Yang, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Formal Methods for Quality of Service Analysis in Component-Based Distributed Computing. Trans. SDPS 8 (2) (2004)
Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Raje, Mikhail Auguston, Carol C. Burt, Andrew M. Olson
Grammatically Interpreting Feature Compositions. SEKE (2004)
Wei Zhao, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components. EDOC (2004)
Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
A Meta-Modeling Approach to Web Services. ICWS (2004)
James Bret Michael, Georgios Fragkos, Mikhail Auguston
An Experiment in Software Decoy Design. SEC (2003)
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control. EDOC (2003)
Mikhail Auguston, Clinton Jeffery, Scott Underwood
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization CoRR (2003)
Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhisheng Huang, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Automating Feature-Oriented Domain Analysis. Software Engineering Research and Practice (2003)
Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson
A translation approach to component specification. OOPSLA Companion (2002)
Nanditha N. Siram, Rajeev R. Raje, Andrew M. Olson, Barrett R. Bryant, Carol C. Burt, Mikhail Auguston
An Architecture for the UniFrame Resource Discovery Service. SEM (2002)
Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt
Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. ICFEM (2002)
Clinton Jeffery, Mikhail Auguston, Scott Underwood
Towards Fully Automatic Execution Monitoring. RISSEF (2002)
Mikhail Auguston, Clinton Jeffery, Scott Underwood
A Framework for Automatic Debugging. ASE (2002)
Rajeev R. Raje, Barrett R. Bryant, Andrew M. Olson, Mikhail Auguston, Carol C. Burt
A quality-of-service-based framework for creating distributed heterogeneous software components. Concurr. Comput. Pract. Exp. 14 (12) (2002)
Barrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson
Formal specification of generative component assembly using two-level grammar. SEKE (2002)
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific Models. EDOC (2002)
Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin
DCAPS - Architecture for Distributed Computer Aided Prototyping System. IEEE International Workshop on Rapid System Prototyping (2001)
Mikhail Auguston
Assertion checker for the C programming language based on computations over event traces. AADEBUG (2000)
Mikhail Auguston, Miu Har Hon
Assertions for Dynamic Shape Analysis of List Data Structures. AADEBUG (1997)
Mikhail Auguston, Alfredo Delgado
Iterative Constructs in the Visual Data Flow Language. VL (1997)
Mikhail Auguston, Peter Fritzson
Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. Int. J. Softw. Eng. Knowl. Eng. 6 (4) (1996)
Mikhail Auguston
Programming language RIGAL as a compiler writing tool. SEKE (1995)
Mikhail Auguston
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. AADEBUG (1995)
Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad
AUI - the Debugger and Assertion Checker for the Awk Programming Language. AADEBUG (1995)
Peter Fritzson, Mikhail Auguston, Nahid Shahmehri
Using assertions in declarative and operational models for automated debugging. J. Syst. Softw. 25 (3) (1994)
Mikhail Auguston
A language for debugging automation. SEKE (1994)
Mikhail Auguston, Peter Fritzson
PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications. PDP (1993)
Mikhail Auguston
Programming language RIGAL as a compiler writing tool. ACM SIGPLAN Notices 25 (12) (1990)
Mikhail Auguston
Writing and Verifying Sequential Files Updating Programs. MFCS (1978)