19 Publications

2021 | Conference Paper | LibreCat-ID: 23779
@inproceedings{Bernijazov_Dicks_Dumitrescu_Foullois_Hanselle_Hüllermeier_Karakaya_Ködding_Lohweg_Malatyali_et al._2021, title={A Meta-Review on Artificial Intelligence in Product Creation}, booktitle={Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21)}, author={Bernijazov, Ruslan and Dicks, Alexander and Dumitrescu, Roman and Foullois, Marc and Hanselle, Jonas Manuel and Hüllermeier, Eyke and Karakaya, Gökce and Ködding, Patrick and Lohweg, Volker and Malatyali, Manuel and et al.}, year={2021} }
LibreCat | Download (ext.)
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
2003 | Bachelorsthesis | LibreCat-ID: 47638
@book{Soltenborn_2003, title={Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision}, author={Soltenborn, Christian}, year={2003} }
LibreCat
 

Filters and Search Terms

author="Soltenborn, Christian"

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export