Christian Soltenborn
Christian Soltenborn
Research and Teaching Assistant
Verified email at
Cited by
Cited by
Analysis of UML activities using dynamic meta modeling
G Engels, C Soltenborn, H Wehrheim
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007
Showing full semantics preservation in model transformation-a comparison of techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
From UML activities to TAAL-towards behaviour-preserving model transformations
G Engels, A Kleppe, A Rensink, M Semenyak, C Soltenborn, H Wehrheim
Model Driven Architecture–Foundations and Applications: 4th European …, 2008
Extending DMM behavior specifications for visual execution and debugging
N Bandener, C Soltenborn, G Engels
Software Language Engineering: Third International Conference, SLE 2010 …, 2011
Assuring consistency of business process models and web services using visual contracts
G Engels, B Güldali, C Soltenborn, H Wehrheim
Applications of Graph Transformations with Industrial Relevance: Third …, 2008
Towards test-driven semantics specification
C Soltenborn, G Engels
Model Driven Engineering Languages and Systems: 12th International …, 2009
Analysis of uml Workflow diagrams with dynamic Meta Modeling Techniques
C Soltenborn
Master's Thesis, University of Paderborn, Germany, 2006
Full semantics preservation in model transformation–a comparison of proof techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
University of Twente, The Netherlands, Tech. Rep 70058, 2010
QUAASY: Quality assurance of adaptive systems
M Luckey, C Gerth, C Soltenborn, G Engels
Proceedings of the 8th ACM international conference on Autonomic computing …, 2011
Unternehmensweit verstehen–unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode
G Engels, S Sauer, C Soltenborn
Informatik-Spektrum 31, 451-459, 2008
d3 FACT insight: A motion planning algorithm for material flow simulations in virtual environments.
KR Mahajan, C Laroque, W Dangelmaier, M Kortenjan, C Soltenborn, ...
SimVis, 115-126, 2005
Improving reusability of dynamic meta modeling specifications with rule overriding
G Engels, D Fisseler, C Soltenborn
2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009
A meta-review on artificial intelligence in product creation
R Bernijazov, A Dicks, R Dumitrescu, M Foullois, JM Hanselle, ...
Proceedings of the 30th International Joint Conference on Artificial …, 2021
Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications
C Soltenborn, G Engels
Journal of Visual Languages & Computing 22 (3), 233-250, 2011
Coverage criteria for testing DMM specifications
S Arifulina, C Soltenborn, G Engels
Electronic Communications of the EASST 47, 2012
Quality Assurance with Dynamic Meta Modeling
C Soltenborn
Towards Generalizing Visual Process Patterns
C Soltenborn, G Engels
Electronic Communications of the EASST 25, 2010
Verifying Full Semantic Preservation of Model Transformation is Hard
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
Unpublished, October, 2009
Analysis of uml activities with dynamic meta modeling techniques
C Soltenborn, G Engels
Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa …, 2007
Quality Assurance with Dynamic Meta Modeling: Qualitätssicherung Mit Dynamic Meta Modeling
C Soltenborn
The system can't perform the operation now. Try again later.
Articles 1–20