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.
Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
Certificateless Cryptography,
, vol. BSc: Warsaw University of Technology, 2009.
[pdf]
"Example-Driven Modeling. Model = Abstractions + Examples",
New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.
[pdf]
"Clafer: Unifying Class and Feature Modeling",
Software and Systems Modeling, 2014.
[pdf]
Modeling and Analysis of Software Product Line Variability in Clafer,
, vol. PhD: University of Waterloo, 11/2013.
"Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled",
3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010.
[pdf][pdf]
"Partial Instances via Subclassing",
6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.
[pdf][pdf]
"Feature and Class Models in Clafer: Mixed, Specialized, and Coupled",
David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]