Publications

Export 50 results:
Sort by: Author Type [ Year (Desc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
2016
Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki, "Modeling and Reasoning with Multirelations, and their encoding in Alloy", 16th International Workshop in OCL and Textual Modeling, 10/2016.
Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki, Relational Modeling and Reasoning with Multisets and Multirelations in Alloy, , no. GSDLAB-TR 2016-01-22, 2016. [pdf][als][als][als][zip][zip]
2015
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling Product Lines with Kripke Structures and Modal Logic, , no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]
Sarkar, A., J. Guo, N. Siegmund, S. Apel, and K. Czarnecki, "Cost-Efficient Sampling for Performance Prediction of Configurable Systems", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, IEEE, 11/2015. [pdf]
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.
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]
2014
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]
Antkiewicz, M., W. Ji, T. Berger, K. Czarnecki, T. Schmorleiz, R. Laemmel, Ș. Stănciulescu, A. Wąsowski, and I. Schaefer, "Flexible Product Line Engineering with a Virtual Platform", ICSE, 2014. [pdf][ppsx]
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]
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]
2013
Berger, T., S. She, R. Lotufo, A. Wąsowski, and K. Czarnecki, "A Study of Variability Models and Languages in the Systems Software Domain", IEEE Transactions on Software Engineering, vol. 39, issue 12, no. 12, pp. 1611-1640, Dec, 2013. [pdf]
Guo, J., K. Czarnecki, S. Apel, N. Siegmund, and A. Wąsowski, "Variability-Aware Performance Prediction: A Statistical Learning Approach", 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), Silicon Valley, California, USA, IEEE, 11/2013. [pdf][pdf]
Diskin, Z., A. Safilian, and T. Maibaum, "Modeling Product Lines with Kripke Structures and Modal Logic", GSD Technical Report, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013. [pdf]
Guo, J., K. Czarnecki, S. Apel, N. Siegmund, and A. Wąsowski, Why CART Works for Variability-Aware Performance Prediction? An Empirical Study on Performance Distributions, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 04/2013. [pdf]
Weidlich, M., E. Sheetrit, M. Branco, and A. Gal, "Matching Business Process Models Using Positional Language Models", 32nd International Conference on Conceptual Modeling, ER 2013, Hong Kong, 2013.
2012
Andersen, N., K. Czarnecki, S. She, and A. Wąsowski, "Efficient Synthesis of Feature Models", Software Product Line Conference (SPLC), Salvador, Brasil, 2012. [pdf]
Olaechea, R., S. Stewart, K. Czarnecki, and D. Rayside, "Modeling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software", International Workshop on Non- functional System Properties in Domain Specific Modeling Languages (NFPinDSML’12), Innsbruck, Austria, 10/2012. [pdf][pptx]
Rocha, H., C. Couto, C. Maffort, R. Garcia, C. Simões, L. Passos, and M T. Valente, "Mining the Impact of Evolution Categories on Object-Oriented Metrics", Software Quality Journal, 08/2012. [pdf]
Guo, J., K. Czarnecki, S. Apel, N. Siegmund, and A. Wąsowski, Variability-Aware Performance Modeling: A Statistical Learning Approach, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 08/2012. [pdf]
Xiong, Y., A. Hubaux, S. She, and K. Czarnecki, "Generating Range Fixes for Software Configuration", ICSE'12: 34th International Conference on Software Engineering, 06/2012. [pdf][pdf][zip]
Czarnecki, K., P. Gruenbacher, R. Rabiser, K. Schmid, and A. Wąsowski, "Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches", Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 01/2012. [pdf]
Berger, T., S. She, R. Lotufo, A. Wąsowski, and K. Czarnecki, Variability Modeling in the Systems Software Domain, : Generative Software Development Laboratory, University of Waterloo, 2012. [pdf]

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz

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

Kacper Bąk