Year: 2013
Refereed Journal Papers and Articles
2013
[3] and : C2O configurator: a tool for guided decision-making., in Journal of Automated Software Engineering (JASE), volume 20, . [pdf] [doi]
[2] and : Determining the Cause of a Design Model Inconsistency., in IEEE Transactions on Software Engineering, volume 39, . [pdf]
[1] , and : Improving CASA Runtime Performance by Exploiting Basic Feature Model Analysis., in CoRR, volume abs/1311.7313, .
Refereed Conference Papers
2013
[10] , , and : An Infrastructure for the Life Cycle Management of Multi Product Lines, in Proceedings 28th ACM Symposium On Applied Computing (SAC 2013), ACM, New York, NY, USA, . [doi]
[9] , , , and : Constraint Checking in Distributed Product Configuration of Multi Product Lines, in Proceedings 20th Asia-Pacific Software Engineering Conference (APSEC 2013), volume 1, . [doi]
[8] , and : Monitoring System-of-Systems Requirements in Multi Product Lines, in Proceedings 19th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2013) (Doerr, Joerg, Opdahl, Andreas, eds.), Springer Berlin Heidelberg, volume 7830, . [doi]
[7] , , , and : Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing., in Proceedings of the 28th International Conference on Software Maintenance (ICSM 2013), Riva del Garda, Italy, . [pdf] [doi]
[6] , and : On Extracting Feature Models from Sets of Valid Feature Combinations., in Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy (Vittorio Cortellessa, Daniel Varr, eds.), Springer, volume 7793, . [pdf] [doi]
[5] , , and : Points-To Analysis of IEC 61131-3 Programs: Implementation and Application, in Proceedings 18th IEEE International Conference on Emerging Technologies & Factory Automation, . [doi]
[4] , and : Recovering traceability between features and code in product variants., in Proceedings of the 17th International Software Product Line Conference (SPLC 2013), Tokyo, Japan, . [pdf] [doi]
[3] and : SBSE4VM: Search Based Software Engineering for Variability Management., in Proceedings of the 17th European Conference on Software Maintenance and Reengineering (CSMR 2013), Genova, Italy (Anthony Cleve, Filippo Ricca, Maura Cerioli, eds.), (IEEE) Computer Society, . [pdf] [doi]
[2] , and : Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management., in Proceeding of the 16th International Conference on Model-Driven Engineering Languages & Systems (MoDELS 2013), Miami, USA, . [pdf] [doi]
[1] and : Towards interactive visualization support for pairwise testing software product lines., in 1st IEEE International Working Conference on Software Visualization (VISSOFT), Eindhoven, NL (Alexandru Telea, Andreas Kerren, Andrian Marcus, eds.), (IEEE) Computer Society, . [pdf]
Other Publications
2013
[7] : Automated Consistency Management Framework for the Model Based Software Development, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, . (Advisor: Alexander Egyed) [pdf]
[6] : Automatic Model-based Management of Design Constraints, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
[5] : Instant Incremental Class Invariant Checking for Java Virtual Machines, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
[4] : Model-and-Code Consistency Checking, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
[3] : Reasoning over UML Models with Ambiguities, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
[2] : Reverse Engineering Variability from Product Variants, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
[1] : Traceability decision making in the case of the presence of conflicts, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, . (Advisor: Alexander Egyed) [pdf]
Powered by bibtexbrowser