Mike Hinchey

Cited by

	All	Since 2018
Citations	9198	1958
h-index	43	22
i10-index	157	44

520

260

130

390

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202376 114 179 140 109 135 130 129 132 145 332 332 369 334 510 465 500 485 459 444 480 439 450 406 386 359 328 299 179

Public access

View all

61 articles

16 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	548	2008
Seven more myths of formal methods JP Bowen, MG Hinchey IEEE software 12 (4), 34-41, 1995	530	1995
Biologically Inspired Collaborative Computing M Hinchey, A Pagnoni, FJ Rammig, H Schmeck Springer Publishing Company, Incorporated, 2008	457*	2008
Ten commandments of formal methods JP Bowen, MG Hinchey Computer 28 (4), 56-63, 1995	402	1995
Applications of formal methods MG Hinchey, JP Bowen Prentice Hall, 1995	365	1995
Swarms and swarm intelligence MG Hinchey, R Sterritt, C Rouff Computer 40 (4), 111-113, 2007	255	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	232	2014
An invitation to formal methods H Saiedian Computer 29 (04), 16-17, 1996	215	1996
Fulfilling the vision of autonomic computing S Dobson, R Sterritt, P Nixon, M Hinchey Computer 43 (1), 35-41, 2010	209	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
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	177	2006
Ten commandments of formal methods... ten years later JP Bowen, MG Hinchey Computer 39 (1), 40-48, 2006	177	2006
Building dynamic software product lines M Hinchey, S Park, K Schmid Computer 45 (10), 22-26, 2012	160	2012
Self-managing software MG Hinchey, R Sterritt Computer 39 (2), 107-109, 2006	145	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	135*	1998
Concurrent systems: formal development in CSP MG Hinchey, SA Jarvis McGraw-Hill, Inc., 1995	123	1995
Model-Based Verification of Embedded Software. H Shokry, M Hinchey Computer 42 (4), 53-59, 2009	122	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	121	2009
High-integrity system specification and design JP Bowen, MG Hinchey Springer Science & Business Media, 2012	116	2012
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

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