Regelbasierte Analyse und Komposition von Musik. - Paul Grathwohl; Armin Fritsch; Jeremy Rögner; Mirco Kuhlmann (Informatiktage, 2005)

LerM - Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas. - Mirco Kuhlmann; Florian Scholz; Marcus Barann; Paul Grathwohl; Aysun Gündogan; Sonja Hildebrandt; Dennis Kaspuhl; Andreas Seewaldt (Inform. Spektrum, 2005)

Shortcomings of the Embedding of OCL into QVT ImperativeOCL. - Fabian Büttner; Mirco Kuhlmann (MoDELS (Workshops), 2008)

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. - Martin Gogolla; Mirco Kuhlmann; Fabian Büttner (MoDELS, 2008)

Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL. - Fabian Büttner; Mirco Kuhlmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. - Mirco Kuhlmann; Martin Gogolla (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Modeling and validating Mondex scenarios described in UML and OCL with USE. - Mirco Kuhlmann; Martin Gogolla (Formal Aspects Comput., 2008)

On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. - Fabian Büttner; Martin Gogolla; Lars Hamann; Mirco Kuhlmann; Arne Lindow (MoDELS (Workshops), 2009)

Consistency, Independence and Consequences in UML and OCL Models. - Martin Gogolla; Mirco Kuhlmann; Lars Hamann (TAP@TOOLS, 2009)

Verifying UML/OCL Models Using Boolean Satisfiability. - Mathias Soeken; Robert Wille; Mirco Kuhlmann; Martin Gogolla; Rolf Drechsler (MBMV, 2010)

Zur Validierung von Kompositionsstrukturen in UML mit USE. - Lars Hamann; Martin Gogolla; Mirco Kuhlmann (Modellierung, 2010)

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. - Martin Gogolla; Lars Hamann; Mirco Kuhlmann (TAP@TOOLS, 2010)

Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. - Mirco Kuhlmann; Karsten Sohr; Martin Gogolla (SSIRI, 2011)

Extensive Validation of OCL Models by Integrating SAT Solving into USE. - Mirco Kuhlmann; Lars Hamann; Martin Gogolla (TOOLS (49), 2011)

OCL-based Runtime Monitoring of JVM hosted Applications. - Lars Hamann; Martin Gogolla; Mirco Kuhlmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Abstract Runtime Monitoring with USE. - Lars Hamann; László Vidács; Martin Gogolla; Mirco Kuhlmann (CSMR, 2012)

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. - Mirco Kuhlmann; Martin Gogolla (ECMFA, 2012)

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. - Lars Hamann; Fabian Büttner; Mirco Kuhlmann; Martin Gogolla (Modellierung, 2012)

From UML and OCL to Relational Logic and Back. - Mirco Kuhlmann; Martin Gogolla (MoDELS, 2012)

Evaluating and Debugging OCL Expressions in UML Models. - Jens Brüning; Martin Gogolla; Lars Hamann; Mirco Kuhlmann (TAP@TOOLS, 2012)

Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL. - Karsten Sohr; Mirco Kuhlmann; Martin Gogolla; Hongxin Hu; Gail-Joon Ahn (Inf. Softw. Technol., 2012)

A benchmark for OCL engine accuracy, determinateness, and efficiency. - Mirco Kuhlmann; Lars Hamann; Martin Gogolla; Fabian Büttner (Softw. Syst. Model., 2012)

Towards a generic verification methodology for system models. - Robert Wille; Martin Gogolla; Mathias Soeken; Mirco Kuhlmann; Rolf Drechsler (DATE, 2013)

Employing UML and OCL for designing and analysing role-based access control. - Mirco Kuhlmann; Karsten Sohr; Martin Gogolla (Math. Struct. Comput. Sci., 2013)

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. - Martin Gogolla; Lars Hamann; Frank Hilken; Mirco Kuhlmann; Robert B. France (Modellierung, 2014)

Model-driven standardization of public authority data interchange. - Fabian Büttner; Ullrich Bartels; Lars Hamann; Oliver Hofrichter; Mirco Kuhlmann; Martin Gogolla; Lutz Rabe; Frank Steimke; Yorck Rabenstein; Alina Stosiek (Sci. Comput. Program., 2014)

On lightweight analysis of UML and OCL models. - Mirco Kuhlmann (2020)