Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Regelbasierte Analyse und Komposition von Musik., , , and . Informatiktage, volume S-2 of LNI, page 95-99. GI, (2005)Modeling and validating Mondex scenarios described in UML and OCL with USE, and . Formal Aspects of Computing, 20 (1): 79--100 (January 2008)LerM - Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas., , , , , , , and . Inform. Spektrum, 28 (5): 399-402 (2005)On lightweight analysis of UML and OCL models.. University of Bremen, Germany, (2020)Zur Validierung von Kompositionsstrukturen in UML mit USE., , and . Modellierung, volume P-161 of LNI, page 169-177. GI, (2010)Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE., , , and . Modellierung, volume P-201 of LNI, page 155-170. GI, (2012)Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations., and . ECMFA, volume 7349 of Lecture Notes in Computer Science, page 32-48. Springer, (2012)From UML and OCL to Relational Logic and Back., and . MoDELS, volume 7590 of Lecture Notes in Computer Science, page 415-431. Springer, (2012)From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics., , , , and . Modellierung, volume P-225 of LNI, page 273-288. GI, (2014)