Mikhail Auguston

	2010
46		Xian Zhang, Yang Liu, Mikhail Auguston: Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. SSIRI 2010: 217-226
	2009
45		Mikhail Auguston: Monterey Phoenix, or how to make software architecture executable. OOPSLA Companion 2009: 1031-1040
44		Mikhail Auguston: Software architecture built from behavior models. ACM SIGSOFT Software Engineering Notes 34(5): 1-15 (2009)
	2008
43		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
42		Mikhail Auguston, Mark B. Trakhtenbrot: Synthesis of Monitors for Real-Time Analysis of Reactive Systems. Pillars of Computer Science 2008: 72-86
41		Mikhail Auguston: Guest Editor's Introduction to the Special Section on the 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06). Software Quality Journal 16(2): 159-160 (2008)
	2007
40		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
39		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
38		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for automation of testing and assessment of system safety. Information & Software Technology 48(10): 971-980 (2006)
	2005
37		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for scenario generation and testing automation. A-MOST 2005
36		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
35		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
34		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
33		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
32		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
31		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
30		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
29		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. Electr. Notes Theor. Comput. Sci. 114: 119-136 (2005)
28		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. UCS 11(10): 1645-1675 (2005)
	2004
27		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
26		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
25		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
	2003
24		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
23		James Bret Michael, Georgios Fragkos, Mikhail Auguston: An Experiment in Software Decoy Design. SEC 2003: 253-264
22		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
21		Mikhail Auguston, Clinton Jeffery, Scott Underwood: A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization CoRR cs.SE/0310025: (2003)
	2002
20		Mikhail Auguston, Clinton Jeffery, Scott Underwood: A Framework for Automatic Debugging. ASE 2002: 217-222
19		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-
18		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
17		Clinton Jeffery, Mikhail Auguston, Scott Underwood: Towards Fully Automatic Execution Monitoring. RISSEF 2002: 204-218
16		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
15		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
14		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. Concurrency and Computation: Practice and Experience 14(12): 1009-1034 (2002)
	2001
13		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
12		Mikhail Auguston: Assertion checker for the C programming language based on computations over event traces. AADEBUG 2000
	1997
11		Mikhail Auguston, Miu Har Hon: Assertions for Dynamic Shape Analysis of List Data Structures. AADEBUG 1997: 37-42
10		Mikhail Auguston, Alfredo Delgado: Iterative Constructs in the Visual Data Flow Language. VL 1997: 154-161
	1996
9		Mikhail Auguston, Peter Fritzson: Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. International Journal of Software Engineering and Knowledge Engineering 6(4): 609-640 (1996)
	1995
8		Mikhail Auguston: Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. AADEBUG 1995: 277-291
7		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
6		Mikhail Auguston: Programming language RIGAL as a compiler writing tool. SEKE 1995: 500
	1994
5		Mikhail Auguston: A language for debugging automation. SEKE 1994: 108-115
4		Peter Fritzson, Mikhail Auguston, Nahid Shahmehri: Using assertions in declarative and operational models for automated debugging. Journal of Systems and Software 25(3): 223-239 (1994)
	1991
3		Mikhail Auguston: RIGAL - a Programming Language for Compiler Writing. Baltic Computer Science 1991: 529-564
	1990
2		Mikhail Auguston: Programming language RIGAL as a compiler writing tool. SIGPLAN Notices 25(12): 61-69 (1990)
	1978
1		Mikhail Auguston: Writing and Verifying Sequential Files Updating Programs. MFCS 1978: 102-111

Coauthor Index

1	Subhankar Banerjee	[7]
2	Valdis Berzins	[13]
3	Barrett R. Bryant	[13] [14] [15] [16] [18] [19] [22] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [36] [39]
4	Carol C. Burt	[14] [15] [16] [18] [19] [22] [24] [25] [26] [27] [28] [29] [33]
5	Fei Cao	[18] [22] [25] [26] [28] [29] [31] [33]
6	Thomas S. Cook	[40]
7	Alfredo Delgado	[10]
8	Doron Drusinsky	[40]
9	Georgios Fragkos	[23]
10	Peter Fritzson	[4] [9]
11	Jun Ge	[13]
12	Jeffrey G. Gray (Jeff Gray)	[31] [32] [34] [36] [39]
13	Miu Har Hon	[11]
14	Zhisheng Huang	[22]
15	Cynthia E. Irvine	[43]
16	Clinton Jeffery	[17] [20] [21]
17	Boon Kwang Kin	[13]
18	Timothy E. Levin	[43]
19	Shih-Hsi Liu	[31] [32] [34] [36] [39]
20	Yang Liu	[46]
21	Luqi	[13]
22	Manish Mamnani	[7]
23	James Bret Michael (J. Bret Michael, Bret Michael)	[23] [30] [35] [37] [38] [40]
24	Ghulam Nabi	[7]
25	Andrew M. Olson	[14] [15] [16] [18] [19] [22] [24] [25] [26] [27] [28] [29] [31] [32] [33] [36] [39]
26	Thomas W. Otani	[40]
27	Rajeev R. Raje	[14] [15] [16] [18] [19] [22] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [36] [39]
28	Juris Reinfelds	[7]
29	Ugis Sarkans	[7]
30	Alan B. Shaffer	[43]
31	Nahid Shahmehri	[4]
32	Man-tak Shing	[13] [30] [35] [37] [38] [40]
33	Nanditha N. Siram	[15]
34	Ivan Strnad	[7]
35	Mark B. Trakhtenbrot	[42]
36	Mihran Tuceryan	[34] [39]
37	Scott Underwood	[17] [20] [21]
38	Xian Zhang	[46]
39	Wei Zhao	[25] [26] [27] [28] [33]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page