Mikhail Auguston

According to our database, Mikhail Auguston authored at least 58 papers between 1978 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Deriving stochastic properties from behavior models defined by Monterey Phoenix.

John Quartuccio, Kristin Giammarco, Mikhail Auguston

Proceedings of the 12th System of Systems Engineering Conference, 2017

Identifying decision patterns using Monterey Phoenix.

John Quartuccio, Kristin Giammarco, Mikhail Auguston

Proceedings of the 12th System of Systems Engineering Conference, 2017

2016

Formalizing and verifying stochastic system architectures using Monterey Phoenix.

Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen

Softw. Syst. Model., 2016

2015

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).

Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

2014

Controlling Design Complexity with the Monterey Phoenix Approach.

Kristin Giammarco, Mikhail Auguston, W. Clifton Baldwin, Ji'on Crump, Monica Farah-Stapleton

Proceedings of the Complex Adaptive Systems 2014 Conference, 2014

2013

Well, You didn't Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior.

Kristin Giammarco, Mikhail Auguston

Proceedings of the Complex Adaptive Systems 2013 Conference, 2013

Behavioral Modeling of Software Intensive System Architectures.

Monica Farah-Stapleton, Mikhail Auguston

Proceedings of the Complex Adaptive Systems 2013 Conference, 2013

2012

Using Monterey Phoenix to Formalize and Verify System Architectures.

Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010

Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.

Xian Zhang, Yang Liu, Mikhail Auguston

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009

Software architecture built from behavior models.

Mikhail Auguston

ACM SIGSOFT Softw. Eng. Notes, 2009

Monterey Phoenix, or how to make software architecture executable.

Mikhail Auguston

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

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

A security domain model to assess software for exploitable covert channels.

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

A Security Domain Model for Implementing Trusted Subject Behaviors.

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

Synthesis of Monitors for Real-Time Analysis of Reactive Systems.

Mikhail Auguston, Mark B. Trakhtenbrot

Proceedings of the Pillars of Computer Science, 2008

2007

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

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

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

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

Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

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

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2005

Environment behavior models for scenario generation and testing automation.

Mikhail Auguston, James Bret Michael, Man-tak Shing

ACM SIGSOFT Softw. Eng. Notes, 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, Carol C. Burt

J. Univers. Comput. Sci., 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

Proceedings of the IEEE International Conference on Systems, 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

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 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

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

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

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Test Automation and Safety Assessment in Rapid Systems Prototyping.

Mikhail Auguston, James Bret Michael, Man-tak Shing

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 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, Rajeev R. Raje, Mihran Tuceryan

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

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

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

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

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

Proceedings of the Software Composition Workshop, 2004

Grammatically Interpreting Feature Compositions.

Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Raje, Mikhail Auguston, Carol C. Burt, Andrew M. Olson

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

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

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

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

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

2003

A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization

Mikhail Auguston, Clinton Jeffery, Scott Underwood

CoRR, 2003

Automating Feature-Oriented Domain Analysis.

Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhisheng Huang, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

An Experiment in Software Decoy Design.

James Bret Michael, Georgios Fragkos, Mikhail Auguston

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

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

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

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

Formal specification of generative component assembly using two-level grammar.

Barrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Towards Fully Automatic Execution Monitoring.

Clinton Jeffery, Mikhail Auguston, Scott Underwood

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

A translation approach to component specification.

Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

A Framework for Automatic Debugging.

Mikhail Auguston, Clinton Jeffery, Scott Underwood

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 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

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

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

Proceedings of the Software Engineering and Middleware, Third International Workshop, 2002

2001

DCAPS - Architecture for Distributed Computer Aided Prototyping System.

Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000

Assertion checker for the C programming language based on computations over event traces.

Mikhail Auguston

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1997

Iterative Constructs in the Visual Data Flow Language.

Mikhail Auguston, Alfredo Delgado

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Assertions for Dynamic Shape Analysis of List Data Structures.

Mikhail Auguston, Miu Har Hon

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications.

Mikhail Auguston, Peter Fritzson

Int. J. Softw. Eng. Knowl. Eng., 1996

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

Proceedings of the Second International Workshop on Automated Debugging, 1995

Program Behavior Model Based on Event Grammar and its Application for Debugging Automation.

Mikhail Auguston

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Using assertions in declarative and operational models for automated debugging.

Peter Fritzson, Mikhail Auguston, Nahid Shahmehri

J. Syst. Softw., 1994

A language for debugging automation.

Mikhail Auguston

Proceedings of the SEKE'94, 1994

1993

PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications.

Mikhail Auguston, Peter Fritzson

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

1991

RIGAL - a Programming Language for Compiler Writing.

Mikhail Auguston

Proceedings of the Baltic Computer Science, Selected Papers, 1991

1990

Programming language RIGAL as a compiler writing tool.

Mikhail Auguston

ACM SIGPLAN Notices, 1990

1978

Writing and Verifying Sequential Files Updating Programs.

Mikhail Auguston

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978