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
1702008
Modular verification of dynamically adaptive systems
J Zhang, HJ Goldsby, BHC Cheng
Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009
1212009
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
872012
Amoeba-RT: Run-time verification of adaptive software
HJ Goldsby, BHC Cheng, J Zhang
Models in Software Engineering, 212-224, 2008
702008
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
Harnessing digital evolution
P McKinley, BHC Cheng, C Ofria, D Knoester, B Beckmann, H Goldsby
Computer 41 (1), 54-63, 2008
502008
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
492014
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
342008
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
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
312010
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
272007
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
262006
Markov brains: A technical introduction
A Hintze, JA Edlund, RS Olson, DB Knoester, J Schossau, L Albantakis, ...
arXiv preprint arXiv:1709.05601, 2017
252017
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
252007
Visualizing requirements in UML models
S Konrad, H Goldsby, K Lopez, BHC Cheng
2006 First International Workshop on Requirements Engineering Visualization …, 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
222008
Goal-oriented modeling of requirements engineering for dynamically adaptive systems
H Goldsby, BHC Cheng
Requirements Engineering, 14th IEEE International Conference, 345-346, 2006
172006
AMOEBA-RT: Run-Time Verification of Adaptive Software, Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30-October 5, 2007 …
HJ Goldsby, BH Cheng, J Zhang
Springer-Verlag, Berlin, Heidelberg, 2008
142008
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
132010
The system can't perform the operation now. Try again later.
Articles 1–20