Pierre-Yves Schobbens
Artificial Intelligence · 2006–2010
A researcher in the Science corpus: 3 papers; trusts 9 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 19 citations into it
- Information Systems — 17 citations into it
- Software — 11 citations into it
Whom Pierre-Yves Schobbens trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Krzysztof Czarnecki
- Jilles van Gurp
- Don S. Batory
- Arie van Deursen
- Ulrich W. Eisenecker
- Jan Bosch
- Simon Helsen
- Paul Klint
- Mikael Svahnberg
Who trusts Pierre-Yves Schobbens overall
Papers from Pierre-Yves Schobbens's perspective
Ordered by how strongly the researchers Pierre-Yves Schobbens trusts endorse each paper. Same corpus, a different order for every researcher.
- Generative Programming: Methods, Tools, and Applications
- On the notion of variability in software product lines (Proceedings Working IEEE/IFIP Conference on Software Architecture)
- Software Product Lines: Practices and Patterns
- Feature Models, Grammars, and Propositional Formulas (Software Product Lines Conference)
- Verifying feature-based model templates against well-formedness OCL constraints (International Conference on Generative Programming: Concepts and Experiences)
- Feature Diagrams: A Survey and a Formal Semantics (IEEE International Requirements Engineering Conference)
- SAT-based analysis of feature models is easy (Software Product Lines Conference)
- Feature interaction: a critical review and considered forecast (Comput. Networks)
- Modal I/O Automata for Interface and Product Line Theories (European Symposium on Programming)
- Model Checking
Their papers
- Model checking lots of systems: efficient verification of temporal properties in software product lines (2010) — 375 citations
- Generic semantics of feature diagrams (2007) — 423 citations
- Feature Diagrams: A Survey and a Formal Semantics (2006) — 495 citations