We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
"Modeling and Reasoning with Multirelations, and their encoding in Alloy",
16th International Workshop in OCL and Textual Modeling, 10/2016.
"Ecore.fmp: A tool for editing and instantiating class models as feature models",
Electrical and Computer Engineering, Waterloo, University of Waterloo, 05/2008.
[pdf]
"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.
Formal Semantics of the Kconfig Language,
: University of Waterloo, 2010.
[pdf]
"Variability Model of the Linux Kernel",
Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.
[pdf]
"Feature Model Mining",
School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
"Reverse Engineering Feature Models",
ICSE 2011, 2011.
[pdf][pdf]
"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]
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]