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.
