| 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 | 211 | 2008 |
| 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 | 153 | 2012 |
| Modular verification of dynamically adaptive systems J Zhang, HJ Goldsby, BHC Cheng Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009 | 134 | 2009 |
| Amoeba-RT: Run-time verification of adaptive software HJ Goldsby, BHC Cheng, J Zhang Models in Software Engineering, 212-224, 2008 | 83 | 2008 |
| The evolutionary origin of somatic cells under the dirty work hypothesis HJ Goldsby, DB Knoester, C Ofria, B Kerr PLoS biology 12 (5), e1001858, 2014 | 80 | 2014 |
| 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 | 75 | 2006 |
| Automatically generating behavioral models of adaptive systems to address uncertainty HJ Goldsby, BHC Cheng International Conference on Model Driven Engineering Languages and Systems …, 2008 | 64 | 2008 |
| Markov brains: A technical introduction A Hintze, JA Edlund, RS Olson, DB Knoester, J Schossau, L Albantakis, ... arXiv preprint arXiv:1709.05601, 2017 | 58 | 2017 |
| Harnessing digital evolution P McKinley, BHC Cheng, C Ofria, D Knoester, B Beckmann, H Goldsby Computer 41 (1), 54-63, 2008 | 54 | 2008 |
| 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 | 44 | 2011 |
| 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 | 42 | 2008 |
| 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 | 39 | 2010 |
| 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 | 38 | 2007 |
| 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 | 34 | 2006 |
| 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 | 33 | 2008 |
| Visualizing requirements in UML models S Konrad, H Goldsby, K Lopez, BHC Cheng 2006 First International Workshop on Requirements Engineering Visualization …, 2006 | 30 | 2006 |
| 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 | 29 | 2007 |
| An ecology-based evolutionary algorithm to evolve solutions to complex problems S Goings, H Goldsby, BHC Cheng, C Ofria Artificial Life Conference Proceedings, 171-177, 2012 | 21 | 2012 |
| The effect of conflicting pressures on the evolution of division of labor HJ Goldsby, DB Knoester, B Kerr, C Ofria PloS one 9 (8), e102713, 2014 | 19 | 2014 |
| Goal-oriented modeling of requirements engineering for dynamically adaptive systems H Goldsby, BHC Cheng Requirements Engineering, 14th IEEE International Conference, 345-346, 2006 | 18 | 2006 |
Betty HC ChengProfessor of Computer Science and Engineering, Michigan State UniversityVerified email at cse.msu.edu
