Publications

Export 227 results:
Sort by: Author Type [ Year  (Desc)]
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., 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]
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.
Avelino, G., L. Passos, A. Hora, and M T. Valente, "A Novel Approach for Estimating Truck Factors", International Conference on Program Comprehension: ACM, 2016.
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.