A Web-based Animator for Validating Object Specifications. - Mark Richters; Martin Gogolla (IDEAS, 1997)

A Web-based Animator for Object Specifications in a Persistent Environment. - Mark Richters; Martin Gogolla (TAPSOFT, 1997)

On Constraints and Queries in UML. - Martin Gogolla; Mark Richters (UML Workshop, 1997)

On combining semiformal and formal object specification techniques. - Martin Gogolla; Mark Richters (WADT, 1997)

On Formalizing the UML Object Constraint Language OCL. - Mark Richters; Martin Gogolla (ER, 1998)

Transformation Rules for UML Class Diagrams. - Martin Gogolla; Mark Richters (UML, 1998)

Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach). - Martin Gogolla; Stuart Kent 001; Tom Mens; Mark Richters; Oliver Radfelder (ECOOP Workshops, 1999)

What Is the Current State of UML Semantics? What Are the Reference Documents. - Martin Gogolla; Mark Richters; Oliver Radfelder (ECOOP Workshops, 1999)

Towards Three-Dimensional Animation of UML Diagrams. - Martin Gogolla; Oliver Radfelder; Mark Richters (UML, 1999)

A Metamodel for OCL. - Mark Richters; Martin Gogolla (UML, 1999)

Validating UML Models and OCL Constraints. - Mark Richters; Martin Gogolla (UML, 2000)

Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. - Arne Lindow; Martin Gogolla; Mark Richters (GI Jahrestagung (1), 2001)

Development of UML Descriptions with USE. - Martin Gogolla; Mark Richters (EurAsia-ICT, 2002)

Expressing UML Class Diagrams Properties with OCL. - Martin Gogolla; Mark Richters (Object Modeling with the OCL, 2002)

OCL: Syntax, Semantics, and Tools. - Mark Richters; Martin Gogolla (Object Modeling with the OCL, 2002)

A precise approach to validating UML models and OCL constraints. - Mark Richters (Logos-Verlag, 2002)

Validation of UML and OCL Models by Automatic Snapshot Generation. - Martin Gogolla; Jörn Bohling; Mark Richters (UML, 2003)

Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. - Martin Gogolla; Mark Richters; Jörn Bohling; Arne Lindow; Fabian Büttner; Paul Ziemann (Modellierung, 2004)

Validating UML and OCL models in USE by automatic snapshot generation. - Martin Gogolla; Jörn Bohling; Mark Richters (Softw. Syst. Model., 2005)

USE: A UML-based specification environment for validating UML and OCL. - Martin Gogolla; Fabian Büttner; Mark Richters (Sci. Comput. Program., 2007)

Failure management for cost-effective and efficient spacecraft Operation. - Enrico Noack; Tino Noack; Vijay Patel; Ingo Schmitt; Mark Richters; Johannes Stamminger; Sonja Sievi (AHS, 2011)