[10] | Gerald Holl, Paul Grünbacher, Christoph Elsner and Michael Vierhauser: 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, 2013. |
[9] | Gerald Holl, Paul Grünbacher, Christoph Elsner, Thomas Klambauer and Michael Vierhauser: Constraint Checking in Distributed Product Configuration of Multi Product Lines, in Proceedings 20th Asia-Pacific Software Engineering Conference (APSEC 2013), volume 1, 2013. |
[8] | Klambauer, Thomas, Holl, Gerald and Grünbacher, Paul: 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, 2013. |
[7] | Roberto E. Lopez-Herrejon, Francisco Chicano, Javier Ferrer, Alexander Egyed and Enrique Alba: 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, 2013. |
[6] | Evelyn Nicole Haslinger, Roberto E. Lopez-Herrejon and Alexander Egyed: 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, 2013. |
[5] | Angerer, Florian, Prähofer, Herbert, Ramler, Rudolf and Grillenberger, Friedrich: Points-To Analysis of IEC 61131-3 Programs: Implementation and Application, in Proceedings 18th IEEE International Conference on Emerging Technologies & Factory Automation, 2013. |
[4] | Lukas Linsbauer, Roberto E. Lopez-Herrejon and Alexander Egyed: Recovering traceability between features and code in product variants., in Proceedings of the 17th International Software Product Line Conference (SPLC 2013), Tokyo, Japan, 2013. |
[3] | Lopez-Herrejon, Roberto E. and Alexander Egyed: 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, 2013. |
[2] | Andreas Demuth, Roberto E. Lopez-Herrejon and Alexander Egyed: 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, 2013. |
[1] | Roberto E. Lopez-Herrejon and Alexander Egyed: 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, 2013. |
[7] | Alexander Reder: Automated Consistency Management Framework for the Model Based Software Development, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. |
[6] | Andreas Demuth: Automatic Model-based Management of Design Constraints, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. |
[5] | Sebastian Wilms: Instant Incremental Class Invariant Checking for Java Virtual Machines, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. |
[4] | Markus Riedl-Ehrenleitner: Model-and-Code Consistency Checking, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. |
[3] | Franziska Öllerer: Reasoning over UML Models with Ambiguities, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. |
[2] | Lukas Linsbauer: Reverse Engineering Variability from Product Variants, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. |
[1] | Egor Erofeev: Traceability decision making in the case of the presence of conflicts, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. |