Author of the publication

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.

, , , and . Modellierung, volume P-254 of LNI, page 117-124. GI, (2016)

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

Assembling Scenario Patterns for Checking Model Behavior., and . J. Object Technol., 19 (2): 19:1-27 (2020)Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln., and . Software Engineering & Management, volume P-239 of LNI, page 31-32. GI, (2015)Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL., and . ICSOC, volume 10601 of Lecture Notes in Computer Science, page 113-122. Springer, (2017)Towards Model Validation and Verification with SAT Techniques.. Algorithms and Applications for Next Generation SAT Solvers, volume 09461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Assessing UML Model Quality by Utilizing Metrics., and . QUATIC, page 92-100. IEEE Computer Society, (2018)Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models.. ICDCIT, volume 12582 of Lecture Notes in Computer Science, page 24-43. Springer, (2021)Modeling and validating Mondex scenarios described in UML and OCL with USE, and . Formal Aspects of Computing, 20 (1): 79--100 (January 2008)Realizing Graph Transformations by Pre- and Postconditions and Command Sequences, and . (2006)On translating UML models into graph transformation systems, , and . Journal of Visual Languages & Computing, 17 (1): 78--105 (February 2006)A SWOT Analysis of the Object Constraint Language., , , , , and . STAF Workshops, volume 2999 of CEUR Workshop Proceedings, page 178-184. CEUR-WS.org, (2021)