Mike Hinchey

Navedeno

	Vse	Od leta 2020
Navedbe	9603	1508
indeks h	45	18
indeks i10	161	36

520

260

130

390

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202573 113 194 145 111 127 132 133 125 147 346 347 353 336 517 465 484 518 447 451 475 448 442 408 406 349 341 272 299 215 32

Javni dostop

Prikaži vse

62 člankov

17 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityPreverjeni e-poštni naslov na lsbu.ac.uk
Emil VassevResearch Fellow at Lero - the Irish Software Engineering Research Centre at University of Limerick, IrelandPreverjeni e-poštni naslov na lero.ie
Joaquin PeñaLeguajes y Sistemas Informáticos, Universidad de SevillaPreverjeni e-poštni naslov na us.es
Antonio Ruiz CortésProfessor of Software Engineering, Member of Academia Europaea, Universidad de SevillaPreverjeni e-poštni naslov na us.es
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartPreverjeni e-poštni naslov na ul.ie
Klaus SchmidInstitute of Computer Science, University of HildesheimPreverjeni e-poštni naslov na sse.uni-hildesheim.de
Denis GracaninAssociate Professor of Computer Science, Virginia TechPreverjeni e-poštni naslov na vt.edu
Paddy NixonUniversity of CanberraPreverjeni e-poštni naslov na canberra.edu.au
Bernhard SteffenProfessor für Informatik, TU DortmundPreverjeni e-poštni naslov na cs.uni-dortmund.de
Jan BoschProfessor of Software Engineering, Chalmers University of TechnologyPreverjeni e-poštni naslov na chalmers.se
Simon DobsonProfessor of Computer Science, University of St AndrewsPreverjeni e-poštni naslov na st-andrews.ac.uk
Lorcan CoyleFormally University College Dublin, University of Limerick, Trinity College DublinPreverjeni e-poštni naslov na lorcancoyle.org
Benoit GaudinLogentriesPreverjeni e-poštni naslov na logentries.com
Hesham ShokryHead of AI Engineering - EY IrelandPreverjeni e-poštni naslov na lero.ie
Professor Sue Black OBEProfessor of Computer Science and Technology Evangelist, Durham UniversityPreverjeni e-poštni naslov na durham.ac.uk
Shaoying LiuProfessor of Software Engineering, Hiroshima University, JapanPreverjeni e-poštni naslov na hiroshima-u.ac.jp
Christian WagnerUniversity of PotsdamPreverjeni e-poštni naslov na cs.uni-potsdam.de
José Luiz FiadeiroDurham Johnston Comprehensive SchoolPreverjeni e-poštni naslov na durhamjohnston.org.uk
Bashar NuseibehThe Open UniversityPreverjeni e-poštni naslov na open.ac.uk
Hoh Peter InProfessor of Computer Science, Korea UniversityPreverjeni e-poštni naslov na korea.ac.kr

Spremljaj

Mike Hinchey

Lero-the Irish Software Engineering Research Centre

Preverjeni e-poštni naslov na lero.ie

software engineering autonomous systems formal methods


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Dynamic software product lines S Hallsteinsen, M Hinchey, S Park, K Schmid Computer 41 (4), 93-95, 2008	564	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	370	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	123	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

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji