Current Set of Nominations for the Software Product Line MIP Award



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
Staged Configuration using Feature Models
SPLC 2004
 Letter
  February 8, 2017 MIP Award Winner 2017
Automated Reasoning on Feature Models
CAISE 2005
Letter
  December 12, 2016 MIP Award Winner 2017
Feature-Oriented Programming:
A Fresh Look at Objects: CCPE 2001      (ECOOP 1997)
LetterFebruary 28, 2018MIP 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, 2016Active Year #4
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains,
SPLC 2008		LetterFebruary 13, 2018Active Year #2