19 Publications

2021 | Conference Paper | LibreCat-ID: 23779
Bernijazov, R., Dicks, A., Dumitrescu, R., Foullois, M., Hanselle, J. M., Hüllermeier, E., Karakaya, G., Ködding, P., Lohweg, V., Malatyali, M., Meyer auf der Heide, F., Panzner, M., & Soltenborn, C. (2021). A Meta-Review on Artificial Intelligence in Product Creation. Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21). 30th International Joint Conference on Artificial Intelligence (IJCAI 2021) - Workshop “AI and Product Design,” Montreal, Kanada.
LibreCat | Download (ext.)
 
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling. Universität Paderborn. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat | DOI
 
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, S., Engels, G., & Soltenborn, C. (2012). Coverage Criteria for Testing DMM Specifications. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). https://doi.org/10.14279/tuj.eceasst.47.718
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 8053
Luckey, M., Gerth, C., Soltenborn, C., & Engels, G. (2011). QUAASY - QUality Assurance of Adaptive SYstems. In Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM. http://dx.doi.org/10.1145/1998582.1998617
LibreCat | DOI
 
2011 | Conference Paper | LibreCat-ID: 8054
Bandener, N., Soltenborn, C., & Engels, G. (2011). Extending DMM Behavior Specifications for Visual Execution and Debugging. In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010) (Vol. 6563, pp. 357–376). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-19440-5_24
LibreCat | DOI
 
2011 | Journal Article | LibreCat-ID: 7355
Soltenborn, C., & Engels, G. (2011). Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. Journal of Visual Languages & Computing, 22(3), 233–250. https://doi.org/10.1016/j.jvlc.2010.12.005
LibreCat | DOI
 
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14
LibreCat | DOI
 
2010 | Report | LibreCat-ID: 8220
Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). 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.
LibreCat
 
2010 | Conference Paper | LibreCat-ID: 8437
Engels, G., & Soltenborn, C. (2010). 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) (Vol. 30, pp. 240–257). European Association of Software Science and Technology.
LibreCat
 
2009 | Conference Paper | LibreCat-ID: 8019
Soltenborn, C., & Engels, G. (2009). Towards Test-Driven Semantics Specification. In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA) (Vol. 5795, pp. 378–392). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-04425-0_30
LibreCat | DOI
 
2009 | Conference Paper | LibreCat-ID: 8020
Engels, G., Fisseler, D., & Soltenborn, C. (2009). 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) (pp. 39–46). Piscataway, NJ (USA): IEEE Computer Society. http://dx.doi.org/10.1109/VLHCC.2009.5295302
LibreCat | DOI
 
2009 | Conference Paper | LibreCat-ID: 8435
Soltenborn, C., & Engels, G. (2009). Towards Generalizing Visual Process Pattern. In Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA) (Vol. 25). European Association of Software Science and Technology.
LibreCat
 
2008 | Conference Paper | LibreCat-ID: 3207
Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. 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 (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
LibreCat | DOI
 
2008 | Journal Article | LibreCat-ID: 7371
Engels, G., Sauer, S., & Soltenborn, C. (2008). Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. Informatik-Spektrum, 31(5), 451–459.
LibreCat
 
2007 | Conference Paper | LibreCat-ID: 3214
Engels, G., Güldali, B., Soltenborn, C., & Wehrheim, H. (2007). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. 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 (pp. 17--31). https://doi.org/10.1007/978-3-540-89020-1_2
LibreCat | DOI
 
2007 | Conference Paper | LibreCat-ID: 3215
Engels, G., Soltenborn, C., & Wehrheim, H. (2007). Analysis of {UML} Activities Using Dynamic Meta Modeling. 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 (pp. 76--90). https://doi.org/10.1007/978-3-540-72952-5_5
LibreCat | DOI
 
2007 | Conference Paper | LibreCat-ID: 8415
Soltenborn, C., & Engels, G. (2007). 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) (Vol. 4364, pp. 329–330). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-540-69489-2_42
LibreCat | DOI
 
2005 | Conference Paper | LibreCat-ID: 7940
Mahajan, K., Laroque, C., Dangelmaier, W., Soltenborn, C., Kortenjan, M., & Kuntze, D. (2005). 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) (Vol. 1, pp. 115–126). Erlangen: SCS European Publishing House.
LibreCat
 
2003 | Bachelorsthesis | LibreCat-ID: 47638
Soltenborn, C. (2003). Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision.
LibreCat
 

Filters and Search Terms

author="Soltenborn, Christian"

Search

Filter Publications

Display / Sort

Citation Style: APA

Export