| 2019 | |
| [2] | A kconfig translation to logic with one-way validation system , In Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), Paris, France, 2019. [bib] [pdf] [doi] |
| [1] | Supporting the statistical analysis of variability models , In 41st International Conference on Software Engineering (ICSE), Montreal, QC, Canada, 2019. [bib] [pdf] [doi] |