17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling}, DOI={http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420}, publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013} }
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={10.14279/tuj.eceasst.47.718}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications of the EASST} }
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
@inproceedings{Bandener_Soltenborn_Engels_2011, place={Berlin/Heidelberg}, series={LNCS}, title={Extending DMM Behavior Specifications for Visual Execution and Debugging}, volume={6563}, DOI={http://dx.doi.org/10.1007/978-3-642-19440-5_24}, booktitle={Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)}, publisher={Springer}, author={Bandener, Nils and Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={357–376}, collection={LNCS} }
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
@article{Soltenborn_Engels_2011, title={Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications}, volume={22}, DOI={10.1016/j.jvlc.2010.12.005}, number={3}, journal={Journal of Visual Languages & Computing}, publisher={Elsevier BV}, author={Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={233–250} }
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
@inproceedings{Luckey_Gerth_Soltenborn_Engels_2011, title={QUAASY - QUality Assurance of Adaptive SYstems}, DOI={http://dx.doi.org/10.1145/1998582.1998617}, booktitle={Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)}, publisher={ACM}, author={Luckey, Markus and Gerth, Christian and Soltenborn, Christian and Engels, Gregor}, year={2011} }
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
@book{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, place={Enschede, The Netherlands}, title={Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques}, publisher={Centre for Telematics and Information Technology of the University of Twente}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, year={2010} }
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={10.1007/978-3-642-16265-7_14}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
@inproceedings{Engels_Soltenborn_2010, series={Electronic Communications of the EASST}, title={Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling}, volume={30}, booktitle={Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)}, publisher={European Association of Software Science and Technology}, author={Engels, Gregor and Soltenborn, Christian}, year={2010}, pages={240–257}, collection={Electronic Communications of the EASST} }
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
@inproceedings{Soltenborn_Engels_2009, series={Electronic Communications of the EASST}, title={Towards Generalizing Visual Process Pattern}, volume={25}, booktitle={Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}, publisher={European Association of Software Science and Technology}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, collection={Electronic Communications of the EASST} }
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
@inproceedings{Engels_Fisseler_Soltenborn_2009, place={Piscataway, NJ (USA)}, title={Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding}, DOI={http://dx.doi.org/10.1109/VLHCC.2009.5295302}, booktitle={Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Fisseler, Daniela and Soltenborn, Christian}, year={2009}, pages={39–46} }
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
@inproceedings{Soltenborn_Engels_2009, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Test-Driven Semantics Specification}, volume={5795}, DOI={http://dx.doi.org/10.1007/978-3-642-04425-0_30}, booktitle={Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, pages={378–392}, collection={LNCS} }
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371
@article{Engels_Sauer_Soltenborn_2008, title={Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode}, volume={31}, number={5}, journal={Informatik-Spektrum}, author={Engels, Gregor and Sauer, Stefan and Soltenborn, Christian}, year={2008}, pages={451–459} }
LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_42}, booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={10.1007/978-3-540-72952-5_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
@inproceedings{Mahajan_Laroque_Dangelmaier_Soltenborn_Kortenjan_Kuntze_2005, place={Erlangen}, title={d3FACT insight: A motion planning algorithm for material flow simulations in virtual environments}, volume={1}, booktitle={Proceedings of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)}, publisher={SCS European Publishing House}, author={Mahajan, Kiran and Laroque, Christoph and Dangelmaier, Wilhelm and Soltenborn, Christian and Kortenjan, Michael and Kuntze, Daniel}, year={2005}, pages={115–126} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed

17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling}, DOI={http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420}, publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013} }
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={10.14279/tuj.eceasst.47.718}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications of the EASST} }
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
@inproceedings{Bandener_Soltenborn_Engels_2011, place={Berlin/Heidelberg}, series={LNCS}, title={Extending DMM Behavior Specifications for Visual Execution and Debugging}, volume={6563}, DOI={http://dx.doi.org/10.1007/978-3-642-19440-5_24}, booktitle={Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)}, publisher={Springer}, author={Bandener, Nils and Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={357–376}, collection={LNCS} }
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
@article{Soltenborn_Engels_2011, title={Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications}, volume={22}, DOI={10.1016/j.jvlc.2010.12.005}, number={3}, journal={Journal of Visual Languages & Computing}, publisher={Elsevier BV}, author={Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={233–250} }
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
@inproceedings{Luckey_Gerth_Soltenborn_Engels_2011, title={QUAASY - QUality Assurance of Adaptive SYstems}, DOI={http://dx.doi.org/10.1145/1998582.1998617}, booktitle={Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)}, publisher={ACM}, author={Luckey, Markus and Gerth, Christian and Soltenborn, Christian and Engels, Gregor}, year={2011} }
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
@book{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, place={Enschede, The Netherlands}, title={Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques}, publisher={Centre for Telematics and Information Technology of the University of Twente}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, year={2010} }
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={10.1007/978-3-642-16265-7_14}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
@inproceedings{Engels_Soltenborn_2010, series={Electronic Communications of the EASST}, title={Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling}, volume={30}, booktitle={Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)}, publisher={European Association of Software Science and Technology}, author={Engels, Gregor and Soltenborn, Christian}, year={2010}, pages={240–257}, collection={Electronic Communications of the EASST} }
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
@inproceedings{Soltenborn_Engels_2009, series={Electronic Communications of the EASST}, title={Towards Generalizing Visual Process Pattern}, volume={25}, booktitle={Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}, publisher={European Association of Software Science and Technology}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, collection={Electronic Communications of the EASST} }
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
@inproceedings{Engels_Fisseler_Soltenborn_2009, place={Piscataway, NJ (USA)}, title={Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding}, DOI={http://dx.doi.org/10.1109/VLHCC.2009.5295302}, booktitle={Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Fisseler, Daniela and Soltenborn, Christian}, year={2009}, pages={39–46} }
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
@inproceedings{Soltenborn_Engels_2009, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Test-Driven Semantics Specification}, volume={5795}, DOI={http://dx.doi.org/10.1007/978-3-642-04425-0_30}, booktitle={Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, pages={378–392}, collection={LNCS} }
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371
@article{Engels_Sauer_Soltenborn_2008, title={Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode}, volume={31}, number={5}, journal={Informatik-Spektrum}, author={Engels, Gregor and Sauer, Stefan and Soltenborn, Christian}, year={2008}, pages={451–459} }
LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_42}, booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={10.1007/978-3-540-72952-5_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
@inproceedings{Mahajan_Laroque_Dangelmaier_Soltenborn_Kortenjan_Kuntze_2005, place={Erlangen}, title={d3FACT insight: A motion planning algorithm for material flow simulations in virtual environments}, volume={1}, booktitle={Proceedings of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)}, publisher={SCS European Publishing House}, author={Mahajan, Kiran and Laroque, Christoph and Dangelmaier, Wilhelm and Soltenborn, Christian and Kortenjan, Michael and Kuntze, Daniel}, year={2005}, pages={115–126} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed