| 2008 |
|---|
| 5 | EE | Martin Gogolla,
Mirco Kuhlmann,
Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
MoDELS 2008: 446-459 |
| 4 | EE | Fabian Büttner,
Mirco Kuhlmann:
Shortcomings of the Embedding of OCL into QVT ImperativeOCL.
MoDELS Workshops 2008: 263-272 |
| 3 | EE | Mirco Kuhlmann,
Martin Gogolla:
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.
ECEASST 9: (2008) |
| 2 | EE | Mirco Kuhlmann,
Martin Gogolla:
Modeling and validating Mondex scenarios described in UML and OCL with USE.
Formal Asp. Comput. 20(1): 79-100 (2008) |
| 2005 |
|---|
| 1 | EE | Mirco Kuhlmann,
Florian Scholz,
Marcus Barann,
Paul Grathwohl,
Aysun Gündogan,
Sonja Hildebrandt,
Dennis Kaspuhl,
Andreas Seewaldt:
LerM - Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas.
Informatik Spektrum 28(5): 399-402 (2005) |
