Mike Hinchey

Cited by

	All	Since 2017
Citations	8729	2026
h-index	42	22
i10-index	153	44

520

260

130

390

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202283 111 160 138 113 127 127 127 125 139 316 328 356 326 505 469 501 483 465 440 462 464 457 385 389 319 314 162

Public access

View all

67 articles

14 articles

available

not available

Based on funding mandates

Co-authors

Emil VassevResearch Fellow at Lero - the Irish Software Engineering Research Centre at University of Limerick, IrelandVerified email at lero.ie
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Joaquin PeñaLeguajes y Sistemas Informáticos, 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
Antonio Ruiz CortésProfessor of Software Engineering, Head of ISA Group, Universidad de SevillaVerified email at us.es
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
Rafael CapillaRey Juan Carlos UniversityVerified email at urjc.es
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
Lorcan CoyleFormally University College Dublin, University of Limerick, Trinity College DublinVerified email at lorcancoyle.org
Simon DobsonProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Benoit GaudinLogentriesVerified email at logentries.com
Karin BreitmanPUC-RioVerified email at Inf.puc-rio.br
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
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk

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	523	2008
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE software 12 (4), 34-41, 1995	509	1995
Biologically Inspired Collaborative Computing M Hinchey, A Pagnoni, FJ Rammig, H Schmeck Springer Publishing Company, Incorporated, 2008	435*	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	396	1995
Applications of formal methods MG Hinchey, JP Bowen Prentice Hall, 1995	356	1995
Swarms and swarm intelligence MG Hinchey, R Sterritt, C Rouff Computer 40 (4), 111-113, 2007	240	2007
An invitation to formal methods H Saiedian Computer 29 (04), 16-17, 1996	212	1996
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	211	2014
Fulfilling the vision of autonomic computing S Dobson, R Sterritt, P Nixon, M Hinchey Computer 43 (1), 35-41, 2010	208	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	182	2004
Ten commandments of formal methods... ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	175	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	171	2006
Building dynamic software product lines M Hinchey, S Park, K Schmid Computer 45 (10), 22-26, 2012	150	2012
Self-managing software MG Hinchey, R Sterritt Computer 39 (2), 107-109, 2006	139	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	125*	1998
Concurrent systems: formal development in CSP MG Hinchey, SA Jarvis McGraw-Hill, Inc., 1995	118	1995
High-integrity system specification and design JP Bowen, MG Hinchey Springer Science & Business Media, 2012	114	2012
Formal versus agile: Survival of the fittest S Black, PP Boca, JP Bowen, J Gorman, M Hinchey Computer 42 (9), 37-45, 2009	113	2009
Model-based verification of embedded software H Shokry, M Hinchey IEEE Computer Society, 2009	113	2009
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	111	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