Mike Hinchey

Cited by

	All	Since 2020
Citations	9608	1509
h-index	45	18
i10-index	161	36

520

260

130

390

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202573 113 194 145 112 127 132 133 125 146 346 347 353 336 518 465 484 519 448 449 475 448 442 408 408 349 341 272 298 215 34

Public access

View all

62 articles

17 articles

available

not available

Based on funding mandates

Co-authors

Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Emil VassevResearch Fellow at Lero - the Irish Software Engineering Research Centre at University of Limerick, IrelandVerified email at lero.ie
Joaquin PeñaLeguajes y Sistemas Informáticos, Universidad de SevillaVerified email at us.es
Antonio Ruiz CortésProfessor of Software Engineering, Member of Academia Europaea, Universidad de SevillaVerified email at us.es
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at ul.ie
Klaus SchmidInstitute of Computer Science, University of HildesheimVerified email at sse.uni-hildesheim.de
Denis GracaninAssociate Professor of Computer Science, Virginia TechVerified email at vt.edu
Paddy NixonUniversity of CanberraVerified email at canberra.edu.au
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Jan BoschProfessor of Software Engineering, Chalmers University of TechnologyVerified email at chalmers.se
Simon DobsonProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Lorcan CoyleFormally University College Dublin, University of Limerick, Trinity College DublinVerified email at lorcancoyle.org
Benoit GaudinLogentriesVerified email at logentries.com
Hesham ShokryHead of AI Engineering - EY IrelandVerified email at lero.ie
Professor Sue Black OBEProfessor of Computer Science and Technology Evangelist, Durham UniversityVerified email at durham.ac.uk
Shaoying LiuProfessor of Software Engineering, Hiroshima University, JapanVerified email at hiroshima-u.ac.jp
Christian WagnerUniversity of PotsdamVerified email at cs.uni-potsdam.de
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerified email at durhamjohnston.org.uk
Bashar NuseibehThe Open UniversityVerified email at open.ac.uk
Hoh Peter InProfessor of Computer Science, Korea UniversityVerified email at korea.ac.kr

Mike Hinchey

Lero-the Irish Software Engineering Research Centre

Verified email at lero.ie

software engineering autonomous systems formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Dynamic software product lines S Hallsteinsen, M Hinchey, S Park, K Schmid Computer 41 (4), 93-95, 2008	565	2008
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE software 12 (4), 34-41, 1995	545	1995
Biologically Inspired Collaborative Computing M Hinchey, A Pagnoni, FJ Rammig, H Schmeck Springer Publishing Company, Incorporated, 2008	509*	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	408	1995
Applications of formal methods MG Hinchey, JP Bowen Prentice Hall, 1995	371	1995
Swarms and swarm intelligence MG Hinchey, R Sterritt, C Rouff Computer 40 (4), 111-113, 2007	285	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	246	2014
An invitation to formal methods H Saiedian Computer 29 (04), 16-17, 1996	217	1996
Fulfilling the vision of autonomic computing S Dobson, R Sterritt, P Nixon, M Hinchey Computer 43 (1), 35-41, 2010	213	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	198	2004
Ten commandments of formal methods... ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	183	2006
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	182	2006
Building dynamic software product lines M Hinchey, S Park, K Schmid Computer 45 (10), 22-26, 2012	172	2012
Self-managing software MG Hinchey, R Sterritt Computer 39 (2), 107-109, 2006	159	2006
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	136	2009
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	136*	1998
Model-based verification of embedded software H Shokry, M Hinchey University of Limerick, 2009	133	2009
Concurrent systems: formal development in CSP MG Hinchey, SA Jarvis McGraw-Hill, Inc., 1995	124	1995
High-integrity system specification and design JP Bowen, MG Hinchey Springer Science & Business Media, 2012	120	2012
Formal versus agile: Survival of the fittest S Black, PP Boca, JP Bowen, J Gorman, M Hinchey Computer 42 (9), 37-45, 2009	116	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors