Publications

Export 227 results:
Sort by: Author Type [ Year (Desc)]
2017
Diskin, Z., Compositionality of Update Propagation: Lax Putput, , no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [pdf]
Chauchan, M., R. Pellizzoni, and K. Czarnecki, "Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability", Design Automation Conference, 06/2017.
Ross, J., A. Murashkin, J. Liang, M. Antkiewicz, and K. Czarnecki, "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017.
2016
Diskin, Z., Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations, , no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016. [pdf]
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.
Ross, J., "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", ECE, vol. MASC, Waterloo, University of Waterloo, pp. 165, 08/2016.
Ross, J., M. Antkiewicz, and K. Czarnecki, "Case Studies on E/E Architectures for Power Window and Central Door Locks Systems", Technical Report, no. GSDLAB-TR-2016-06-23: University of Waterloo, 06/2016. [pdf]
Khalilov, E., and J. Ross, "Supplemental material for the paper 'Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners'", Supplemental Material, no. GSDLAB-SM-2016-05: University of Waterloo, 05/2016. [pdf][pdf][zip]
Diskin, Z., Asymmetric Delta-Lenses with Uncertainty: Towards a Formal Framework for Flexible BX, , no. GSDLAB–TR 2016-03-01, Waterloo, University of Waterloo, 03/2016. [pdf]
Liang, J., V. Ganesh, P. Poupart, and K. Czarnecki, "Exponential Recency Weighted Average Branching Heuristic for SAT Solvers", AAAI 2016, Phoenix, Arizona, 02/2016.
Khalilov, E., J. Ross, M. Antkiewicz, M. Voelter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA: Springer, 2016. [pdf]
Avelino, G., L. Passos, A. Hora, and M T. Valente, "A Novel Approach for Estimating Truck Factors", International Conference on Program Comprehension: ACM, 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]
Zhang, Y., J. Guo, E. Blais, and K. Czarnecki, "Performance Prediction of Configurable Software Systems by Fourier Learning", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, 11/2015. [pdf][pdf]
Zulkoski, E., V. Ganesh, and K. Czarnecki, "MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers", International Conference on Automated Deduction, Berlin, Germany, Springer, 08/2015. [pdf][pptx]
Queiroz, R., L. Passos, M T. Valente, C. Hunsen, S. Apel, and K. Czarnecki, "The Shape of Feature Code: An Analysis of Twenty C-Preprocessor-Based Systems", Journal on Software and Systems Modeling: Springer, pp. 1–29, 07/2015.
Passos, L., L. Teixeira, D. Nicolas, S. Apel, A. Wąsowski, K. Czarnecki, P. Borba, and J. Guo, "Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel", Empirical Software Engineering, Springer, 05/2015.
Murashkin, A., L S. Azevedo, J. Guo, E. Zulkoski, J. Liang, K. Czarnecki, and D. Parker, "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
Akhtar, Z., "Model Based Automotive System Design: A Power Window Controller Case Study", ECE, vol. MASC, Waterloo, University of Waterloo, 03/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.

People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.

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