17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, Svetlana, Gregor Engels, and Christian Soltenborn. “Coverage Criteria for Testing DMM Specifications.” In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST, 2012. https://doi.org/10.14279/tuj.eceasst.47.718.
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
Bandener, Nils, Christian Soltenborn, and Gregor Engels. “Extending DMM Behavior Specifications for Visual Execution and Debugging.” In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), 6563:357–76. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-19440-5_24.
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal of Visual Languages & Computing 22, no. 3 (2011): 233–50. https://doi.org/10.1016/j.jvlc.2010.12.005.
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
Luckey, Markus, Christian Gerth, Christian Soltenborn, and Gregor Engels. “QUAASY - QUality Assurance of Adaptive SYstems.” In Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM, 2011. http://dx.doi.org/10.1145/1998582.1998617.
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” In Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), 30:240–57. Electronic Communications of the EASST. European Association of Software Science and Technology, 2010.
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” In Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), Vol. 25. Electronic Communications of the EASST. European Association of Software Science and Technology, 2009.
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
Engels, Gregor, Daniela Fisseler, and Christian Soltenborn. “Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.” In Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), 39–46. Piscataway, NJ (USA): IEEE Computer Society, 2009. http://dx.doi.org/10.1109/VLHCC.2009.5295302.
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.” In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), 5795:378–92. LNCS. Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_30.
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” In Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371
Engels, Gregor, Stefan Sauer, and Christian Soltenborn. “Unternehmensweit Verstehen – Unternehmensweit Entwickeln: Von Der Modellierungssprache Zur Softwareentwicklungsmethode.” Informatik-Spektrum 31, no. 5 (2008): 451–59.
LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” In Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), 4364:329–30. LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_42.
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr, Manfred Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-89020-1_2.
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
Mahajan, Kiran, Christoph Laroque, Wilhelm Dangelmaier, Christian Soltenborn, Michael Kortenjan, and Daniel Kuntze. “D3FACT Insight: A Motion Planning Algorithm for Material Flow Simulations in Virtual Environments.” In Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), 1:115–26. Erlangen: SCS European Publishing House, 2005.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, Svetlana, Gregor Engels, and Christian Soltenborn. “Coverage Criteria for Testing DMM Specifications.” In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST, 2012. https://doi.org/10.14279/tuj.eceasst.47.718.
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
Bandener, Nils, Christian Soltenborn, and Gregor Engels. “Extending DMM Behavior Specifications for Visual Execution and Debugging.” In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), 6563:357–76. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-19440-5_24.
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal of Visual Languages & Computing 22, no. 3 (2011): 233–50. https://doi.org/10.1016/j.jvlc.2010.12.005.
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
Luckey, Markus, Christian Gerth, Christian Soltenborn, and Gregor Engels. “QUAASY - QUality Assurance of Adaptive SYstems.” In Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM, 2011. http://dx.doi.org/10.1145/1998582.1998617.
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” In Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), 30:240–57. Electronic Communications of the EASST. European Association of Software Science and Technology, 2010.
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” In Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), Vol. 25. Electronic Communications of the EASST. European Association of Software Science and Technology, 2009.
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
Engels, Gregor, Daniela Fisseler, and Christian Soltenborn. “Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.” In Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), 39–46. Piscataway, NJ (USA): IEEE Computer Society, 2009. http://dx.doi.org/10.1109/VLHCC.2009.5295302.
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.” In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), 5795:378–92. LNCS. Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_30.
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” In Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371
Engels, Gregor, Stefan Sauer, and Christian Soltenborn. “Unternehmensweit Verstehen – Unternehmensweit Entwickeln: Von Der Modellierungssprache Zur Softwareentwicklungsmethode.” Informatik-Spektrum 31, no. 5 (2008): 451–59.
LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” In Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), 4364:329–30. LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_42.
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr, Manfred Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-89020-1_2.
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
Mahajan, Kiran, Christoph Laroque, Wilhelm Dangelmaier, Christian Soltenborn, Michael Kortenjan, and Daniel Kuntze. “D3FACT Insight: A Motion Planning Algorithm for Material Flow Simulations in Virtual Environments.” In Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), 1:115–26. Erlangen: SCS European Publishing House, 2005.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed