Christian Soltenborn
Christian Soltenborn
Research and Teaching Assistant
Verified email at uni-paderborn.de
Title
Cited by
Cited by
Year
Analysis of UML activities using dynamic meta modeling
G Engels, C Soltenborn, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
572007
Showing full semantics preservation in model transformation-a comparison of techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
International Conference on Integrated Formal Methods, 183-198, 2010
382010
From UML activities to TAAL-towards behaviour-preserving model transformations
G Engels, A Kleppe, A Rensink, M Semenyak, C Soltenborn, H Wehrheim
European Conference on Model Driven Architecture-Foundations and …, 2008
312008
Towards test-driven semantics specification
C Soltenborn, G Engels
International Conference on Model Driven Engineering Languages and Systems …, 2009
212009
Assuring consistency of business process models and web services using visual contracts
G Engels, B Güldali, C Soltenborn, H Wehrheim
International Symposium on Applications of Graph Transformations with …, 2007
192007
Extending DMM behavior specifications for visual execution and debugging
N Bandener, C Soltenborn, G Engels
International Conference on Software Language Engineering, 357-376, 2010
162010
Analysis of uml Workflow diagrams with dynamic Meta Modeling Techniques
C Soltenborn
Master's Thesis, University of Paderborn, Germany, 2006
162006
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
82011
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
82010
Unternehmensweit verstehen–unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode
G Engels, S Sauer, C Soltenborn
Informatik-Spektrum 31 (5), 451-459, 2008
82008
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
72005
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
52009
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
42011
A Formal, Graph-Based Semantics for UML Activities
M Hornkamp, G Engels, H Wehrheim, C Soltenborn
Master's thesis, Universität Paderborn, 2009
32009
Quality Assurance with Dynamic Meta Modeling
C Soltenborn
Universitätsbibliothek, 2013
22013
Coverage Criteria for Testing DMM Specifications
S Arifulina, C Soltenborn, G Engels
Electronic Communications of the EASST 47, 2012
22012
Towards Generalizing Visual Process Patterns
C Soltenborn, G Engels
Electronic Communications of the EASST 25, 2010
12010
Verifying Full Semantic Preservation of Model Transformation is Hard
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
Available fro m http://www. ti. inf. uni-due. de/people/koenig/download/vmt …, 2010
12010
Analysis of uml activities with dynamic meta modeling techniques
C Soltenborn, G Engels
International Conference on Model Driven Engineering Languages and Systems …, 2006
12006
Quality Assurance with Dynamic Meta Modeling: Qualitätssicherung Mit Dynamic Meta Modeling
C Soltenborn
2013
The system can't perform the operation now. Try again later.
Articles 1–20