Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
18 Publications
2021 | Conference Paper | LibreCat-ID: 23779
A Meta-Review on Artificial Intelligence in Product Creation
R. 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.
LibreCat
| Download (ext.)
R. 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.
2013 | Dissertation | LibreCat-ID: 7569
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
LibreCat
| DOI
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
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
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
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
M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011.
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
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.
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
C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22 (2011) 233–250.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
2008 | Journal Article | LibreCat-ID: 7371
Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode
G. Engels, S. Sauer, C. Soltenborn, Informatik-Spektrum 31 (2008) 451–459.
LibreCat
G. Engels, S. Sauer, C. Soltenborn, Informatik-Spektrum 31 (2008) 451–459.
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
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.
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
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.
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
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.
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
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.