| Paper |
Nomination |
Date Submitted
|
Status |
| Feature Models, Grammars,
and Propositional Formulas. SPLC 2005 |
Letter |
July 21, 2016 |
Withdrawn as
SPLC Test-of-Time Award 2017 |
|
|
Letter
|
February 8, 2017 |
MIP Award Winner 2017 |
Automated Reasoning on
Feature Models
CAISE 2005 |
|
December 12, 2016 |
MIP Award Winner 2017 |
|
|
Letter |
February 28, 2018 |
MIP Award Winner 2018 |
Granularity in Software Product Lines
ICSE 2008 |
Letter
|
March 22, 2019
|
MIP Award Winner 2019 |
Model Checking Lots
of Systems: Efficient Verification of Temporal Properties in
Software Product Lines
|
Letter
|
October 3, 2019
|
MIP Award Winner 2020 |
Delta-Oriented Programming of Software Product Lines,
SPLC 2010
|
Letter
|
December 10, 2020 |
MIP Award Winner 2022 |
Reasoning about edits to feature models,
ICSE 2009
|
Letter
|
February 2, 2023 |
Award Winner 2023 |
Current set of Nominations for SPL MIP; new nominations will be added when submitted
|
Formal Description of Variability in Product Families,
SPLC 2011
|
Letter
|
January 12, 2022 |
Active Year #3 |
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines,
ICST 2010
|
Letter
|
January 27, 2022 |
Active Year #3 |
FeatureIDE: An extensible framework for feature-oriented software development,
SCP 2014
|
Letter
|
February 12, 2024 |
Active Year #1 |
Evolution of the Linux Kernel Variability Model,
SPLC 2010
|
Letter
|
March 26, 2024 |
Active Year #1 |
Nominations that expired after 4 active years and need to be resubmitted according to SPLC MIP rules
|
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains,
SPLC 2008
|
Letter
|
February 13, 2018 |
Expired |
