| MROS: runtime adaptation for robot control architectures | 0 | 0.34 | 2022 |
| Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis | 0 | 0.34 | 2021 |
| Verification of Program Transformations with Inductive Refinement Types | 0 | 0.34 | 2021 |
| The forgotten case of the dependency bugs: on the example of the robot operating system | 0 | 0.34 | 2020 |
| A tailored participatory action research for foss communities. | 0 | 0.34 | 2020 |
| Affiliated Participation in Open Source Communities | 1 | 0.38 | 2019 |
| Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. | 2 | 0.35 | 2019 |
| Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. | 0 | 0.34 | 2019 |
| Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). | 0 | 0.34 | 2019 |
| Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT. | 1 | 0.35 | 2019 |
| Why does code review work for open source software communities? | 3 | 0.42 | 2019 |
| Guest editorial to the special section on ECMFA and ICMT at STAF 2016 | 0 | 0.34 | 2019 |
| Going Beyond Obscurity: Organizational Approaches to Data Anonymization. | 0 | 0.34 | 2018 |
| Influencers of quality assurance in an open source community. | 2 | 0.39 | 2018 |
| Identifying features in forks. | 6 | 0.43 | 2018 |
| Data-efficient performance learning for configurable systems. | 8 | 0.41 | 2018 |
| Variability-Specific Abstraction Refinement for Family-Based Model Checking. | 8 | 0.44 | 2017 |
| From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. | 0 | 0.34 | 2017 |
| Controller synthesis for dynamic hierarchical real-time plants using timed automata. | 0 | 0.34 | 2017 |
| Effective Analysis of C Programs by Rewriting Variability. | 7 | 0.44 | 2017 |
| Variability through the eyes of the programmer. | 3 | 0.37 | 2017 |
| Efficient family-based model checking via variability abstractions. | 7 | 0.42 | 2017 |
| Concepts, Operations, and Feasibility of a Projection-Based Variation Control System | 0 | 0.34 | 2016 |
| A Quantitative Analysis of Variability Warnings in Linux. | 5 | 0.40 | 2016 |
| Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. | 0 | 0.34 | 2016 |
| How does the degree of variability affect bug finding? | 10 | 0.49 | 2016 |
| Trustworthy variant derivation with translation validation for safety critical product lines. | 0 | 0.34 | 2016 |
| A Model For Industrial Real-Time Systems | 2 | 0.37 | 2015 |
| Real-time specifications | 11 | 0.48 | 2015 |
| Forked and integrated variants in an open-source firmware project | 17 | 0.61 | 2015 |
| Experiences from Designing and Validating a Software Modernization Transformation (E) | 5 | 0.41 | 2015 |
| Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. | 1 | 0.35 | 2014 |
| To connect or not to connect: experiences from modeling topological variability | 8 | 0.62 | 2014 |
| Variability mechanisms in software ecosystems. | 26 | 0.96 | 2014 |
| A Core Language for Separate Variability Modeling | 1 | 0.37 | 2014 |
| Efficient synthesis of feature models. | 26 | 0.75 | 2014 |
| Three Cases of Feature-Based Variability Modeling in Industry. | 31 | 0.93 | 2014 |
| Sound Merging and Differencing for Class Diagrams | 6 | 0.47 | 2014 |
| Information Leakage of Non-Terminating Processes. | 1 | 0.36 | 2014 |
| Systematic derivation of static analyses for software product lines | 11 | 0.57 | 2014 |
| Flexible product line engineering with a virtual platform | 28 | 0.82 | 2014 |
| Partial Instances via Subclassing. | 3 | 0.38 | 2013 |
| Maximizing entropy over Markov processes. | 9 | 0.65 | 2013 |
| Variability-aware performance prediction: A statistical learning approach. | 55 | 1.26 | 2013 |
| A Study of Variability Models and Languages in the Systems Software Domain | 64 | 1.51 | 2013 |
| Example-Driven Modeling: Model = Abstractions + Examples | 17 | 0.71 | 2013 |
| Example-Driven Modeling using Clafer. | 8 | 0.46 | 2013 |
| Quantifying Information Leakage of Randomized Protocols. | 10 | 0.52 | 2013 |
| Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). | 8 | 0.46 | 2013 |
| Abstract Probabilistic Automata. | 14 | 0.65 | 2013 |
