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
4801995
Dynamic software product lines
S Hallsteinsen, M Hinchey, S Park, K Schmid
Computer 41 (4), 93-95, 2008
4652008
Ten commandments of formal methods
JP Bowen, MG Hinchey
Computer 28 (4), 56-63, 1995
3821995
Biologically Inspired Collaborative Computing
M Hinchey, A Pagnoni, FJ Rammig, H Schmeck
Springer Publishing Company, Incorporated, 2008
378*2008
Applications of formal methods
MG Hinchey, JP Bowen
Prentice Hall, 1995
3411995
Semantic web: concepts, technologies and applications
K Breitman, MA Casanova, W Truszkowski
Springer Science & Business Media, 2007
3022007
Swarms and swarm intelligence
MG Hinchey, R Sterritt, C Rouff
Computer 40 (4), 111-113, 2007
2092007
An invitation to formal methods
H Saiedian
Computer 29 (4), 16-17, 1996
1991996
Fulfilling the vision of autonomic computing
S Dobson, R Sterritt, P Nixon, M Hinchey
Computer 43 (1), 35-41, 2010
1972010
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
1722014
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
1592006
Ten commandments of formal methods... ten years later
JP Bowen, MG Hinchey
Computer 39 (1), 40-48, 2006
1572006
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
1382012
Self-managing software
MG Hinchey, R Sterritt
Computer 39 (2), 107-109, 2006
1252006
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
1172012
Concurrent systems: formal development in CSP
MG Hinchey, SA Jarvis
McGraw-Hill, Inc., 1995
1141995
Why do people tag? Motivations for photo tagging
O Nov, C Ye
Communications of the ACM 53 (7), 128-131, 2010
1082010
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