P
Pierre-Yves Schobbens
Researcher at Université de Namur
Publications - 74
Citations - 4002
Pierre-Yves Schobbens is an academic researcher from Université de Namur. The author has contributed to research in topics: Temporal logic & Model checking. The author has an hindex of 28, co-authored 69 publications receiving 3850 citations. Previous affiliations of Pierre-Yves Schobbens include University of California, Berkeley & Max Planck Society.
Papers
More filters
Proceedings ArticleDOI
Feature Diagrams: A Survey and a Formal Semantics
TL;DR: In this paper, a formal semantics for feature diagrams is defined at the free feature diagrams (FFD) level, which provides unambiguous definition for all the surveyed feature diagrams variants in one shot.
Journal ArticleDOI
Generic semantics of feature diagrams
TL;DR: It is shown that the expressively complete FDs fall into two succinctness classes, of which one is of course recommend the most succinct, and a new, simple one is suggested that is not harmfully redundant: Varied FD (VFD).
Proceedings ArticleDOI
Model checking lots of systems: efficient verification of temporal properties in software product lines
TL;DR: This paper first extends transition systems with features in order to describe the combined behaviour of an entire system family, and defines and implements a model checking technique that allows to verify such transition systems against temporal properties.
Proceedings ArticleDOI
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis
TL;DR: This paper reuses an existing formalization of feature diagrams, but introduces a formalized version of orthogonal variability models (OVMs) that serves as a foundation for a tool supporting automated reasoning on variability.
Journal ArticleDOI
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
Andreas Classen,Maxime Cordy,Pierre-Yves Schobbens,Patrick Heymans,Axel Legay,Jean-François Raskin +5 more
TL;DR: This paper proposes an efficient automata-based approach to linear time logic (LTL) model checking of variability-intensive systems, and provides an in-depth treatment of the FTS model checking algorithm.