] Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Publications
"Presence-Condition Simplification in Highly Configurable Systems",
37th International Conference on Software Engineering (ICSE), 2015.
"SAT-based Analysis of Large Real-world Feature Models is Easy",
19th International Software Product Line Conference (SPLC), Nashville, 2015.
"Supporting Different Process Views through a Shared Process Model",
Software and Systems Modeling, 2015.
"Variability Models in Large-Scale Systems: A Study and a Reverse-Engineering Technique",
Software Engineering (SE), 2015.
[pdf]
"What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines",
19th International Software Product Line Conference (SPLC), 2015.
[pdf][pdf]
Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study,
: Generative Software Development Laboratory, University of Waterloo, 2015.
[pdf]
"Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study",
IEEE Transactions on Software Engineering, 2015.
ZinovyDiskin-Photo,
, 2015.
[jpg]
"Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization",
29th IEEE/ACM International Conference on Automated Software Engineering (ASE), Västerås, Sweden, ACM, to appear, 2014.
[pdf][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.
"Comparison of exact and approximate multi-objective optimization for software product lines",
Software Product Line Conference, vol. 1, Florence, Italy, ACM, pp. 92-101, 10/2014.
[pdf]
"Modeling and Implementing Variability in Aerospace Systems Product Lines",
Computer Science, vol. Master of Mathematics: University of Waterloo, 10/2014.
"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.
An algebraic semantics for bidirectional model synchronization,
, no. GSDLab TR 2014-04-01, 08/2014.
[pdf]
Modeling product lines with Kripke structures and modal logic,
, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014.
[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]
"Optimizing Alloy for Multi-Objective Software Product Line Configuration",
ABZ, Toulouse, France, Springer-Verlag, 06/2014.
[pdf]
"Towards Category Theory Foundations for Model Management",
GSDLab-TR , no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014.
[pdf]
A Taxonomic Space for Increasingly Symmetric Model Synchronization,
, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.
[pdf]
" Impact of Ad Libraries on Ratings of Android Mobile Apps",
IEEE Software, 2014.
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer",
School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
"Clafer: Unifying Class and Feature Modeling",
Software and Systems Modeling, 2014.
[pdf]
"A Dataset of Feature Additions and Feature Removals from the Linux Kernel",
11th Working Conference on Mining Software Repositories, India, IEEE/ACM, 2014.
[pdf]
"Does Feature Scattering Follow Power-Law Distributions? An Investigation of Five Pre-Processor-Based Systems",
6th International Workshop of Feature-Oriented Software Evolution, Sweden, ACM, 2014.
[pdf]
![[jpg]](sites/default/files/rsz_zinovydiskin-photo__1429745444_18417527210.jpg){kind=link}