Zekai Demirezen

1. SUN, Yu, DEMIREZEN, Zekai, MERNIK, Marjan, GRAY, Jeffrey G., BRYANT, Barrett Richard. Is my DSL a modeling or programming language?. In: 2nd International Workshop on Domain-Specific Program Development (DSPD), Nashville, Tennessee, October 22, 2008. Villeurbanne Cedex: CCSd - Centre pour la communication scientifique direct: HAL archives ouvertes, cop. 2008. 5 str. http://hal.archives-ouvertes.fr/hal-00350257/en/, Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 12976150]

2. SUN, Yu, DEMIREZEN, Zekai, LUKMAN, Tomaž, MERNIK, Marjan, GRAY, Jeffrey G. Model transformations require formal semantics. In: 2nd International Workshop on Domain-Specific Program Development (DSPD), Nashville, Tennessee, October 22, 2008. Villeurbanne Cedex: CCSd - Centre pour la communication scientifique direct: HAL archives ouvertes, cop. 2008. 4 str. http://hal.archives-ouvertes.fr/hal-00350261/en/, Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 12975894]

3. DEMIREZEN, Zekai, MERNIK, Marjan, GRAY, Jeffrey G., BRYANT, Barrett Richard. Verification of DSMLs using graph transformation: a case study with Alloy. In: LÚCIO, Levi (ed.), WEISSLEDER, Stephan (ed.). Model-Driven Engineering, Verification and Validation. New York: ACM, cop. 2009. 10 f. ACM International Conference Proceedings Series, 413. ISBN 978-1-60558-876-6. DOI: 10.1145/1656485.1656488. [COBISS.SI-ID 13798934]

4. LUKMAN, Tomaž, MERNIK, Marjan, DEMIREZEN, Zekai, BRYANT, Barrett Richard, GRAY, Jeffrey G. Automatic generation of model traversals from metamodel definitions. In: ACM SE 2010. 48th ACM Southeast Conference, April 15-17, Oxford, Mississippi. New York: ACM, 2010. 6 str. ISBN 978-1-4503-0064-3. [COBISS.SI-ID 23787303]