Publications

Export 227 results:
Sort by: Author Type [ Year (Desc)]
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.
Kuester, J., H. Voelzer, C. Favre, M. Branco, and K. Czarnecki, "Supporting Different Process Views through a Shared Process Model", Software and Systems Modeling, 2015.
Berger, T., and S. Nadi, "Variability Models in Large-Scale Systems: A Study and a Reverse-Engineering Technique", Software Engineering (SE), 2015. [pdf]
Berger, T., D. Lettner, J. Rubin, P. Grünbacher, A. Silva, M. Becker, M. Chechik, and K. Czarnecki, "What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines", 19th International Software Product Line Conference (SPLC), 2015. [pdf][pdf]
Nadi, S., T. Berger, C. Kästner, and K. Czarnecki, Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study, : Generative Software Development Laboratory, University of Waterloo, 2015. [pdf]
Nadi, S., T. Berger, C. Kästner, and K. Czarnecki, "Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study", IEEE Transactions on Software Engineering, 2015.
Diskin, Z., ZinovyDiskin-Photo, , 2015. [jpg]
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]
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.
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.
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.
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]
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., "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]
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]
Mojica, I. J., M. Nagappan, B. Adams, T. Berger, S. Dienst, and A. E. Hassan, " Impact of Ad Libraries on Ratings of Android Mobile Apps", IEEE Software, 2014.
Murashkin, A., "Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer", School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Clafer: Unifying Class and Feature Modeling", Software and Systems Modeling, 2014. [pdf]
Passos, L., and K. Czarnecki, "A Dataset of Feature Additions and Feature Removals from the Linux Kernel", 11th Working Conference on Mining Software Repositories, India, IEEE/ACM, 2014. [pdf]
Queiroz, R., L. Passos, M T. Valente, S. Apel, and K. Czarnecki, "Does Feature Scattering Follow Power-Law Distributions? An Investigation of Five Pre-Processor-Based Systems", 6th International Workshop of Feature-Oriented Software Evolution, Sweden, ACM, 2014. [pdf]
Zayan, D., M. Antkiewicz, and K. Czarnecki, "Effects of Using Examples on Structural Model Comprehension", ICSE, 2014. [zip][pdf][ppsx]

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk

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