Publications

Export 32 results:
Sort by: Author [ Type (Desc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Thesis
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.
Mendonça, M., "Efficient Reasoning Techniques for Large Scale Feature Models", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
Report
Murashkin, A., Analysis and Prediction of Application Categories on Online Application Stores, , no. GSDLAB-TR 2014-05-22, Waterloo, University of Waterloo, 2013.
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries and Kleisli categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011. [pdf]
Diskin, Z., S. Kokaly, and T. Maibaum, Mechanics of Megamodeling: Design Patterns and Laws, , no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. [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]
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]
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]
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]
Murashkin, A., Web-based GUI for Pareto front visualization and analysis, , no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
Journal Article
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.
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.
Mojica, I. J., B. Adams, M. Nagappan, S. Dienst, T. Berger, and A. E. Hassan, "A Large Scale Empirical Study on Software Reuse in Mobile Apps", IEEE Software, vol. 31, issue 2, 2014.
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]
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.
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.
Conference Proceedings
Diskin, Z., and T. Maibaum, "Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond", 7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012), To appear, 2012. [pdf]
Conference Paper
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.
Antkiewicz, M., K. Bąk, A. Murashkin, R. Olaechea, J. Liang, and K. Czarnecki, "Clafer Tools for Product Line Engineering", Software Product Line Conference, Tokyo, Japan, 2013. [pdf]
Mendonça, M., T. Tonelli Bartolomei, and D. Cowan, "Decision-making coordination in collaborative product configuration", ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008. [pdf]
Mendonça, M., A. Wąsowski, K. Czarnecki, and D. Cowan, "Efficient compilation techniques for large scale feature models", 7th international conference on Generative programming and component engineering - GPCE '08, Nashville, USA, ACM Press, pp. 13, 2008. [pdf]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries, and Kleisli categories", 15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
Diskin, Z., S. Kokaly, and T. Maibaum, "Mapping-aware megamodeling: Design Patterns and Laws", Software Language Engineering: Springer, 2013. [zip]
Meusel, M., K. Czarnecki, and W. Kopf, "A model for structuring user documentation of object-oriented frameworks using patterns and hypertext", ECOOP'97 — Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1241, Jyväskylä, Finland, Springer-Verlag, pp. 496 - 510, 1997.
Lotufo, R., Z. Malik, and K. Czarnecki, "Modelling the `Hurried' Bug Report Reading Process to Summarize Bug Reports", International Conference on Software Maintenance, Trento, Italy, IEEE, 09/2012. [pdf][pdf]

In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.

Wenbin Ji

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