 | 2011 |
| 18 |  | Adam C. Jensen,
Betty H. C. Cheng,
Heather Goldsby,
Edward C. Nelson:
A Toolchain for the Detection of Structural and Behavioral Latent System Properties.
MoDELS 2011: 683-698 |
| 2010 |
| 17 |  | Heather Goldsby,
David B. Knoester,
Charles Ofria:
Evolution of division of labor in genetically homogenous groups.
GECCO 2010: 135-142 |
| 16 |  | David B. Knoester,
Heather Goldsby,
Philip K. McKinley:
Neuroevolution of mobile ad hoc networks.
GECCO 2010: 603-610 |
| 15 |  | Heather Goldsby,
Betty H. C. Cheng:
Automatically Discovering Properties That Specify the Latent Behavior of UML Models.
MoDELS (1) 2010: 316-330 |
| 2009 |
| 14 |  | Ji Zhang,
Heather Goldsby,
Betty H. C. Cheng:
Modular verification of dynamically adaptive systems.
AOSD 2009: 161-172 |
| 13 |  | Heather Goldsby,
David B. Knoester,
Jeff Clune,
Philip K. McKinley,
Charles Ofria:
The Evolution of Division of Labor.
ECAL (2) 2009: 10-18 |
| 12 |  | Heather Goldsby,
Sherri Goings,
Jeff Clune,
Charles Ofria:
Problem decomposition using indirect reciprocity in evolved populations.
GECCO 2009: 105-112 |
| 2008 |
| 11 |  | Heather Goldsby,
Peter Sawyer,
Nelly Bencomo,
Betty H. C. Cheng,
Danny Hughes:
Goal-Based Modeling of Dynamically Adaptive System Requirements.
ECBS 2008: 36-45 |
| 10 |  | Heather Goldsby,
Betty H. C. Cheng:
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior.
GECCO 2008: 1751-1758 |
| 9 |  | Heather Goldsby,
Betty H. C. Cheng,
Philip K. McKinley,
David B. Knoester,
Charles Ofria:
Digital Evolution of Behavioral Models for Autonomic Systems.
ICAC 2008: 87-96 |
| 8 |  | Heather Goldsby,
Betty H. C. Cheng:
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.
MoDELS 2008: 568-583 |
| 7 |  | 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 |
| 6 |  | Heather Goldsby,
Sascha Konrad,
Betty H. C. Cheng:
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.
HASE 2007: 7-14 |
| 5 |  | Sascha Konrad,
Heather Goldsby,
Betty H. C. Cheng:
i2MAP : An Incremental and Iterative Modeling and Analysis Process.
MoDELS 2007: 451-466 |
| 4 |  | Heather Goldsby,
Betty H. C. Cheng,
Ji Zhang:
AMOEBA-RT: Run-Time Verification of Adaptive Software.
MoDELS Workshops 2007: 212-224 |
| 3 |  | Heather Goldsby,
David B. Knoester,
Betty H. C. Cheng,
Philip K. McKinley,
Charles Ofria:
Digitally Evolving Models for Dynamically Adaptive Systems.
SEAMS 2007: 13 |
| 2006 |
| 2 |  | 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 |  | Heather Goldsby,
Betty H. C. Cheng:
Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System.
RE 2006: 338-339 |