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)

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)

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

Extending ASSL: Making UML Metamodel-based Workflows executable. - Jens Brüning; Lars Hamann; Andreas Wolff (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

OCL Tools Report based on the IDE4OCL Feature Model. - Joanna Dobroslawa Chimiak-Opoka; Birgit Demuth; Andreas Awenius; Dan Chiorean; Sebastien Gabel; Lars Hamann; Edward D. Willink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. - Martin Gogolla; Lars Hamann; Jie Xu; Jun Zhang (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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)

OCL-Based Runtime Monitoring of Applications with Protocol State Machines. - Lars Hamann; Oliver Hofrichter; 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)

Towards supporting multiple execution environments for UML/OCL models at runtime. - Lars Hamann; Martin Gogolla; Daniel Honsel (Models@run.time, 2012)

On Integrating Structure and Behavior Modeling with OCL. - Lars Hamann; Oliver Hofrichter; Martin Gogolla (MoDELS, 2012)

The secret life of OCL constraints. - Oliver Hofrichter; Lars Hamann; Martin Gogolla; Frank Steimke (OCL@MoDELS, 2012)

Formal Specification and Testing of Model Transformations. - Antonio Vallecillo; Martin Gogolla; Loli Burgueño; Manuel Wimmer; Lars Hamann (SFM, 2012)

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

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

Endogenous Metamodeling Semantics for Structural UML 2 Concepts. - Lars Hamann; Martin Gogolla (MoDELS, 2013)

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. - Martin Gogolla; Lars Hamann; Frank Hilken; Matthias Sedlmeier (BM-FA (Revised Selected Papers), 2014)

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. - Martin Gogolla; Lars Hamann; Frank Hilken; Matthias Sedlmeier; Quang Dung Nguyen (BM-FA, 2014)

Transformation of UML and OCL Models into Filmstrip Models. - Frank Hilken; Lars Hamann; Martin Gogolla (ICMT, 2014)

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)

On Static and Dynamic Analysis of UML and OCL Transformation Models. - Martin Gogolla; Lars Hamann; Frank Hilken (AMT@MoDELS, 2014)

On metamodel superstructures employing UML generalization features. - Martin Gogolla; Matthias Sedlmeier; Lars Hamann; Frank Hilken (MULTI@MoDELS, 2014)

Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. - Lars Hamann; Frank Hilken; Martin Gogolla (OSS4MDE@MoDELS, 2014)

Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. - Lars Hamann; Martin Gogolla; Oliver Hofrichter (Software Engineering, 2014)

Checking Transformation Model Properties with a UML and OCL Model Validator. - Martin Gogolla; Lars Hamann; Frank Hilken (VOLT@STAF, 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)

Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. - Lars Hamann; Karsten Sohr; Martin Gogolla (ESSoS, 2015)

Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln. - Lars Hamann; Martin Gogolla (Software Engineering & Management, 2015)

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. - Martin Gogolla; Lars Hamann; Frank Hilken; Matthias Sedlmeier (TAP@STAF, 2015)

On formalizing UML and OCL features and their employment to runtime verification. - Lars Hamann (2015)

On the Support of Qualified Associations in OCL. - Lars Hamann; Martin Gogolla; Nisha Desai 001 (OCL@MoDELS, 2016)

Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. - Lars Hamann; Richard F. Paige; Alfonso Pierantonio; Bernhard Rumpe; Antonio Vallecillo (J. Object Technol., 2020)

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. - Frank Hilken; Lars Hamann (J. Object Technol., 2020)

Transformation of TOCL temporal properties into OCL. - Mustafa Al-Lail; Antonio Rosales; Hector Cardenas; Lars Hamann; Alfredo J. Perez (MoDELS (Companion), 2022)

Categorization of approaches to extend and reuse OCL. - Lars Hamann; Martin Gogolla; Mustafa Al-Lail (MoDELS (Companion), 2022)

International Workshop on OCL and Textual Modeling (OCL 2023). - Robert Clarisó; Lars Hamann (MoDELS (Companion), 2023)

Proving Properties of Operation Contracts with Test Scenarios. - Martin Gogolla; Lars Hamann (TAP, 2023)

Mediation-Based MLM in USE. - Mira Balaban; Lars Hamann; Gil Khais; Amiel Amram Saad; Azzam Maraee; Arnon Sturm (MoDELS (Companion), 2024)