Concepedia

Patrick Heymans

PH

5

Publications

909

Citations

5

H-Index

2006

Active since

Affiliations

University of Namur(Current)

Institut national de recherche en sciences et technologies du numérique

Centre Inria de l'Université de Rennes

Centre National de la Recherche Scientifique

Patrick Heymans is an author at University of Namur specializing in engineering, computer science, and automated reasoning.

Top concepts

Publications per year

2006–2013

5

Publications

5

Feature Diagrams: A Survey and a Formal Semantics

Pierre‐Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux · 2006 · 408 citations

, , +22

Generic semantics of feature diagrams

Pierre‐Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux et al. · Computer Networks · 2006 · 348 citations

, , +6

ProVeLines

Maxime Cordy, Patrick Heymans, Pierre‐Yves Schobbens et al. · 2013 · 69 citations

, , +20

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Maxime Cordy, Patrick Heymans, Axel Legay et al. · Science of Computer Programming · 2013 · 57 citations · Full text

Simulation-based abstractions for software product-line model checking

Maxime Cordy, Gilles Perrouin, Pierre‐Yves Schobbens et al. · 2012 · 27 citations · Full text

, , +20

Rows per page

1–5 of 5