| 2013 | DATE | Towards a generic verification methodology for system models. | Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler |
| 2012 | MODELS | From UML and OCL to Relational Logic and Back. | Mirco Kuhlmann, Martin Gogolla |
| 2012 | TAP | Evaluating and Debugging OCL Expressions in UML Models. | Jens Brning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
| 2010 | DATE | Verifying UML/OCL models using Boolean satisfiability. | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
| 2010 | TAP | Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. | Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
| 2009 | MODELS | On Better Understanding OCL Collections | Fabian Bttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow |
| 2009 | TAP | Consistency, Independence and Consequences in UML and OCL Models. | Martin Gogolla, Mirco Kuhlmann, Lars Hamann |
| 2008 | MODELS | Shortcomings of the Embedding of OCL into QVT ImperativeOCL. | Fabian Bttner, Mirco Kuhlmann |
| 2008 | MODELS | A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. | Martin Gogolla, Mirco Kuhlmann, Fabian Bttner |