Mirco Kuhlmann

Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken, Robert Wille, Mirco Kuhlmann et al. · Design, Automation, and Test in Europe · 2010 · 100 citations

Engineering, Uml/ocl Models, Uml Model +21

Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken, Robert Wille, Mirco Kuhlmann et al. · 2010 · 82 citations

Engineering, Uml/ocl Models, Uml Model +22

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics

Martin Gogolla, Lars Hamann, Frank Hilken et al. · 2014 · 37 citations

Model-driven standardization of public authority data interchange

Fabian Büttner, Ullrich Bartels, Lars Hamann et al. · Science of Computer Programming · 2013 · 23 citations · Full text

Model Dissemination, Public Policy, Data Science +7

Modeling and validating Mondex scenarios described in UML and OCL with USE

Mirco Kuhlmann, Martin Gogolla · Formal Aspects of Computing · 2007 · 19 citations · Full text