dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Heather Goldsby Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Benjamin E. Beckmann [7]
2Nelly Bencomo [11]
3Betty H. C. Cheng [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15] [18]
4Jeff Clune [12] [13]
5Sherri Goings [12]
6Danny Hughes (Daniel Hughes) [11]
7Adam C. Jensen [18]
8Stephane Kamdoum [2]
9David B. Knoester [3] [7] [9] [13] [16] [17]
10Sascha Konrad [2] [5] [6]
11Philip K. McKinley [3] [7] [9] [13] [16]
12Edward C. Nelson [18]
13Charles Ofria [3] [7] [9] [12] [13] [17]
14Peter Sawyer (Pete Sawyer) [11]
15Ji Zhang [4] [14]

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page