In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
Tagged by "Feature Modeling"
Publications
- Modeling Product Lines with Kripke Structures and Modal Logic
- Formalizing cardinality-based feature models and their specialization
- Model-Driven Software Product Lines
- Presence-Condition Simplification in Highly Configurable Systems
- On the Relationship between Feature Models and Ontologies
- Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches
- Mining Configuration Constraints: Static Analyses and Empirical Results
- Efficient compilation techniques for large scale feature models
- Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
- Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study
- Variability Model of the Linux Kernel
- A User Survey of Configuration Challenges in Linux and eCos
- A Study of Variability Models and Languages in the Systems Software Domain
- Sample Spaces and Feature Models: There and Back Again
- Efficient Reasoning Techniques for Large Scale Feature Models
News Items
- Feature Modeling and Feature-Based Model Templates demos
- Peter Kim's MASc. Thesis
- ClaferMPS 0.4.3 Released
- Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled has been accepted at SLE 2010
- Our paper "Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel" is now published online at the Empirical Software Engineering Journal
- fmp goes open source
- Clafer Tools 0.4.4 Released
