| Formalizing and verifying stochastic system architectures using Monterey Phoenix. | 2 | 0.57 | 2016 |
| Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) | 0 | 0.34 | 2015 |
| Controlling Design Complexity with the Monterey Phoenix Approach. | 0 | 0.34 | 2014 |
| Well, You didn't Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior. | 2 | 0.55 | 2013 |
| Behavioral Modeling of Software Intensive System Architectures. | 2 | 0.42 | 2013 |
| Using Monterey Phoenix to Formalize and Verify System Architectures | 2 | 0.38 | 2012 |
| Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP | 0 | 0.34 | 2010 |
| Monterey Phoenix, or how to make software architecture executable | 1 | 0.36 | 2009 |
| Software architecture built from behavior models | 18 | 1.48 | 2009 |
| A Security Domain Model for Implementing Trusted Subject Behaviors | 0 | 0.34 | 2008 |
| Synthesis of monitors for real-time analysis of reactive systems | 1 | 0.35 | 2008 |
| Guest Editor's Introduction to the Special Section on the 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06) | 0 | 0.34 | 2008 |
| A security domain model to assess software for exploitable covert channels | 9 | 0.59 | 2008 |
| Implementation And Analysis Of Environment Behavior Models As A Tool For Testing Real-Time, Reactive Systems | 0 | 0.34 | 2006 |
| Environment behavior models for automation of testing and assessment of system safety | 13 | 0.80 | 2006 |
| QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems | 1 | 0.35 | 2006 |
| Test automation and safety assessment in rapid systems prototyping | 1 | 0.40 | 2005 |
| Marshaling and unmarshaling models using the entity-relationship model | 1 | 0.37 | 2005 |
| A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm | 0 | 0.34 | 2005 |
| Environment behavior models for scenario generation and testing automation | 15 | 0.96 | 2005 |
| A component-based approach for constructing high-confidence distributed real-time and embedded systems | 0 | 0.34 | 2005 |
| Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems | 1 | 0.36 | 2005 |
| Two-level assurance of QoS requirements for distributed real-time and embedded systems | 0 | 0.34 | 2005 |
| Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach | 3 | 0.49 | 2005 |
| A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling | 8 | 0.62 | 2005 |
| QoS-UniFrame: a Petri net-based modeling approach to assure QoS requirements of distributed real-time and embedded systems | 11 | 0.77 | 2005 |
| Formal Methods For Quality Of Service Analysis In Component-Based Distributed Computing | 3 | 0.56 | 2004 |
| A Meta-Modeling Approach to Web Services | 3 | 0.41 | 2004 |
| Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components | 4 | 0.45 | 2004 |
| Grammatically Interpreting Feature Compositions | 3 | 0.48 | 2004 |
| A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization | 5 | 1.64 | 2003 |
| An Experiment in Software Decoy Design | 1 | 0.63 | 2003 |
| Automating Feature-Oriented Domain Analysis | 13 | 0.93 | 2003 |
| Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control | 17 | 1.10 | 2003 |
| Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific Models | 10 | 1.30 | 2002 |
| A Quality-Of-Service-Based Framework For Creating Distributed Heterogeneous Software Components | 15 | 1.49 | 2002 |
| A translation approach to component specification | 1 | 0.36 | 2002 |
| Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge | 4 | 0.60 | 2002 |
| Formal specification of generative component assembly using two-level grammar | 7 | 1.02 | 2002 |
| Towards fully automatic execution monitoring | 1 | 0.38 | 2002 |
| An architecture for the UniFrame resource discovery service | 9 | 1.18 | 2002 |
| A framework for automatic debugging | 26 | 1.88 | 2002 |
| Assertion checker for the C programming language based on computations over event traces | 2 | 0.45 | 2000 |
| Iterative Constructs in the Visual Data Flow Language | 9 | 1.03 | 1997 |
| Assertions for Dynamic Shape Analysis of List Data Structures | 0 | 0.34 | 1997 |
| Parforman - An Assertion Language For Specifying Behavior When Debugging Parallel Applications | 0 | 0.34 | 1996 |
| Programming language RIGAL as a compiler writing tool | 8 | 1.18 | 1995 |
| Program Behavior Model Based on Event Grammar and its Application for Debugging Automation | 20 | 1.54 | 1995 |
| AUI - the Debugger and Assertion Checker for the Awk Programming Language | 1 | 0.48 | 1995 |
| Using assertions in declarative and operational models for automated debugging | 16 | 1.31 | 1994 |
