| 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 | 179 | 2008 |
| Modular verification of dynamically adaptive systems J Zhang, HJ Goldsby, BHC Cheng Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009 | 124 | 2009 |
| 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 | 91 | 2012 |
| Amoeba-RT: Run-time verification of adaptive software HJ Goldsby, BHC Cheng, J Zhang Models in Software Engineering, 212-224, 2008 | 74 | 2008 |
| 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 | 67 | 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 | 63 | 2008 |
| 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 | 52 | 2014 |
| Harnessing digital evolution P McKinley, BHC Cheng, C Ofria, D Knoester, B Beckmann, H Goldsby Computer 41 (1), 54-63, 2008 | 52 | 2008 |
| 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 | 37 | 2008 |
| 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 | 33 | 2007 |
| 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 | 31 | 2011 |
| 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 | 31 | 2010 |
| Markov brains: A technical introduction A Hintze, JA Edlund, RS Olson, DB Knoester, J Schossau, L Albantakis, ... arXiv preprint arXiv:1709.05601, 2017 | 29 | 2017 |
| 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 | 28 | 2007 |
| Visualizing requirements in UML models S Konrad, H Goldsby, K Lopez, BHC Cheng 2006 First International Workshop on Requirements Engineering Visualization …, 2006 | 27 | 2006 |
| 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 | 25 | 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 | 24 | 2008 |
| Goal-oriented modeling of requirements engineering for dynamically adaptive systems H Goldsby, BHC Cheng Requirements Engineering, 14th IEEE International Conference, 345-346, 2006 | 17 | 2006 |
| 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 | 14 | 2007 |
| 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 | 13 | 2010 |
Betty HC ChengProfessor of Computer Science and Engineering, Michigan State UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cse.msu.edu
