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
4751995
Dynamic software product lines
S Hallsteinsen, M Hinchey, S Park, K Schmid
Computer 41 (4), 93-95, 2008
4602008
Ten commandments of formal methods
JP Bowen, MG Hinchey
Computer 28 (4), 56-63, 1995
3791995
Biologically Inspired Collaborative Computing
M Hinchey, A Pagnoni, FJ Rammig, H Schmeck
Springer Publishing Company, Incorporated, 2008
368*2008
Applications of formal methods
MG Hinchey, JP Bowen
Prentice Hall, 1995
3361995
Semantic web: concepts, technologies and applications
K Breitman, MA Casanova, W Truszkowski
Springer Science & Business Media, 2007
2962007
Swarms and swarm intelligence
MG Hinchey, R Sterritt, C Rouff
Computer 40 (4), 111-113, 2007
2052007
An invitation to formal methods
H Saiedian
Computer 29 (4), 16-17, 1996
1981996
Fulfilling the vision of autonomic computing
S Dobson, R Sterritt, P Nixon, M Hinchey
Computer 43 (1), 35-41, 2010
1952010
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
1632014
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
1562006
Ten commandments of formal methods... ten years later
JP Bowen, MG Hinchey
Computer 39 (1), 40-48, 2006
1562006
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
1542004
Understanding formal methods
JF Monin
Springer Science & Business Media, 2012
1352012
Self-managing software
MG Hinchey, R Sterritt
Computer 39 (2), 107-109, 2006
1232006
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
118*1998
Building dynamic software product lines
M Hinchey, S Park, K Schmid
Computer 45 (10), 22-26, 2012
1162012
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
High-integrity system specification and design
JP Bowen, MG Hinchey
Springer Science & Business Media, 2012
1032012
The system can't perform the operation now. Try again later.
Articles 1–20