Mike Hinchey
Mike Hinchey
Lero-the Irish Software Engineering Research Centre
Verified email at lero.ie
Title
Cited by
Cited by
Year
Seven more myths of formal methods
JP Bowen, MG Hinchey
IEEE software 12 (4), 34-41, 1995
4841995
Dynamic software product lines
S Hallsteinsen, M Hinchey, S Park, K Schmid
Computer 41 (4), 93-95, 2008
4682008
Ten commandments of formal methods
JP Bowen, MG Hinchey
Computer 28 (4), 56-63, 1995
3831995
Biologically Inspired Collaborative Computing
M Hinchey, A Pagnoni, FJ Rammig, H Schmeck
Springer Publishing Company, Incorporated, 2008
379*2008
Applications of formal methods
MG Hinchey, JP Bowen
Prentice Hall, 1995
3421995
Semantic web: concepts, technologies and applications
K Breitman, MA Casanova, W Truszkowski
Springer Science & Business Media, 2007
3052007
Swarms and swarm intelligence
MG Hinchey, R Sterritt, C Rouff
Computer 40 (4), 111-113, 2007
2102007
Fulfilling the vision of autonomic computing
S Dobson, R Sterritt, P Nixon, M Hinchey
Computer 43 (1), 35-41, 2010
1992010
An invitation to formal methods
H Saiedian
Computer 29 (4), 16-17, 1996
1991996
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
1752014
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
1622006
Ten commandments of formal methods... ten years later
JP Bowen, MG Hinchey
Computer 39 (1), 40-48, 2006
1602006
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
1572004
Understanding formal methods
JF Monin
Springer Science & Business Media, 2012
1402012
Self-managing software
MG Hinchey, R Sterritt
Computer 39 (2), 107-109, 2006
1242006
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
121*1998
Building dynamic software product lines
M Hinchey, S Park, K Schmid
Computer 45 (10), 22-26, 2012
1202012
Concurrent systems: formal development in CSP
MG Hinchey, SA Jarvis
McGraw-Hill, Inc., 1995
1151995
Why do people tag? Motivations for photo tagging
O Nov, C Ye
Communications of the ACM 53 (7), 128-131, 2010
1092010
Formal versus agile: Survival of the fittest
S Black, PP Boca, JP Bowen, J Gorman, M Hinchey
Computer 42 (9), 37-45, 2009
1062009
The system can't perform the operation now. Try again later.
Articles 1–20