| Lifting inter-app data-flow analysis to large app sets. | 1 | 0.37 | 2018 |
| Variability-Aware Static Analysis at Scale: An Empirical Study. | 4 | 0.39 | 2018 |
| On facilitating reuse in multi-goal test-suite generation for software product lines. | 0 | 0.34 | 2016 |
| Variability encoding: From compile-time to load-time variability. | 15 | 0.51 | 2016 |
| Analysestrategien für konfigurierbare Systeme. | 0 | 0.34 | 2016 |
| Presence-condition simplification in highly configurable systems | 16 | 0.53 | 2015 |
| Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. | 12 | 0.48 | 2015 |
| Strategies for Analyzing Configurable Systems. | 0 | 0.34 | 2015 |
| Potential synergies of theorem proving and model checking for software product lines | 10 | 0.48 | 2014 |
| Family-based performance measurement | 12 | 0.53 | 2013 |
| Strategies for product-line verification: case studies and experiments | 64 | 1.24 | 2013 |
| Feature-interaction detection based on feature-based specifications | 26 | 0.91 | 2013 |
| The PLA model: on the combination of product-line analyses | 22 | 0.62 | 2013 |
| Scalable analysis of variable software | 82 | 1.81 | 2013 |
| Domain Types: Selecting Abstractions Based on Variable Usage | 1 | 0.35 | 2013 |
| A comparison of product-based, feature-based, and family-based type checking | 7 | 0.42 | 2013 |
| Domain Types: Abstract-Domain Selection Based on Variable Usage. | 10 | 0.51 | 2013 |
| Toward variability-aware testing | 34 | 0.84 | 2012 |
| Feature-Aware Verification | 0 | 0.34 | 2011 |
