|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 23 keywords
|
|
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xian Zhang, Yang Liu 0003, Mikhail Auguston |
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.  |
SSIRI  |
2010 |
DBLP DOI BibTeX RDF |
Constraint Logic Programm, verifictaion, Security Protocol, extension, Timed CSP |
| 1 | Mikhail Auguston |
Software architecture built from behavior models. |
ACM SIGSOFT Software Engineering Notes |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston |
Monterey Phoenix, or how to make software architecture executable. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
software architecture description language, behavior model |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin |
A security domain model to assess software for exploitable covert channels. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
automated program verification, security domain model, static analysis, specification language, covert channel, dynamic slicing |
| 1 | Mikhail Auguston, Mark B. Trakhtenbrot |
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
non-developmental items, real-time system, design pattern, garbage collection, Java programming language |
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for automation of testing and assessment of system safety. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
quality of service, real-time, domain-specific modeling |
| 1 | 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 |
DBLP DOI BibTeX RDF |
marshaling and unmarshaling models, modeling and meta-modeling, entity-relationship model |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Raje, Mikhail Auguston, Carol C. Burt, Andrew M. Olson |
Grammatically Interpreting Feature Compositions. |
SEKE |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston, Clinton Jeffery, Scott Underwood |
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | James Bret Michael, Georgios Fragkos, Mikhail Auguston |
An Experiment in Software Decoy Design. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Wrapper/Glue Code, Formal Specification, Two-Level Grammar, Domain Specific Knowledge |
| 1 | Mikhail Auguston, Clinton Jeffery, Scott Underwood |
A Framework for Automatic Debugging. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
EDOC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
formal specification, generative programming, component-based software, two-level grammar |
| 1 | Clinton Jeffery, Mikhail Auguston, Scott Underwood |
Towards Fully Automatic Execution Monitoring. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston |
Assertion checker for the C programming language based on computations over event traces. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston, Alfredo Delgado |
Iterative Constructs in the Visual Data Flow Language. |
VL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston, Miu Har Hon |
Assertions for Dynamic Shape Analysis of List Data Structures. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston, Peter Fritzson |
Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. |
International Journal of Software Engineering and Knowledge Engineering |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston |
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston |
Programming language RIGAL as a compiler writing tool. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Fritzson, Mikhail Auguston, Nahid Shahmehri |
Using assertions in declarative and operational models for automated debugging. |
Journal of Systems and Software |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston |
A language for debugging automation. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston |
RIGAL - a Programming Language for Compiler Writing. |
Baltic Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston |
Programming language RIGAL as a compiler writing tool. |
SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston |
Writing and Verifying Sequential Files Updating Programs. |
MFCS |
1978 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")