Publications

Export 227 results:
Sort by: Author Type [ Year (Asc)]
2014
Nadi, S., T. Berger, C. Kästner, and K. Czarnecki, "Mining Configuration Constraints: Static Analyses and Empirical Results", 36th International Conference on Software Engineering (ICSE'14), 2014. [pdf]
Mojica, I. J., M. Nagappan, B. Adams, T. Berger, S. Dienst, and A. E. Hassan, "On Ad Library Updates in Android Apps", IEEE Software, 2014.
Berger, T., and M. Ribeiro, Proceedings of the 6th International Workshop on Feature-Oriented Software Development (FOSD), , New York, NY, USA, ACM, 2014.
Berger, T., D. Nair, R. Rublack, J. M. Atlee, K. Czarnecki, and A. Wąsowski, "Three Cases of Feature-Based Variability Modeling in Industry", ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2014. [pdf][pdf]
Berger, T., S. Stanciulescu, O. Ogaard, O. Haugen, B. Larsen, and A. Wąsowski, "To Connect or Not to Connect: Experiences from Modeling Topological Variability", 18th International Software Product Line Conference (SPLC), 2014. [pdf]
Berger, T., and J. Guo, "Towards System Analysis with Variability Model Metrics", Eigth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS'14), 2014. [pdf][pdf]
Voelter, M., J. Siegmund, T. Berger, and B. Kolb, "Towards User-Friendly Projectional Editors", 7th International Conference on Software Language Engineering (SLE), 2014. [pdf]
Berger, T., R-H. Pfeiffer, R. Tartler, S. Dienst, K. Czarnecki, A. Wąsowski, and S. She, "Variability Mechanisms in Software Ecosystems", Information and Software Technology, vol. 56, issue 11, 2014. [pdf]
Diskin, Z., A. Wider, H. Gholizadeh, and K. Czarnecki, A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]
Diskin, Z., "Towards Category Theory Foundations for Model Management", GSDLab-TR , no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014. [pdf]
Zulkoski, E., C. Kleynhans, M-H. Yee, D. Rayside, and K. Czarnecki, "Optimizing Alloy for Multi-Objective Software Product Line Configuration", ABZ, Toulouse, France, Springer-Verlag, 06/2014. [pdf]
Diskin, Z., An algebraic semantics for bidirectional model synchronization, , no. GSDLab TR 2014-04-01, 08/2014. [pdf]
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling product lines with Kripke structures and modal logic, , no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]
Safilian, A., T. Maibaum, and Z. Diskin, The Semantics of Feature Models via Formal Languages (Extended Version), , no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014. [pdf]
Ji, W., "Cost and Benefit of Embedded Feature Annotation: A Case Study", Electrical and Computer Engineering, vol. Master of Applied Science, Waterloo, ON, Canada, University of Waterloo, 09/2014.
Olaechea, R., D. Rayside, J. Guo, and K. Czarnecki, "Comparison of exact and approximate multi-objective optimization for software product lines", Software Product Line Conference, vol. 1, Florence, Italy, ACM, pp. 92-101, 10/2014. [pdf]
Padilla, J. A., "Modeling and Implementing Variability in Aerospace Systems Product Lines", Computer Science, vol. Master of Mathematics: University of Waterloo, 10/2014.
Branco, M., "Managing Consistency of Business Process Models across Abstraction Levels", Electrical and Computer Engineering, vol. Doctor of Philosophy, Waterloo, ON, Canada, University of Waterloo, 2014.
Guo, J., E. Zulkoski, R. Olaechea, D. Rayside, K. Czarnecki, S. Apel, and J. M. Atlee, "Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), Västerås, Sweden, ACM, to appear, 2014. [pdf][pdf]
2015
Mojica, I. J., M. Nagappan, B. Adams, T. Berger, S. Dienst, and A. E. Hassan, "An Examination of the Current Rating System used in Mobile App Stores", IEEE Software, 2015.
Passos, L., J. Gaeta, T. Berger, S. Apel, K. Czarnecki, and M T. Valente, "Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers", 14th International Conference on Modularity: ACM, 2015. [pdf][pptx]
Ji, W., T. Berger, M. Antkiewicz, and K. Czarnecki, "Maintaining Feature Traceability with Embedded Annotations", 19th International Software Product Line Conference (SPLC), 2015. [pdf][pdf]
Gaeta, J., and K. Czarnecki, "Modeling Aerospace Systems Product Lines in SysML", 19th International Software Product Line Conference (SPLC), 2015.
von Rhein, A., A. Grebhahn, S. Apel, N. Siegmund, D. Beyer, and T. Berger, "Presence-Condition Simplification in Highly Configurable Systems", 37th International Conference on Software Engineering (ICSE), 2015.
Liang, J., V. Ganesh, K. Czarnecki, and V. Raman, "SAT-based Analysis of Large Real-world Feature Models is Easy", 19th International Software Product Line Conference (SPLC), Nashville, 2015.

Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.

Alexandr Murashkin

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta