Mikhail Auguston

60 papers A* 1A 3B 5C 11Misc 3Journal 11Unranked 25

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