Publications

Export 227 results:
Sort by: [ Author (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Diskin, Z., An algebraic semantics for bidirectional model synchronization, , no. GSDLab TR 2014-04-01, 08/2014. [pdf]
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling Product Lines with Kripke Structures and Modal Logic, , no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]
Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, "From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011. [pdf][pdf]
Diskin, Z., Compositionality of Update Propagation: Lax Putput, , no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [pdf]
Diskin, Z., Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations, , no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016. [pdf]
Diskin, Z., and T. Maibaum, "Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond", 7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012), To appear, 2012. [pdf]
Diskin, Z., "Model Synchronization: Mappings, Tiles and Categories", Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011. [pdf]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries and Kleisli categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011. [pdf]
Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011. [pdf]
Diskin, Z., A. Wider, H. Gholizadeh, and K. Czarnecki, A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]
Diskin, Z., ZinovyDiskin-Photo, , 2015. [jpg]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries, and Kleisli categories", 15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
C
Czarnecki, K., M. Antkiewicz, and C H P. Kim, "Multi-level customization in application engineering", Communications of the ACM, vol. 49, issue 12, pp. 60, 12/2006. [pdf]
Czarnecki, K., P. Gruenbacher, R. Rabiser, K. Schmid, and A. Wąsowski, "Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches", Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 01/2012. [pdf]
Czarnecki, K., T. Bednasch, P. Unger, and U. Eisenecker, "Generative Programming for Embedded Software: An Industrial Experience Report", First ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engineering (GPCE’02), Lecture Notes in Computer Science, vol. 2487, Pittsburgh, USA, Springer-Verlag, pp. 156 - 172, 2002.
Czarnecki, K., M. Antkiewicz, and C H P. Kim, "Mehrstufige, Kunden-Spezifische Anpassungen in der Anwendungsentwicklung", Objekt Spektrum, issue 1, 01/2007.
Czarnecki, K., U. Eisenecker, and P. Steyaert, "Beyond Objects: Generative Programming", ECOOP’97 Workshop on Aspect-Oriented Programming, Jyväskylä, Finland, 06/1997.
Czarnecki, K., and U. Eisenecker, "Separating the Configuration Aspect to Support Architecture Evolution", ECOOP’2000 Workshop on Aspects and Dimensions of Concerns, Sophia Antipolis and Cannes, France, 2000.
Czarnecki, K., and K. Pietroszek, "Verifying feature-based model templates against well-formedness OCL constraints", 5th international conference on Generative programming and component engineering - GPCE '06, Portland, Oregon, USA, ACM Press, pp. 211, 2006. [pdf]
Czarnecki, K., "Domain Engineering", Encyclopedia of Software Engineering, Second Edition, 2002.
Czarnecki, K., D. Zhang, and K. Lano, "An Animation Tool for Supporting Specification-Based Software Architectures", The 1995 Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer Aided Software Development: Specification-Based Architectures, Monterey, California, USA, U.S. Naval Postgraduate School, 09/1995.
Czarnecki, K., and S. Helsen, "Feature-based survey of model transformation approaches", IBM Systems Journal, vol. 45, issue 3, no. 3, Riverton, NJ, USA, IBM Corp., pp. 621–645, 2006. [pdf]
Czarnecki, K., R. Hanselmann, U. Eisenecker, and W. Kopf, "ClassExpert: a knowledge-based assistant to support reuse by specialization and modification in Smalltalk", Fourth IEEE International Conference on Software Reuse, Orlando, USA, IEEE Computer Society Press, pp. 188 - 194, 1996.
Czarnecki, K., N. J. Foster, Z. Hu, R. Lämmel, A. Schurr, and J. F. Terwilliger, "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. [pdf]
Czarnecki, K., and C H P. Kim, "Cardinality-based feature modeling and constraints: a progress report", International Workshop on Software Factories at OOPSLA'05, San Diego, California, USA, ACM, 2005.

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk

Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.

Rehan Rauf