| Extensive validation of OCL models by integrating SAT solving into USE M Kuhlmann, L Hamann, M Gogolla Objects, Models, Components, Patterns: 49th International Conference, TOOLS …, 2011 | 124 | 2011 |
| Consistency, independence and consequences in UML and OCL models M Gogolla, M Kuhlmann, L Hamann Tests and Proofs: Third International Conference, TAP 2009, Zurich …, 2009 | 94 | 2009 |
| Formal specification and testing of model transformations A Vallecillo, M Gogolla, L Burgueno, M Wimmer, L Hamann Formal Methods for Model-Driven Engineering: 12th International School on …, 2012 | 78 | 2012 |
| From application models to filmstrip models: An approach to automatic validation of model dynamics M Gogolla, L Hamann, F Hilken, M Kuhlmann, R France Modellierung 2014, 2014 | 57 | 2014 |
| Model-driven standardization of public authority data interchange F Büttner, U Bartels, L Hamann, O Hofrichter, M Kuhlmann, M Gogolla, ... Science of Computer Programming 89, 162-175, 2014 | 29 | 2014 |
| OCL tools report based on the ide4OCL feature model JD Chimiak-Opoka, B Demuth, A Awenius, D Chiorean, S Gabel, ... Electronic Communications of the EASST 44, 2011 | 29 | 2011 |
| Transformation of UML and OCL models into filmstrip models F Hilken, L Hamann, M Gogolla Theory and Practice of Model Transformations: 7th International Conference …, 2014 | 28 | 2014 |
| On integrating structure and behavior modeling with OCL L Hamann, O Hofrichter, M Gogolla Model Driven Engineering Languages and Systems: 15th International …, 2012 | 25 | 2012 |
| Proving and visualizing OCL invariant independence by automatically generated test cases M Gogolla, L Hamann, M Kuhlmann Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain …, 2010 | 21 | 2010 |
| Checking Transformation Model Properties with a UML and OCL Model Validator. M Gogolla, L Hamann, F Hilken VOLT@ STAF, 16-25, 2014 | 19 | 2014 |
| OCL-based runtime monitoring of JVM hosted applications L Hamann, M Gogolla, M Kuhlmann Electronic Communications of the EASST 44, 2011 | 18 | 2011 |
| Ocl-based runtime monitoring of applications with protocol state machines L Hamann, O Hofrichter, M Gogolla Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012 | 15 | 2012 |
| Endogenous metamodeling semantics for structural UML 2 concepts L Hamann, M Gogolla Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 13 | 2013 |
| Exploring (Meta-) model snapshots by combining visual and textual techniques M Gogolla, L Hamann, J Xu, J Zhang Electronic Communications of the EASST 41, 2011 | 12 | 2011 |
| On Static and Dynamic Analysis of UML and OCL Transformation Models. M Gogolla, L Hamann, F Hilken AMT@ MoDELS, 24-33, 2014 | 9 | 2014 |
| A benchmark for OCL engine accuracy, determinateness, and efficiency M Kuhlmann, L Hamann, M Gogolla, F Büttner Software and Systems Modeling 11 (2), 165-182, 2012 | 9 | 2012 |
| Abstract Runtime Monitoring with USE L Hamann, L Vidács, M Gogolla, M Kuhlmann 2012 16th European Conference on Software Maintenance and Reengineering, 549-552, 2012 | 9 | 2012 |
| On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set F Büttner, M Gogolla, L Hamann, M Kuhlmann, A Lindow Models in Software Engineering: Workshops and Symposia at MODELS 2009 …, 2010 | 9 | 2010 |
| Evaluating and debugging OCL expressions in UML models J Brüning, M Gogolla, L Hamann, M Kuhlmann Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech …, 2012 | 8 | 2012 |
| Improving model quality by validating constraints with model unit tests L Hamann, M Gogolla 2010 Workshop on Model-Driven Engineering, Verification, and Validation, 49-54, 2010 | 8 | 2010 |
Mirco KuhlmannUniversity of BremenVerified email at tzi.de
