Mike Hinchey

Cited by

	All	Since 2018
Citations	8951	1780
h-index	42	21
i10-index	157	40

520

260

130

390

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202367 115 159 144 108 124 129 125 130 143 334 325 354 354 502 464 502 473 469 440 476 449 447 401 390 353 317 288 30

Public access

View all

62 articles

13 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, Head of ISA Group, 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
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
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

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	532	2008
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE software 12 (4), 34-41, 1995	516	1995
Biologically Inspired Collaborative Computing M Hinchey, A Pagnoni, FJ Rammig, H Schmeck Springer Publishing Company, Incorporated, 2008	444*	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	397	1995
Applications of formal methods MG Hinchey, JP Bowen Prentice Hall, 1995	351	1995
Swarms and swarm intelligence MG Hinchey, R Sterritt, C Rouff Computer 40 (4), 111-113, 2007	247	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	228	2014
An invitation to formal methods H Saiedian Computer 29 (04), 16-17, 1996	216	1996
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	185	2004
Ten commandments of formal methods... ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	176	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	175	2006
Building dynamic software product lines M Hinchey, S Park, K Schmid Computer 45 (10), 22-26, 2012	153	2012
Self-managing software MG Hinchey, R Sterritt Computer 39 (2), 107-109, 2006	143	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	132*	1998
Concurrent systems: formal development in CSP MG Hinchey, SA Jarvis McGraw-Hill, Inc., 1995	119	1995
Model-Based Verification of Embedded Software. H Shokry, M Hinchey Computer 42 (4), 53-59, 2009	118	2009
Formal versus agile: Survival of the fittest S Black, PP Boca, JP Bowen, J Gorman, M Hinchey Computer 42 (9), 37-45, 2009	115	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	114	2009
High-integrity system specification and design JP Bowen, MG Hinchey Springer Science & Business Media, 2012	113	2012

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