Mikhail Auguston - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 59 from 59

2017

Identifying decision patterns using Monterey PhoenixJohn Quartuccio, Kristin Giammarco, Mikhail Auguston. sysose 2017: 1-6 [doi]

Deriving stochastic properties from behavior models defined by Monterey PhoenixJohn Quartuccio, Kristin Giammarco, Mikhail Auguston. sysose 2017: 1-6 [doi]

2016

Formalizing and verifying stochastic system architectures using Monterey PhoenixSongzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen. SoSyM, 15(2):453-471, 2016. [doi]

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. MoDELS 2015: 449 [doi]

2014

Controlling Design Complexity with the Monterey Phoenix ApproachKristin Giammarco, Mikhail Auguston, W. Clifton Baldwin, Ji'on Crump, Monica Farah-Stapleton. complexsystems 2014: 204-209 [doi]

2013

Behavioral Modeling of Software Intensive System ArchitecturesMonica Farah-Stapleton, Mikhail Auguston. complexsystems 2013: 270-276 [doi]

Well, You didn't Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good BehaviorKristin Giammarco, Mikhail Auguston. complexsystems 2013: 277-282 [doi]

2012

Using Monterey Phoenix to Formalize and Verify System ArchitecturesJiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun 0001, Jin Song Dong. apsec 2012: 644-653 [doi]

2010

Modeling and Analyzing Timed Security Protocols Using Extended Timed CSPXian Zhang, Yang Liu 0003, Mikhail Auguston. ssiri 2010: 217-226 [doi]

2009

Monterey Phoenix, or how to make software architecture executableMikhail Auguston. OOPSLA 2009: 1031-1040 [doi]

Software architecture built from behavior modelsMikhail Auguston. sigsoft, 34(5):1-15, 2009. [doi]

2008

2007

A design pattern for using non-developmental items in real-time JavaThomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, M. Shing. jtres 2007: 135-143 [doi]

2006

2005

Environment behavior models for scenario generation and testing automationMikhail Auguston, James Bret Michael, Man-tak Shing. sigsoft, 30(4):1-6, 2005. [doi]

Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systemsMikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen. SMC 2005: 1870-1875 [doi]

Environment behavior models for scenario generation and testing automationMikhail Auguston, James Bret Michael, Man-tak Shing. amost 2005: [doi]

Test Automation and Safety Assessment in Rapid Systems PrototypingMikhail Auguston, James Bret Michael, Man-tak Shing. rsp 2005: 188-194 [doi]

A Component Assembly Approach Based On Aspect-Oriented Generative Domain ModelingFei Cao, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. ENTCS, 114:119-136, 2005. [doi]

A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented ParadigmFei Cao, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston, Wei Zhao, Carol C. Burt. jucs, 11(10):1645-1675, 2005. [doi]

Marshaling and unmarshaling models using the entity-relationship modelFei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. SAC 2005: 1553-1557 [doi]

QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded SystemsShih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. ECBS 2005: 202-209 [doi]

Two-level assurance of QoS requirements for distributed real-time and embedded systemsShih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. SAC 2005: 903-904 [doi]

A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded SystemsShih-Hsi Liu, Barrett R. Bryant, Mikhail Auguston, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan. monterey 2007: 225-247 [doi]

Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+ApproachShih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. seke 2005: 731-734

2004

2003

2002

A Framework for Automatic DebuggingMikhail Auguston, Clinton Jeffery, Scott Underwood. ASE 2002: 217-222 [doi]

Formal specification of generative component assembly using two-level grammarBarrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson. seke 2002: 209-212 [doi]

Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific ModelsCarol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. edoc 2002: 212 [doi]

Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific KnowledgeFei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt. icfem 2002: 103-107 [doi]

A translation approach to component specificationFei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson. OOPSLA 2002: 54-55 [doi]

Towards Fully Automatic Execution MonitoringClinton Jeffery, Mikhail Auguston, Scott Underwood. rissef 2004: 204-218 [doi]

A quality-of-service-based framework for creating distributed heterogeneous software componentsRajeev R. Raje, Barrett R. Bryant, Andrew M. Olson, Mikhail Auguston, Carol C. Burt. concurrency, 14(12):1009-1034, 2002. [doi]

An Architecture for the UniFrame Resource Discovery ServiceNanditha N. Siram, Rajeev R. Raje, Andrew M. Olson, Barrett R. Bryant, Carol C. Burt, Mikhail Auguston. edoc 2003: 20-35 [doi]

2001

DCAPS - Architecture for Distributed Computer Aided Prototyping SystemLuqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin. rsp 2001: 103-109 [doi]

2000

Assertion checker for the C programming language based on computations over event tracesMikhail Auguston. AADEBUG 2000: [doi]

1997

Assertions for Dynamic Shape Analysis of List Data StructuresMikhail Auguston, Miu Har Hon. AADEBUG 1997: 37-42 [doi]

Iterative Constructs in the Visual Data Flow LanguageMikhail Auguston, Alfredo Delgado. vl 1997: 154-161

1996

Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel ApplicationsMikhail Auguston, Peter Fritzson. ijseke, 6(4):609-640, 1996. [doi]

1995

Program Behavior Model Based on Event Grammar and its Application for Debugging AutomationMikhail Auguston. AADEBUG 1995: 277-291

Programming language RIGAL as a compiler writing toolMikhail Auguston. seke 1995: 500

AUI - the Debugger and Assertion Checker for the Awk Programming LanguageMikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad. AADEBUG 1995: 309-310

1994

A language for debugging automationMikhail Auguston. seke 1994: 108-115

Using assertions in declarative and operational models for automated debuggingPeter Fritzson, Mikhail Auguston, Nahid Shahmehri. jss, 25(3):223-239, 1994. [doi]

1993

PARFORMAN-an assertion language for specifying behaviour when debugging parallel applicationsMikhail Auguston, Peter Fritzson. pdp 1993: 150-157 [doi]

1991

RIGAL - a Programming Language for Compiler WritingMikhail Auguston. balt 1991: 529-564

1990

Programming language RIGAL as a compiler writing toolMikhail Auguston. SIGPLAN, 25(12):61-69, 1990. [doi]

1978

Writing and Verifying Sequential Files Updating ProgramsMikhail Auguston. mfcs 1978: 102-111

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Mikhail Auguston'

Viewing Publication 1 - 59 from 59

2017

2016

2015

2014

2013

2012

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1997

1996

1995

1994

1993

1991

1990

1978

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Mikhail Auguston'

Viewing Publication 1 - 59 from 59

2017

2016

2015

2014

2013

2012

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1997

1996

1995

1994

1993

1991

1990

1978

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1