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.
"Supporting Framework Use via Automatically Extracted Concept-Implementation Templates", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 178, 04/2009.
"Fast Extraction of High-Quality Framework-Specific Models from Application Code", Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
"Efficient Reasoning Techniques for Large Scale Feature Models", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
"Bidirectional Transformations: A Cross-Discipline Perspective, GRACE Meeting Notes, State of the Art, and Outlook", Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563, Berlin, Heidelberg, Springer, pp. 260 - 283, 2009.
Certificateless Cryptography, , vol. BSc: Warsaw University of Technology, 2009.
"Model-versioning-in-the-large: Algebraic foundations and the tile notation", 2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009.
"SAT-based Analysis of Feature Models is Easy", 13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009.
"Algebraic Models for Bidirectional Model Synchronization", MoDELS 2008, Toulouse France, Springer, 10/2008.
"Framework-specific modeling languages", Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
"Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
"Ecore.fmp: A tool for editing and instantiating class models as feature models", Electrical and Computer Engineering, Waterloo, University of Waterloo, 05/2008.
"Decision-making coordination in collaborative product configuration", ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
"Design Space of Heterogeneous Synchronization", Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007, Revised Papers, vol. 5235, Berlin, Heidelberg, Springer, pp. 3 - 46, 2008.
"Efficient compilation techniques for large scale feature models", 7th international conference on Generative programming and component engineering - GPCE '08, Nashville, USA, ACM Press, pp. 13, 2008.
"Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September/October 2008, Proceedings", Lecture Notes in Computer Science, vol. 5301/2009, Berlin, Heidelberg, Springer-Verlag, 2008.
"On-demand materialization of aspects for application development", The 2008 AOSD Workshop on Software Engineering Properties of Languages and Aspect Technologies - SPLAT '08, Brussels, Belgium, ACM Press, pp. 1 - 6, 2008.
"Sample Spaces and Feature Models: There and Back Again", 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, IEEE, pp. 22 - 31, 2008.
"Towards a Generic Infrastructure for Framework-Specific Integrated Development Environment Extensions", 2nd International Workshop on Domain-Specific Program Development (DSPD’08), co-located with OOPSLA'08, Nashville, Tennessee, USA, 2008.
"Automatic Extraction of Framework-Specific Models From Framework-Based Application Code", 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, USA, 11/2007.
"Comprehending implementation recipes of framework-provided concepts through dynamic analysis", OOPSLA Companion, Poster Session, Montreal, Quebec, Canada, ACM Press, pp. 819–820, 10/2007.
Comprehending Object-Oriented Software Frameworks Through Dynamic Analysis, , no. CS-2007-18: University of Waterloo, 10/2007.
"Mining Implementation Recipes of Framework-Provided Concepts in Dynamic Framework API Interaction Traces", OOPSLA Companion, Tool Demonstration Track, Montreal, Quebec, Canada, ACM Press, pp. 876-877, 10/2007.
"Mehrstufige, Kunden-Spezifische Anpassungen in der Anwendungsentwicklung", Objekt Spektrum, issue 1, 01/2007.
"Automated Model-Based Configuration of Enterprise Java Applications", 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), Annapolis, USA, IEEE, pp. 301 - 301, 2007.
"Feature Diagrams and Logics: There and Back Again", SPLC '07: Proceedings of the 11th International Software Product Line Conference, Washington, USA, IEEE Computer Society, pp. 23–34, 2007.