Veröffentlichungen

A Meta-Review on Artificial Intelligence in Product Creation
Bernijazov, A. Dicks, R. Dumitrescu, M. Foullois, J.M. Hanselle, E. Hüllermeier, G. Karakaya, P. Ködding, V. Lohweg, M. Malatyali, F. Meyer auf der Heide, M. Panzner, C. Soltenborn, in: Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021

Quality Assurance with Dynamic Meta Modeling
Soltenborn, Universität Paderborn, 2013

Coverage Criteria for Testing DMM Specifications
Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012

QUAASY – QUality Assurance of Adaptive SYstems
Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011

Extending DMM Behavior Specifications for Visual Execution and Debugging
Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Springer, 2011, pp. 357-376

Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications
Soltenborn, G. Engels, Journal of Visual Languages & Computing (2011), 22(3), pp. 233-250

Showing Full Semantics Preservation in Model Transformation – {A} Comparison of Techniques
Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: Integrated Formal Methods – 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183-198

Full Semantics Preservation in Model Transformation – A Comparison of Proof Techniques
Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Centre for Telematics and Information Technology of the University of Twente, 2010

Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling
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

Towards Test-Driven Semantics Specification
Soltenborn, G. Engels, in: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), Springer, 2009, pp. 378-392

Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding
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, 2009, pp. 39-46

Towards Generalizing Visual Process Pattern
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

From {UML} Activities to {TAAL} – Towards Behaviour-Preserving Model Transformations
Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: Model Driven Architecture – Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94–109

Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode
Engels, S. Sauer, C. Soltenborn, Informatik-Spektrum (2008), 31(5), pp. 451-459

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: 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

Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, 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, 2007, pp. 76–90

Analysis of UML Activities with Dynamic Meta Modeling Techniques
Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy), Springer, 2007, pp. 329-330

d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments
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, 2005, pp. 115-126