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
1662008
Modular verification of dynamically adaptive systems
J Zhang, HJ Goldsby, BHC Cheng
Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009
1142009
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
792012
Amoeba-RT: Run-time verification of adaptive software
HJ Goldsby, BHC Cheng, J Zhang
Models in Software Engineering, 212-224, 2008
672008
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
662006
Automatically generating behavioral models of adaptive systems to address uncertainty
HJ Goldsby, BHC Cheng
International Conference on Model Driven Engineering Languages and Systems …, 2008
582008
Harnessing digital evolution
P McKinley, BHC Cheng, C Ofria, D Knoester, B Beckmann, H Goldsby
Computer 41 (1), 54-63, 2008
492008
The evolutionary origin of somatic cells under the dirty work hypothesis
HJ Goldsby, DB Knoester, C Ofria, B Kerr
PLoS biology 12 (5), 2014
462014
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
312008
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
292011
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
282010
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
Visualizing requirements in UML models
S Konrad, H Goldsby, K Lopez, BHC Cheng
2006 First International Workshop on Requirements Engineering Visualization …, 2006
262006
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
242007
Markov brains: A technical introduction
A Hintze, JA Edlund, RS Olson, DB Knoester, J Schossau, L Albantakis, ...
arXiv preprint arXiv:1709.05601, 2017
212017
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
212008
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
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
132007
The system can't perform the operation now. Try again later.
Articles 1–20