| Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱. | 0 | 0.34 | 2022 |
| Information Flow Control-by-Construction for an Object-Oriented Language | 0 | 0.34 | 2022 |
| Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines | 0 | 0.34 | 2021 |
| Integration of UVL in FeatureIDE | 0 | 0.34 | 2021 |
| Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. | 0 | 0.34 | 2021 |
| Custom-tailored clone detection for IEC 61131-3 programming languages | 0 | 0.34 | 2021 |
| Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. | 0 | 0.34 | 2020 |
| SMT-based variability analyses in FeatureIDE. | 0 | 0.34 | 2020 |
| Skill-Based Verification of Cyber-Physical Systems. | 0 | 0.34 | 2020 |
| 17. Workshop Automotive Software Engineering. | 0 | 0.34 | 2020 |
| Evaluating #SAT solvers on industrial feature models. | 0 | 0.34 | 2020 |
| GuyDance: Guiding Configuration Updates for Product-Line Evolution | 0 | 0.34 | 2020 |
| Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy Software. | 1 | 0.35 | 2020 |
| Consistency-preserving evolution planning on feature models. | 0 | 0.34 | 2020 |
| ASE 2020 Preface. | 0 | 0.34 | 2020 |
| SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. | 0 | 0.34 | 2019 |
| Tool Support for Correctness-by-Construction. | 0 | 0.34 | 2019 |
| Feature-oriented contract composition. | 0 | 0.34 | 2019 |
| On language levels for feature modeling notations | 0 | 0.34 | 2019 |
| Tool Support for Correctness-by-Construction. | 0 | 0.34 | 2019 |
| Analyzing variability in 25 years of industrial legacy software: an experience report | 0 | 0.34 | 2019 |
| Towards efficient analysis of variation in time and space | 1 | 0.35 | 2019 |
| Feature-oriented contract composition: [journal first] | 0 | 0.34 | 2019 |
| Towards Confidentiality-by-Construction. | 0 | 0.34 | 2018 |
| Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. | 0 | 0.34 | 2018 |
| A Qualitative Study of Variability Management of Control Software for Industrial Automation Systems | 2 | 0.39 | 2018 |
| Scalability of Deductive Verification Depends on Method Call Treatment. | 0 | 0.34 | 2018 |
| Change analysis on evolving PLC software in automated production systems. | 0 | 0.34 | 2018 |
| Is there a mismatch between real-world feature models and product-line research? | 6 | 0.41 | 2018 |
| An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. | 2 | 0.36 | 2017 |
| Optimizing product orders using graph algorithms for improving incremental product-line analysis. | 9 | 0.42 | 2017 |
| Detecting Variability In Matlab/Simulink Models: An Industry-Inspired Technique And Its Evaluation | 1 | 0.35 | 2017 |
| Multi-objective black-box test case selection for system testing. | 2 | 0.36 | 2017 |
| Decision Support for Reducing Unnecessary IT Complexity of Application Architectures | 1 | 0.35 | 2017 |
| Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT Architectures. | 0 | 0.34 | 2017 |
| Risk-based integration testing of software product lines. | 3 | 0.37 | 2017 |
| Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. | 1 | 0.39 | 2017 |
| Variability Mining Of Technical Architectures | 1 | 0.35 | 2017 |
| Many-MADFAct: Concurrently Constructing MADFAs. | 0 | 0.34 | 2017 |
| Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. | 0 | 0.34 | 2016 |
| Proof-Carrying Apps: Contract-Based Deployment-Time Verification. | 1 | 0.36 | 2016 |
| Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering | 3 | 0.39 | 2016 |
| Incremental Consistency Checking In Delta-Oriented Uml-Models For Automation Systems | 0 | 0.34 | 2016 |
| Variability mining of state charts. | 2 | 0.36 | 2016 |
| Variability encoding: From compile-time to load-time variability. | 15 | 0.51 | 2016 |
| Higher-order delta modeling for software product line evolution. | 7 | 0.40 | 2016 |
| Applying Incremental Model Slicing to Product-Line Regression Testing. | 12 | 0.48 | 2016 |
| Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. | 4 | 0.38 | 2016 |
| Name resolution strategies in variability realization languages for software product lines. | 0 | 0.34 | 2016 |
| Correctness-by-Construction and Post-hoc Verification: Friends or Foes? | 1 | 0.37 | 2016 |
