![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Mikhail Auguston
Person information
- affiliation: New Mexico State University, Las Cruces, New Mexico, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2016
- [j11]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): 453-471 (2016) - 2009
- [j10]Mikhail Auguston:
Software architecture built from behavior models. ACM SIGSOFT Softw. Eng. Notes 34(5): 1-15 (2009) - 2008
- [j9]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): 159-160 (2008) - 2006
- [j8]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): 971-980 (2006) - 2005
- [j7]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): 1645-1675 (2005) - [j6]Mikhail Auguston, James Bret Michael, Man-tak Shing:
Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005) - 2004
- [j5]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): 137-149 (2004) - 2002
- [j4]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): 1009-1034 (2002) - 1996
- [j3]Mikhail Auguston, Peter Fritzson:
Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. Int. J. Softw. Eng. Knowl. Eng. 6(4): 609-640 (1996) - 1994
- [j2]Peter Fritzson, Mikhail Auguston, Nahid Shahmehri:
Using assertions in declarative and operational models for automated debugging. J. Syst. Softw. 25(3): 223-239 (1994) - 1990
- [j1]Mikhail Auguston:
Programming language RIGAL as a compiler writing tool. ACM SIGPLAN Notices 25(12): 61-69 (1990)
Conference and Workshop Papers
- 2017
- [c47]John Quartuccio, Kristin Giammarco, Mikhail Auguston:
Identifying decision patterns using Monterey Phoenix. SoSE 2017: 1-6 - [c46]John Quartuccio, Kristin Giammarco, Mikhail Auguston:
Deriving stochastic properties from behavior models defined by Monterey Phoenix. SoSE 2017: 1-6 - 2015
- [c45]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: 449 - 2014
- [c44]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: 204-209 - 2013
- [c43]Monica Farah-Stapleton, Mikhail Auguston:
Behavioral Modeling of Software Intensive System Architectures. Complex Adaptive Systems 2013: 270-276 - [c42]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: 277-282 - 2012
- [c41]Jiexin Zhang, Yang Liu
, Mikhail Auguston, Jun Sun
, Jin Song Dong:
Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC 2012: 644-653 - 2010
- [c40]Xian Zhang, Yang Liu
, Mikhail Auguston:
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. SSIRI 2010: 217-226 - 2009
- [c39]Mikhail Auguston:
Monterey Phoenix, or how to make software architecture executable. OOPSLA Companion 2009: 1031-1040 - 2008
- [c38]Mikhail Auguston, Mark B. Trakhtenbrot:
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. Pillars of Computer Science 2008: 72-86 - [c37]Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin:
A Security Domain Model for Implementing Trusted Subject Behaviors. MODSEC@MoDELS 2008 - [c36]Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin:
A security domain model to assess software for exploitable covert channels. PLAS 2008: 45-56 - 2007
- [c35]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: 135-143 - 2006
- [c34]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: 724-729 - [c33]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: 1-5 - 2005
- [c32]Mikhail Auguston, James Bret Michael, Man-tak Shing:
Environment behavior models for scenario generation and testing automation. A-MOST 2005 - [c31]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: 202-209 - [c30]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: 225-247 - [c29]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: 188-194 - [c28]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: 903-904 - [c27]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: 1553-1557 - [c26]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: 731-734 - [c25]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: 1870-1875 - 2004
- [c24]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: 275-285 - [c23]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: 796-799 - [c22]Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Raje, Mikhail Auguston, Carol C. Burt, Andrew M. Olson:
Grammatically Interpreting Feature Compositions. SEKE 2004: 185-191 - [c21]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. SC 2004: 119-136 - 2003
- [c20]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: 159-173 - [c19]James Bret Michael, Georgios Fragkos, Mikhail Auguston:
An Experiment in Software Decoy Design. SEC 2003: 253-264 - [c18]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: 944-949 - 2002
- [c17]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: 20-35 - [c16]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: 212- - [c15]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: 103-107 - [c14]Mikhail Auguston, Clinton Jeffery, Scott Underwood:
A Framework for Automatic Debugging. ASE 2002: 217-222 - [c13]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: 54-55 - [c12]Clinton Jeffery, Mikhail Auguston, Scott Underwood:
Towards Fully Automatic Execution Monitoring. RISSEF 2002: 204-218 - [c11]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: 209-212 - 2001
- [c10]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: 103-109 - 2000
- [c9]Mikhail Auguston:
Assertion checker for the C programming language based on computations over event traces. AADEBUG 2000 - 1997
- [c8]Mikhail Auguston, Miu Har Hon:
Assertions for Dynamic Shape Analysis of List Data Structures. AADEBUG 1997: 37-42 - [c7]Mikhail Auguston, Alfredo Delgado:
Iterative Constructs in the Visual Data Flow Language. VL 1997: 154-161 - 1995
- [c6]Mikhail Auguston:
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. AADEBUG 1995: 277-291 - [c5]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: 309-310 - [c4]Mikhail Auguston:
Programming language RIGAL as a compiler writing tool. SEKE 1995: 500 - 1994
- [c3]Mikhail Auguston:
A language for debugging automation. SEKE 1994: 108-115 - 1993
- [c2]Mikhail Auguston, Peter Fritzson:
PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications. PDP 1993: 150-157 - 1978
- [c1]Mikhail Auguston:
Writing and Verifying Sequential Files Updating Programs. MFCS 1978: 102-111
Parts in Books or Collections
- 1991
- [p1]Mikhail Auguston:
RIGAL - a Programming Language for Compiler Writing. Baltic Computer Science 1991: 529-564
Informal and Other Publications
- 2003
- [i1]Mikhail Auguston, Clinton Jeffery, Scott Underwood:
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization. CoRR cs.SE/0310025 (2003)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-25 19:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint