Mike Hinchey

Cited by

	All	Since 2019
Citations	9543	1833
h-index	45	19
i10-index	163	42

520

260

130

390

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202479 114 182 143 111 132 130 131 126 147 347 336 366 337 508 461 512 515 453 442 480 444 448 412 399 351 337 298 295 153

Public access

View all

64 articles

15 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
Hoh Peter InProfessor of Computer Science, Korea UniversityVerified email at korea.ac.kr
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 FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.ac.uk
Bashar NuseibehThe Open UniversityVerified 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	554	2008
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE software 12 (4), 34-41, 1995	542	1995
Biologically Inspired Collaborative Computing M Hinchey, A Pagnoni, FJ Rammig, H Schmeck Springer Publishing Company, Incorporated, 2008	486*	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	412	1995
Applications of formal methods MG Hinchey, JP Bowen Prentice Hall, 1995	372	1995
Swarms and swarm intelligence MG Hinchey, R Sterritt, C Rouff Computer 40 (4), 111-113, 2007	276	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	245	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	207	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	195	2004
Ten commandments of formal methods... ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	184	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	183	2006
Building dynamic software product lines M Hinchey, S Park, K Schmid Computer 45 (10), 22-26, 2012	170	2012
Self-managing software MG Hinchey, R Sterritt Computer 39 (2), 107-109, 2006	160	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	137	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	135*	1998
Model-based verification of embedded software H Shokry, M Hinchey University of Limerick, 2009	128	2009
Concurrent systems: formal development in CSP MG Hinchey, SA Jarvis McGraw-Hill, Inc., 1995	125	1995
High-integrity system specification and design JP Bowen, MG Hinchey Springer Science & Business Media, 2012	120	2012
Why do people tag? Motivations for photo tagging O Nov, C Ye Communications of the ACM 53 (7), 128-131, 2010	116	2010

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