| USE: A UML-based specification environment for validating UML and OCL M Gogolla, F Büttner, M Richters Science of Computer Programming 69 (1-3), 27-34, 2007 | 506 | 2007 |
| On formalizing the UML object constraint language OCL M Richters, M Gogolla International Conference on Conceptual Modeling, 449-464, 1998 | 262 | 1998 |
| Validating UML and OCL models in USE by automatic snapshot generation M Gogolla, J Bohling, M Richters Software & Systems Modeling 4 (4), 386-398, 2005 | 261 | 2005 |
| Validating UML models and OCL constraints M Richters, M Gogolla International Conference on the Unified Modeling Language, 265-277, 2000 | 240 | 2000 |
| Model transformations? Transformation models! J Bézivin, F Büttner, M Gogolla, F Jouault, I Kurtev, A Lindow Model Driven Engineering Languages and Systems, 440-453, 2006 | 225 | 2006 |
| Conceptual modelling of database applications using an extended ER model G Engels, M Gogolla, U Hohenstein, K Hülsmann, P Löhr-Richter, ... Data & Knowledge Engineering 9 (2), 157-204, 1992 | 193 | 1992 |
| Towards a semantic view of an extended entity-relationship model M Gogolla, U Hohenstein ACM Transactions on Database Systems (TODS) 16 (3), 369-416, 1991 | 192 | 1991 |
| OCL: Syntax, semantics, and tools M Richters, M Gogolla Object Modeling with the OCL, 42-68, 2002 | 173 | 2002 |
| Algebraische Spezifikation abstrakter Datentypen: eine Einführung in die Theorie HD Ehrich, M Gogolla, UW Lipeck Springer-Verlag, 2013 | 169 | 2013 |
| Object constraint language (OCL): a definitive guide J Cabot, M Gogolla International School on Formal Methods for the Design of Computer …, 2012 | 162 | 2012 |
| Verifying UML/OCL models using Boolean satisfiability M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 160 | 2010 |
| State diagrams in uml: A formal semantics using graph transformations-or diagrams are nice, but graphs are worth their price M Gogolla, FP Presicce University of Munich, 1998 | 136 | 1998 |
| Expressing UML class diagrams properties with OCL M Gogolla, M Richters Object Modeling with the OCL, 85-114, 2002 | 125 | 2002 |
| Using models at runtime to address assurance for self-adaptive systems BHC Cheng, KI Eder, M Gogolla, L Grunske, M Litoiu, HA Müller, ... Models@ run. time, 101-136, 2014 | 118 | 2014 |
| From UML and OCL to relational logic and back M Kuhlmann, M Gogolla International Conference on Model Driven Engineering Languages and Systems …, 2012 | 111 | 2012 |
| Validation of UML and OCL models by automatic snapshot generation M Gogolla, J Bohling, M Richters International Conference on the Unified Modeling Language, 265-279, 2003 | 108 | 2003 |
| An integrated semantics for UML class, object and state diagrams based on graph transformation S Kuske, M Gogolla, R Kollmann, HJ Kreowski International Conference on Integrated Formal Methods, 11-28, 2002 | 107 | 2002 |
| Extensive validation of OCL models by integrating SAT solving into USE M Kuhlmann, L Hamann, M Gogolla International Conference on Modelling Techniques and Tools for Computer …, 2011 | 101 | 2011 |
| A metamodel for OCL M Richters, M Gogolla International Conference on the Unified Modeling Language, 156-171, 1999 | 101 | 1999 |
| An extended entity-relationship model: fundamentals and pragmatics M Gogolla Springer, 1994 | 99 | 1994 |
Mirco KuhlmannUniversity of BremenVerified email at tzi.de
