Publications

Export 227 results:
Sort by: Author [ Type (Desc)] Year
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.
Bąk, K., Certificateless Cryptography, , vol. BSc: Warsaw University of Technology, 2009. [pdf]
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.
Stephan, M., "Detection of Java EE EJB Antipattern Instances using Framework-Specific Models", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 113, 04/2009.
Lau, S Q., "Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 168, 2006. [pdf]
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.
She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
Rauf, R., "A Framework for Logical Structure Extraction from Software Requirements Documents", Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 83, 01/11, 2011.
Antkiewicz, M., "Framework-specific modeling languages", Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
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.
Akhtar, Z., "Model Based Automotive System Design: A Power Window Controller Case Study", ECE, vol. MASC, Waterloo, University of Waterloo, 03/2015.
Lee, H M., "Model-guided Code Assistance for Framework Application Development", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 69, 04/2009.
Bąk, K., Modeling and Analysis of Software Product Line Variability in Clafer, , vol. PhD: University of Waterloo, 11/2013.
Padilla, J. A., "Modeling and Implementing Variability in Aerospace Systems Product Lines", Computer Science, vol. Master of Mathematics: University of Waterloo, 10/2014.
Kim, C H P., "On the Relationship between Feature Models and Ontologies", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 89, 2006.
Pekilis, B R., "An ontology-based approach to concern-specific dynamic software structure monitoring", Electrical and Computer Engineering, vol. PhD, Waterloo, University of Waterloo, pp. 213, 2006.
Heydarnoori, A., "Supporting Framework Use via Automatically Extracted Concept-Implementation Templates", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 178, 04/2009. [pdf]
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.
Report
Diskin, Z., An algebraic semantics for bidirectional model synchronization, , no. GSDLab TR 2014-04-01, 08/2014. [pdf]
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., 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]
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., Compositionality of Update Propagation: Lax Putput, , no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [pdf]
Heydarnoori, A., T. Tonelli Bartolomei, and K. Czarnecki, Comprehending Object-Oriented Software Frameworks Through Dynamic Analysis, , no. CS-2007-18: University of Waterloo, 10/2007. [pdf]
Hubaux, A., Y. Xiong, and K. Czarnecki, Configuration Challenges in Linux and eCos: A Survey, , no. GSDLAB-TR 2011-09-29, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011. [pdf][pdf][pdf]

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