Heather Goldsby
Title
Cited by
Cited by
Year
Goal-based modeling of dynamically adaptive system requirements
HJ Goldsby, P Sawyer, N Bencomo, BHC Cheng, D Hughes
15Th annual IEEE international conference and workshop on the engineering of …, 2008
1802008
Modular verification of dynamically adaptive systems
J Zhang, HJ Goldsby, BHC Cheng
Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009
1242009
Task-switching costs promote the evolution of division of labor and shifts in individuality
HJ Goldsby, A Dornhaus, B Kerr, C Ofria
Proceedings of the National Academy of Sciences 109 (34), 13686-13691, 2012
922012
Amoeba-RT: Run-time verification of adaptive software
HJ Goldsby, BHC Cheng, J Zhang
Models in Software Engineering, 212-224, 2008
742008
Goal-oriented specification of adaptation requirements engineering in adaptive systems
G Brown, BHC Cheng, H Goldsby, J Zhang
Proceedings of the 2006 international workshop on Self-adaptation and self …, 2006
682006
Automatically generating behavioral models of adaptive systems to address uncertainty
HJ Goldsby, BHC Cheng
International Conference on Model Driven Engineering Languages and Systems …, 2008
632008
The evolutionary origin of somatic cells under the dirty work hypothesis
HJ Goldsby, DB Knoester, C Ofria, B Kerr
PLoS Biol 12 (5), e1001858, 2014
522014
Harnessing digital evolution
P McKinley, BHC Cheng, C Ofria, D Knoester, B Beckmann, H Goldsby
Computer 41 (1), 54-63, 2008
522008
Digital evolution of behavioral models for autonomic systems
HJ Goldsby, BHC Cheng, PK McKinley, DB Knoester, CA Ofria
2008 International Conference on Autonomic Computing, 87-96, 2008
372008
Digitally evolving models for dynamically adaptive systems
HJ Goldsby, DB Knoester, BHC Cheng, PK McKinley, CA Ofria
International Workshop on Software Engineering for Adaptive and Self …, 2007
332007
Automatically discovering properties that specify the latent behavior of UML models
HJ Goldsby, BHC Cheng
International Conference on Model Driven Engineering Languages and Systems …, 2010
322010
Selective pressures for accurate altruism targeting: evidence from digital evolution for difficult-to-test aspects of inclusive fitness theory
J Clune, HJ Goldsby, C Ofria, RT Pennock
Proceedings of the Royal Society B: Biological Sciences 278 (1706), 666-674, 2011
312011
Markov brains: A technical introduction
A Hintze, JA Edlund, RS Olson, DB Knoester, J Schossau, L Albantakis, ...
arXiv preprint arXiv:1709.05601, 2017
302017
Visualizing the analysis of dynamically adaptive systems using i* and DSLs
P Sawyer, N Bencomo, D Hughes, P Grace, HJ Goldsby, BHC Cheng
Requirements Engineering Visualization, 2007. REV 2007. Second International …, 2007
282007
Visualizing requirements in UML models
S Konrad, H Goldsby, K Lopez, BHC Cheng
2006 First International Workshop on Requirements Engineering Visualization …, 2006
272006
A visualization framework for the modeling and formal analysis of high assurance systems
H Goldsby, BHC Cheng, S Konrad, S Kamdoum
International Conference on Model Driven Engineering Languages and Systems …, 2006
252006
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
HJ Goldsby, BHC Cheng
Proceedings of the 10th annual conference on genetic and evolutionary …, 2008
242008
Goal-oriented modeling of requirements engineering for dynamically adaptive systems
H Goldsby, BHC Cheng
Requirements Engineering, 14th IEEE International Conference, 345-346, 2006
172006
Evolution of division of labor in genetically homogenous groups
HJ Goldsby, DB Knoester, C Ofria
Proceedings of the 12th annual conference on Genetic and evolutionary …, 2010
142010
i2MAP: An Incremental and Iterative Modeling and Analysis Process
S Konrad, HJ Goldsby, BHC Cheng
International Conference on Model Driven Engineering Languages and Systems …, 2007
142007
The system can't perform the operation now. Try again later.
Articles 1–20