Tagged by "Publications"

News Items

• Our paper "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers" accepted at SAE 2015
• Paper accepted at Feature Oriented Software Development (FOSD'11) Workshop
• Our paper "Visualization and Exploration of Optimal Variants in Product Line Engineering" has been accepted for publication at SPLC'13
• Our paper "Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers" has been accepted for publication at the Modularity Conference (AOSD), 2015
• Patterns for API Migration by Wrapping accepted at ICSM 2010
• Paper accepted at IEEE Transactions on Software Engineering
• Our paper "Variability-Aware Performance Prediction: A Statistical Learning Approach" accepted at ASE 2013
• Our paper "Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel" is now published online at the Empirical Software Engineering Journal
• Variability Modeling in the Real: A Perspective from the Operating Systems Domain accepted at ASE 2010
• Report "Configuration Challenges in Linux and eCos: A Survey" published
• Our paper "Partial Instances via Subclassing" has been accepted for publication at SLE'13
• Our paper "MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers" will be presented at CADE 2015 in Berlin.
• Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled has been accepted at SLE 2010
• "A User Survey of Configuration Challenges in Linux and eCos" accepted at VaMoS'12
• Our paper "Example-Driven Modeling Using Clafer" has been presented and published in pre-proceedings at MDEBE'13