17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, 2013.
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
Extending DMM Behavior Specifications for Visual Execution and Debugging
N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg, 2011, pp. 357–376.
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications
C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22 (2011) 233–250.
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
QUAASY - QUality Assurance of Adaptive SYstems
M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011.
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling
G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association of Software Science and Technology, 2010, pp. 240–257.
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
Towards Generalizing Visual Process Pattern
C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association of Software Science and Technology, 2009.
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding
G. Engels, D. Fisseler, C. Soltenborn, in: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer Society, Piscataway, NJ (USA), 2009, pp. 39–46.
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
Towards Test-Driven Semantics Specification
C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371 LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
Analysis of UML Activities with Dynamic Meta Modeling Techniques
C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments
K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D. Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp. 115–126.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed

17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, 2013.
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
Extending DMM Behavior Specifications for Visual Execution and Debugging
N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg, 2011, pp. 357–376.
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications
C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22 (2011) 233–250.
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
QUAASY - QUality Assurance of Adaptive SYstems
M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011.
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling
G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association of Software Science and Technology, 2010, pp. 240–257.
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
Towards Generalizing Visual Process Pattern
C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association of Software Science and Technology, 2009.
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding
G. Engels, D. Fisseler, C. Soltenborn, in: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer Society, Piscataway, NJ (USA), 2009, pp. 39–46.
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
Towards Test-Driven Semantics Specification
C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371 LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
Analysis of UML Activities with Dynamic Meta Modeling Techniques
C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments
K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D. Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp. 115–126.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed