H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 43 Citations 7,967 155 World Ranking 3942 National Ranking 45

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Software
  • Artificial intelligence

Patrick Heymans spends much of his time researching Programming language, Software, Requirements engineering, Model checking and Feature model. In his study, Context and Scalability is strongly linked to Theoretical computer science, which falls under the umbrella field of Software. His research integrates issues of Requirements analysis, Formal specification, Notation and Live sequence charts in his study of Requirements engineering.

His work is dedicated to discovering how Model checking, Semantics are connected with Abstraction model checking and Symbolic trajectory evaluation and other disciplines. His studies deal with areas such as Feature, Domain engineering, Software requirements, Software product line and Feature-oriented domain analysis as well as Feature model. His research on Software product line frequently connects to adjacent areas such as Software engineering.

His most cited work include:

  • Feature Diagrams: A Survey and a Formal Semantics (362 citations)
  • Generic semantics of feature diagrams (305 citations)
  • Model checking lots of systems: efficient verification of temporal properties in software product lines (284 citations)

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

His primary areas of investigation include Software engineering, Software, Software product line, Programming language and Feature model. His biological study spans a wide range of topics, including Requirements engineering, Software development, Workflow and Systems engineering. His Software research integrates issues from Model checking, Theoretical computer science, Feature and Set.

His Model checking study integrates concerns from other disciplines, such as Formal methods, Distributed computing and Software verification. Patrick Heymans interconnects Adaptive system, Software system, Software construction and Feature in the investigation of issues within Software product line. As part of one scientific family, Patrick Heymans deals mainly with the area of Feature model, narrowing it down to issues related to the Data mining, and often Scalability.

He most often published in these fields:

  • Software engineering (33.02%)
  • Software (28.37%)
  • Software product line (28.84%)

What were the highlights of his more recent work (between 2013-2020)?

  • Software (28.37%)
  • Software engineering (33.02%)
  • Software product line (28.84%)

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

His main research concerns Software, Software engineering, Software product line, Set and Data mining. His Software research incorporates themes from Model checking and Theoretical computer science. The study incorporates disciplines such as Control theory, Sequence diagram and Formal semantics in addition to Theoretical computer science.

His Software product line research incorporates elements of Engineering management, Feature and Software reliability testing. His Set study also includes fields such as

  • Algorithm which intersects with area such as Feature model,
  • State that connect with fields like Abstraction refinement, Abstraction inversion and Abstraction model checking. His Extensibility, Specification language and Temporal logic study in the realm of Programming language connects with subjects such as USable.

Between 2013 and 2020, his most popular works were:

  • Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines (124 citations)
  • Formal semantics, modular specification, and symbolic verification of product-line behaviour (41 citations)
  • Featured model-based mutation analysis (40 citations)

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

  • Programming language
  • Software
  • Artificial intelligence

Software, Software product line, Data mining, Theoretical computer science and Software reliability testing are his primary areas of study. His work deals with themes such as Scalability, Process, Software engineering and Asset, which intersect with Software. His Software engineering research includes elements of Semantic reasoner and Database.

Patrick Heymans has researched Data mining in several fields, including Feature model, Requirement prioritization and Executable. Patrick Heymans is involved in the study of Theoretical computer science that focuses on Model checking in particular. His Model checking study deals with the bigger picture of Programming language.

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

Feature Diagrams: A Survey and a Formal Semantics

Pierre-Yves Schobbens;Patrick Heymans;Jean-Christophe Trigaux.
ieee international conference on requirements engineering (2006)

593 Citations

Generic semantics of feature diagrams

Pierre-Yves Schobbens;Patrick Heymans;Jean-Christophe Trigaux;Yves Bontemps.
Computer Networks (2007)

500 Citations

Model checking lots of systems: efficient verification of temporal properties in software product lines

Andreas Classen;Patrick Heymans;Pierre-Yves Schobbens;Axel Legay.
international conference on software engineering (2010)

383 Citations

A proposal for a scenario classification framework

C. Rolland;C. Ben Achour;C. Cauvet;J. Ralyté.
Requirements Engineering (1998)

357 Citations

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

A. Metzger;P. Heymans;K. Pohl;P.-Y. Schobbens.
ieee international conference on requirements engineering (2007)

314 Citations

Symbolic model checking of software product lines

Andreas Classen;Patrick Heymans;Pierre-Yves Schobbens;Axel Legay.
international conference on software engineering (2011)

276 Citations

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

A. Classen;M. Cordy;Pierre-Yves Schobbens;P. Heymans.
IEEE Transactions on Software Engineering (2013)

236 Citations

A text-based approach to feature modelling: Syntax and semantics of TVL

Andreas Classen;Quentin Boucher;Patrick Heymans.
Science of Computer Programming (2011)

234 Citations

What's in a feature: a requirements engineering perspective

Andreas Classen;Patrick Heymans;Pierre-Yves Schobbens.
fundamental approaches to software engineering (2008)

232 Citations

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines

Christopher Henard;Mike Papadakis;Gilles Perrouin;Jacques Klein.
IEEE Transactions on Software Engineering (2014)

189 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 Patrick Heymans

Ina Schaefer

Ina Schaefer

Technische Universität Braunschweig

Publications: 48

Gunter Saake

Gunter Saake

Otto-von-Guericke University Magdeburg

Publications: 46

Sven Apel

Sven Apel

Saarland University

Publications: 44

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 38

Christian Kästner

Christian Kästner

Carnegie Mellon University

Publications: 35

Yves Le Traon

Yves Le Traon

University of Luxembourg

Publications: 28

Benoit Baudry

Benoit Baudry

Royal Institute of Technology

Publications: 27

Krzysztof Czarnecki

Krzysztof Czarnecki

University of Waterloo

Publications: 27

Mike Papadakis

Mike Papadakis

University of Luxembourg

Publications: 26

Jean-Marc Jézéquel

Jean-Marc Jézéquel

Université de Rennes

Publications: 26

Andrzej Wąsowski

Andrzej Wąsowski

IT University of Copenhagen

Publications: 26

Alexander Egyed

Alexander Egyed

Johannes Kepler University of Linz

Publications: 25

Stefania Gnesi

Stefania Gnesi

Institute of Information Science and Technologies

Publications: 24

Paul Grünbacher

Paul Grünbacher

Johannes Kepler University of Linz

Publications: 23

Marsha Chechik

Marsha Chechik

University of Toronto

Publications: 23

Something went wrong. Please try again later.