| 2009 |
|---|
| 10 | EE | Ji Zhang,
Heather Goldsby,
Betty H. C. Cheng:
Modular verification of dynamically adaptive systems.
AOSD 2009: 161-172 |
| 2008 |
|---|
| 9 | EE | Heather Goldsby,
Peter Sawyer,
Nelly Bencomo,
Betty H. C. Cheng,
Danny Hughes:
Goal-Based Modeling of Dynamically Adaptive System Requirements.
ECBS 2008: 36-45 |
| 8 | EE | Heather Goldsby,
Betty H. C. Cheng:
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior.
GECCO 2008: 1751-1758 |
| 7 | EE | Heather Goldsby,
Betty H. C. Cheng:
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.
MoDELS 2008: 568-583 |
| 6 | EE | Philip K. McKinley,
Betty H. C. Cheng,
Charles Ofria,
David B. Knoester,
Benjamin E. Beckmann,
Heather Goldsby:
Harnessing Digital Evolution.
IEEE Computer 41(1): 54-63 (2008) |
| 2007 |
|---|
| 5 | EE | Heather Goldsby,
Sascha Konrad,
Betty H. C. Cheng:
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.
HASE 2007: 7-14 |
| 4 | EE | Sascha Konrad,
Heather Goldsby,
Betty H. C. Cheng:
i2MAP : An Incremental and Iterative Modeling and Analysis Process.
MoDELS 2007: 451-466 |
| 3 | EE | Heather Goldsby,
Betty H. C. Cheng,
Ji Zhang:
AMOEBA-RT: Run-Time Verification of Adaptive Software.
MoDELS Workshops 2007: 212-224 |
| 2006 |
|---|
| 2 | EE | Heather Goldsby,
Betty H. C. Cheng,
Sascha Konrad,
Stephane Kamdoum:
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.
MoDELS 2006: 707-721 |
| 1 | EE | Heather Goldsby,
Betty H. C. Cheng:
Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System.
RE 2006: 338-339 |
