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 |
Current set of Nominations for SPL MIP; new nominations will be added when submitted
|
On the notion of
variability in software product lines, Software Architecture 2001 |
Letter |
February 28, 2016 |
Active Year #4 |
Verifying Feature-Based
Model Templates against Well-Formedness OCL Constraints. GPCE
2006 | Letter
| August
18, 2016 | Active Year #4 |
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains, SPLC 2008 | Letter | February 13, 2018 | Active Year #2 |
|
|
|
|