] This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
Certificateless Cryptography,
, vol. BSc: Warsaw University of Technology, 2009.
[pdf]
"Managing Consistency of Business Process Models across Abstraction Levels",
Electrical and Computer Engineering, vol. Doctor of Philosophy, Waterloo, ON, Canada, University of Waterloo, 2014.
Modeling and Analysis of Software Product Line Variability in Clafer,
, vol. PhD: University of Waterloo, 11/2013.
An Empirical Study on Consistency Management of Business and IT Process Models,
, Waterloo, Generative Software Development Laboratory, 2012.
[pdf]
"Feature and Class Models in Clafer: Mixed, Specialized, and Coupled",
David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
Feature-to-Code Mapping in Two Large Product Lines,
, Leipzig, Department of Computer Science, University of Leipzig, 2010.
[pdf]
Formal Semantics of the CDL Language,
: University of Leipzig, 2010.
[pdf]
Formal Semantics of the Kconfig Language,
: University of Waterloo, 2010.
[pdf]
Modeling product lines with Kripke structures and modal logic,
, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014.
[pdf]
Modeling Product Lines with Kripke Structures and Modal Logic,
, no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015.
[pdf]
"Supporting Different Process Views through a Shared Process Model",
Technical Report, 2012.
Variability Modeling in the Systems Software Domain,
: Generative Software Development Laboratory, University of Waterloo, 2012.
[pdf]
Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study,
: Generative Software Development Laboratory, University of Waterloo, 2015.
[pdf]
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]
" Impact of Ad Libraries on Ratings of Android Mobile Apps",
IEEE Software, 2014.
"A Case Study on Consistency Management of Business and IT Process Models in Banking",
SoSyM - Special Issue on Enterprise Modeling, 2013.
"Clafer: Unifying Class and Feature Modeling",
Software and Systems Modeling, 2014.
[pdf]
"Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel",
Empirical Software Engineering, Springer, 05/2015.
"An Examination of the Current Rating System used in Mobile App Stores",
IEEE Software, 2015.
"A Large Scale Empirical Study on Software Reuse in Mobile Apps",
IEEE Software, vol. 31, issue 2, 2014.
"Mixin-Based Programming in C++: A solution to the constructor problem",
Dr. Dobb's Journal, pp. 111-112, 01/2001.
"On Ad Library Updates in Android Apps",
IEEE Software, 2014.
"A Semi-Automatic Approach for Extracting Software Product Lines",
IEEE Transactions on Software Engineering, vol. 38, issue 4, no. 99, pp. 737-754, 2012.
"A Study of Variability Models and Languages in the Systems Software Domain",
IEEE Transactions on Software Engineering, vol. 39, issue 12, no. 12, pp. 1611-1640, Dec, 2013.
[pdf]
"Supporting Different Process Views through a Shared Process Model",
Software and Systems Modeling, 2015.
