H-Index & Metrics Top Publications
Mike Hinchey

Mike Hinchey

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 31 Citations 6,293 206 World Ranking 7691 National Ranking 27

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

Mike Hinchey focuses on Software engineering, Formal methods, Formal specification, Software and Systems engineering. His research in Software engineering intersects with topics in Software development, Domain engineering, Software system, Agile software engineering and Autonomic computing. He has included themes like Agile Unified Process, Concurrency and Code generation in his Formal methods study.

His Formal specification study deals with Formal verification intersecting with Software quality, Distributed operating system, Microprocessor and Instrumentation. He regularly ties together related areas like Process in his Software studies. His Systems engineering research includes elements of Spacecraft, Swarm behaviour, Simulation and Space exploration.

His most cited work include:

  • Dynamic Software Product Lines (325 citations)
  • Seven more myths of formal methods (254 citations)
  • Ten commandments of formal methods (227 citations)

What are the main themes of his work throughout his whole career to date?

The scientist’s investigation covers issues in Software engineering, Formal methods, Systems engineering, Formal specification and Autonomic computing. Mike Hinchey combines subjects such as Ubiquitous computing and Software system, Software, Software development with his study of Software engineering. Particularly relevant to Software quality is his body of work in Software.

The study incorporates disciplines such as Formal verification and Correctness in addition to Formal methods. His work in Systems engineering covers topics such as Swarm behaviour which are related to areas like Swarm intelligence. As a part of the same scientific family, Mike Hinchey mostly works in the field of Formal specification, focusing on System requirements specification and, on occasion, Distributed computing.

He most often published in these fields:

  • Software engineering (30.27%)
  • Formal methods (24.86%)
  • Systems engineering (21.35%)

What were the highlights of his more recent work (between 2012-2021)?

  • Systems engineering (21.35%)
  • Software engineering (30.27%)
  • Requirements engineering (3.51%)

In recent papers he was focusing on the following fields of study:

Systems engineering, Software engineering, Requirements engineering, Knowledge representation and reasoning and Software development are his primary areas of study. The various areas that Mike Hinchey examines in his Systems engineering study include Spacecraft, Space technology, Adaptive system, Artificial intelligence and Space exploration. His Spacecraft research focuses on subjects like Formal methods, which are linked to Media studies, Cover and Computation.

His Software engineering study focuses on Formal specification in particular. His Knowledge representation and reasoning research is multidisciplinary, incorporating elements of Perception, Knowledge management, Formal language, Human–computer interaction and Robot. His research in Software development tackles topics such as Software system which are related to areas like Software product line and Adaptation.

Between 2012 and 2021, his most popular works were:

  • An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry (112 citations)
  • Dynamic Software Product Lines (52 citations)
  • Context Variability for Context-Aware Systems (27 citations)

In his most recent research, the most cited papers focused on:

  • Operating system
  • Programming language
  • Software

Mike Hinchey mainly investigates Requirements engineering, Systems engineering, Software development, Software system and Space exploration. His research in Systems engineering focuses on subjects like Artificial intelligence, which are connected to Control system. His Software development research incorporates elements of Robot and Context model.

The concepts of his Space exploration study are interwoven with issues in Spacecraft, Open research, Simulation and Automation. His Software construction study combines topics in areas such as Component-based software engineering and Software engineering. His study in Software engineering focuses on Software deployment and Formal specification.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

Dynamic Software Product Lines

S. Hallsteinsen;M. Hinchey;Sooyong Park;K. Schmid.
IEEE Computer (2008)

506 Citations

Seven more myths of formal methods

J.P. Bowen;M.G. Hinchey.
IEEE Software (1995)

501 Citations

Ten commandments of formal methods

J.P. Bowen;M.G. Hinchey.
IEEE Computer (1995)

396 Citations

Applications of Formal Methods

Jonathan P. Bowen;Michael G. Hinchey.
(1995)

351 Citations

Swarms and Swarm Intelligence

M.G. Hinchey;R. Sterritt;C. Rouff.
IEEE Computer (2007)

221 Citations

Fulfilling the Vision of Autonomic Computing

S. Dobson;R. Sterritt;P. Nixon;M. Hinchey.
IEEE Computer (2010)

207 Citations

Formal Approaches to Agent-Based Systems

Michael G. Hinchey;James L. Rash;Walter F. Truszkowski;Christopher Rouff.
(2008)

195 Citations

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry

Rafael Capilla;Jan Bosch;Pablo Trinidad;Antonio Ruiz-Cortés.
Journal of Systems and Software (2014)

194 Citations

NASA's swarm missions: the challenge of building autonomous software

W. Truszkowski;M. Hinchey;J. Rash;C. Rouff.
IT Professional (2004)

173 Citations

Ten Commandments of Formal Methods ...Ten Years Later

J.P. Bowen;M.G. Hinchey.
IEEE Computer (2006)

173 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

Top Scientists Citing Mike Hinchey

Jonathan P. Bowen

Jonathan P. Bowen

London South Bank University

Publications: 28

Gunter Saake

Gunter Saake

Otto-von-Guericke University Magdeburg

Publications: 21

Carlos José Pereira de Lucena

Carlos José Pereira de Lucena

Pontifical Catholic University of Rio de Janeiro

Publications: 16

Michael Fisher

Michael Fisher

University of Manchester

Publications: 16

Tiziana Margaria

Tiziana Margaria

University of Limerick

Publications: 15

Danny Weyns

Danny Weyns

KU Leuven

Publications: 14

Jim Woodcock

Jim Woodcock

University of York

Publications: 12

Luciano Baresi

Luciano Baresi

Politecnico di Milano

Publications: 11

Bernhard Steffen

Bernhard Steffen

TU Dortmund University

Publications: 11

Jean-Marc Jézéquel

Jean-Marc Jézéquel

Université de Rennes

Publications: 8

Hai Lin

Hai Lin

University of Notre Dame

Publications: 8

Antonios Tsourdos

Antonios Tsourdos

Cranfield University

Publications: 8

Andy Schürr

Andy Schürr

TU Darmstadt

Publications: 8

Zhen Liu

Zhen Liu

IROOTECH

Publications: 8

John-Jules Ch. Meyer

John-Jules Ch. Meyer

Utrecht University

Publications: 7

Something went wrong. Please try again later.