Dynamic software product lines S Hallsteinsen, M Hinchey, S Park, K Schmid Computer 41 (4), 93-95, 2008 | 551 | 2008 |
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE software 12 (4), 34-41, 1995 | 536 | 1995 |
Biologically Inspired Collaborative Computing M Hinchey, A Pagnoni, FJ Rammig, H Schmeck Springer Publishing Company, Incorporated, 2008 | 476* | 2008 |
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995 | 407 | 1995 |
Applications of formal methods MG Hinchey, JP Bowen Prentice Hall, 1995 | 369 | 1995 |
Swarms and swarm intelligence MG Hinchey, R Sterritt, C Rouff Computer 40 (4), 111-113, 2007 | 267 | 2007 |
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry R Capilla, J Bosch, P Trinidad, A Ruiz-Cortés, M Hinchey Journal of Systems and Software 91, 3-23, 2014 | 238 | 2014 |
An invitation to formal methods H Saiedian Computer 29 (04), 16-17, 1996 | 215 | 1996 |
Fulfilling the vision of autonomic computing S Dobson, R Sterritt, P Nixon, M Hinchey Computer 43 (1), 35-41, 2010 | 207 | 2010 |
NASA's swarm missions: The challenge of building autonomous software W Truszkowski, M Hinchey, J Rash, C Rouff IT professional 6 (5), 47-52, 2004 | 193 | 2004 |
Autonomous and autonomic systems: A paradigm for future space exploration missions WF Truszkowski, MG Hinchey, JL Rash, CA Rouff IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2006 | 181 | 2006 |
Ten commandments of formal methods... ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006 | 181 | 2006 |
Building dynamic software product lines M Hinchey, S Park, K Schmid Computer 45 (10), 22-26, 2012 | 167 | 2012 |
Self-managing software MG Hinchey, R Sterritt Computer 39 (2), 107-109, 2006 | 156 | 2006 |
ZUM'98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings JP Bowen, A Fett, MG Hinchey Springer, 1998 | 135* | 1998 |
Autonomous and autonomic systems: with applications to NASA intelligent spacecraft operations and exploration systems W Truszkowski, H Hallock, C Rouff, J Karlin, J Rash, M Hinchey, R Sterritt Springer Science & Business Media, 2009 | 134 | 2009 |
Model-based verification of embedded software H Shokry, M Hinchey University of Limerick, 2009 | 126 | 2009 |
Concurrent systems: formal development in CSP MG Hinchey, SA Jarvis McGraw-Hill, Inc., 1995 | 125 | 1995 |
High-integrity system specification and design JP Bowen, MG Hinchey Springer Science & Business Media, 2012 | 119 | 2012 |
Why do people tag? Motivations for photo tagging O Nov, C Ye Communications of the ACM 53 (7), 128-131, 2010 | 115 | 2010 |