| 2026 | WorldCIST | Starting a Template Catalogue for Questions in Technical Quizzes. | Martin Gogolla, Lars Hamann |
| 2023 | MODELS | Towards a Model Development Environment Acknowledging Contradicting Dimensions in MDE. | Martin Gogolla |
| 2023 | MODELS | Generative AI in Model-Driven Software Engineering Education: Friend or Foe? | Sergio Morales, Elena Planas, Robert Claris, Martin Gogolla |
| 2023 | MODELS | OCL Rebuilt, From the Ground Up. | Friedrich Steimann, Robert Claris, Martin Gogolla |
| 2023 | TAP | Proving Properties of Operation Contracts with Test Scenarios. | Martin Gogolla, Lars Hamann |
| 2022 | MODELS | Categorization of approaches to extend and reuse OCL. | Lars Hamann, Martin Gogolla, Mustafa Al-Lail |
| 2021 | ICDCIT | Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models. | Martin Gogolla |
| 2021 | MODELS | Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. | Martin Gogolla, Robert Claris, Bran Selic, Jordi Cabot |
| 2020 | ER | A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications. | Matthias Sedlmeier, Martin Gogolla |
| 2020 | ER | Modeling Behavioral Deontic Constraints Using UML and OCL. | Antonio Vallecillo, Martin Gogolla |
| 2020 | MODELS | Strengthening validation of model behavior through filmstrip templates in the tool USE. | Nisha Desai, Martin Gogolla |
| 2020 | MODELS | On teaching descriptive and prescriptive modeling. | Martin Gogolla, Bran Selic |
| 2020 | MODELS | Metrics for OCL expressions: development, realization, and applications for validation. | Martin Gogolla, Timo Stber |
| 2020 | MODELS | Enhancing development and consistency of UML models and model executions with USE studio. | Marcel Schfer, Martin Gogolla |
| 2019 | ER | A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. | Loli Burgueo, Jordi Cabot, Robert Claris, Martin Gogolla |
| 2019 | MODELS | Emerging Topics in Textual Modelling. | Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frdric Jouault, Christophe Ponsard, Valry Ramon, Edward D. Willink |
| 2019 | MODELS | A Feasibility Study on Using Classifying Terms in Alloy. | Robert Claris, Martin Gogolla |
| 2019 | MODELS | A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior. | Nisha Desai, Martin Gogolla |
| 2019 | MODELS | Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. | Khanh-Hoang Doan, Martin Gogolla |
| 2019 | MODELS | An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now". | Martin Gogolla, Antonio Vallecillo |
| 2019 | MODELS | Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams. | Paula Muoz, Loli Burgueo, Martin Gogolla, Antonio Vallecillo |
| 2019 | MODELS | Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE. | Victor Ortiz, Loli Burgueo, Antonio Vallecillo, Martin Gogolla |
| 2018 | DIAGRAMS | Logical Reasoning with Object Diagrams in a UML and OCL Tool. | Khanh-Hoang Doan, Martin Gogolla |
| 2018 | DIAGRAMS | Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. | Martin Gogolla, Khanh-Hoang Doan |
| 2018 | MODELS | Model Finding and Model Completion with USE. | Martin Gogolla, Loli Burgueo, Antonio Vallecillo |
| 2018 | MODELS | From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper. | Andreas Kstner, Martin Gogolla, Bran Selic |
| 2018 | MODELS | Towards flexible object and class modeling tools: an experience report. | Andreas Kstner, Martin Gogolla, Bran Selic |
| 2018 | QUATIC | Assessing UML Model Quality by Utilizing Metrics. | Khanh-Hoang Doan, Martin Gogolla |
| 2017 | ICSOC | Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL. | Loli Burgueo, Martin Gogolla |
| 2017 | MODELS | Teaching Model Views with UML and OCL. | Loli Burgueo, Antonio Vallecillo, Martin Gogolla |
| 2017 | MODELS | Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. | Nisha Desai, Martin Gogolla, Frank Hilken |
| 2017 | MODELS | Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. | Khanh-Hoang Doan, Martin Gogolla |
| 2017 | MODELS | On Understanding Teaching Modeling in Computer Science as an Ecosystem. | Martin Gogolla |
| 2017 | MODELS | Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17). | Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin |
| 2017 | MODELS | Adding Random Operations to OCL. | Antonio Vallecillo, Martin Gogolla |
| 2017 | TAP | Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. | Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai |
| 2016 | DSD | Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. | Frank Hilken, Martin Gogolla |
| 2016 | MODELS | A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. | Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer |
| 2016 | MODELS | On Leveraging UML/OCL for Model Synchronization. | Robert Bill, Martin Gogolla, Manuel Wimmer |
| 2016 | MODELS | Recent Developments in OCL and Textual Modelling. | Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Snchez-Barbudo Herrera, Frank Hilken, Frdric Tuong, Edward D. Willink, Burkhart Wolff |
| 2016 | MODELS | Generating effective test suites for model transformations using classifying terms. | Loli Burgueo, Frank Hilken, Antonio Vallecillo, Martin Gogolla |
| 2016 | MODELS | On the Support of Qualified Associations in OCL. | Lars Hamann, Martin Gogolla, Nisha Desai |
| 2016 | MODELS | Integrating UML/OCL Derived Properties into Validation and Verification Processes. | Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla |
| 2016 | MODELS | Integrating an SMT-Based ModelFinder into USE. | Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler |
| 2015 | DATE | Assisted generation of frame conditions for formal models. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | EJC | Model Driven ActiveRecord with yEd. | Matthias Sedlmeier, Martin Gogolla |
| 2015 | MODELS | Experimenting with Multi-Level Models in a Two-Level Modeling Tool. | Martin Gogolla |
| 2015 | MODELS | An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? | Martin Gogolla |
| 2015 | MODELS | Employing classifying terms for testing model transformations. | Martin Gogolla, Antonio Vallecillo, Loli Burgueo, Frank Hilken |
| 2015 | MODELS | Iterative Development of Transformation Models by Using Classifying Terms. | Frank Hilken, Loli Burgueo, Martin Gogolla, Antonio Vallecillo |
| 2015 | MODELS | Extracting frame conditions from operation contracts. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | TAP | Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
| 2014 | EJC | Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model. | Matthias Sedlmeier, Martin Gogolla |
| 2014 | MODELS | Panel Discussion: Proposals for Improving OCL. | Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frdric Jouault, Ernest Teniente, Burkhart Wolff |
| 2014 | MODELS | On Static and Dynamic Analysis of UML and OCL Transformation Models. | Martin Gogolla, Lars Hamann, Frank Hilken |
| 2014 | MODELS | On metamodel superstructures employing UML generalization features. | Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken |
| 2014 | MODELS | Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. | Lars Hamann, Frank Hilken, Martin Gogolla |
| 2014 | MODELS | Towards a Base Model for UML and OCL Verification. | Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla |
| 2014 | TAP | Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. | Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |
| 2013 | DATE | Towards a generic verification methodology for system models. | Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler |
| 2013 | MODELS | Report on the Aachen OCL Meeting. | Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff |
| 2013 | MODELS | Research Questions for Validation and Verification in the Context of Model-Based Engineering. | Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nbrega, Ileana Ober, Martina Seidl, Markus Vlter |
| 2013 | MODELS | Endogenous Metamodeling Semantics for Structural UML 2 Concepts. | Lars Hamann, Martin Gogolla |
| 2013 | MODELS | UML/OCL based Design and Analysis of Role-Based Access Control Policies. | Oliver Hofrichter, Martin Gogolla, Karsten Sohr |
| 2013 | TAP | Initiating a Benchmark for UML and OCL Analysis Tools. | Martin Gogolla, Fabian Bttner, Jordi Cabot |
| 2012 | ICFEM | Verification of ATL Transformations Using Transformation Models and Model Finders. | Fabian Bttner, Marina Egea, Jordi Cabot, Martin Gogolla |
| 2012 | MODELS | Workshop on OCL and textual modeling: OCL 2012. | Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke |
| 2012 | MODELS | On explaining modeling principles with modeling examples: a classification catalog. | Martin Gogolla, Antonio Vallecillo |
| 2012 | MODELS | Towards supporting multiple execution environments for UML/OCL models at runtime. | Lars Hamann, Martin Gogolla, Daniel Honsel |
| 2012 | MODELS | On Integrating Structure and Behavior Modeling with OCL. | Lars Hamann, Oliver Hofrichter, Martin Gogolla |
| 2012 | MODELS | The secret life of OCL constraints. | Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke |
| 2012 | MODELS | From UML and OCL to Relational Logic and Back. | Mirco Kuhlmann, Martin Gogolla |
| 2012 | TAP | Evaluating and Debugging OCL Expressions in UML Models. | Jens Brning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
| 2011 | EDOC | UML Metamodel-based Workflow Modeling and Execution. | Jens Brning, Martin Gogolla |
| 2011 | MODELS | On validation of ATL transformation rules by transformation models. | Fabian Bttner, Jordi Cabot, Martin Gogolla |
| 2010 | ATVA | On Scenario Synchronization. | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla |
| 2010 | DATE | Verifying UML/OCL models using Boolean satisfiability. | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
| 2010 | MODELS | Tenth International Workshop on OCL and Textual Modelling. | Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla |
| 2010 | TAP | Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. | Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
| 2009 | MODELS | Teaching Modeling: Why, When, What? | Jean Bzivin, Robert B. France, Martin Gogolla, ystein Haugen, Gabriele Taentzer, Dniel Varr |
| 2009 | MODELS | On Better Understanding OCL Collections | Fabian Bttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow |
| 2009 | MODELS | Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. | Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frdric Jouault, Alexander Knapp |
| 2009 | MODELS | Educators' Symposium at MODELS 2009. | Robert B. France, Martin Gogolla |
| 2009 | MODELS | Essentials of the 5th Educators' Symposium at MODELS 2009. | Robert B. France, Martin Gogolla |
| 2009 | SEFM | Precise Model-Driven Transformations Based on Graphs and Metamodels. | Duc-Hanh Dang, Martin Gogolla |
| 2009 | TAP | Consistency, Independence and Consequences in UML and OCL Models. | Martin Gogolla, Mirco Kuhlmann, Lars Hamann |
| 2008 | MODELS | Eighth International Workshop on OCL Concepts and Tools. | Jordi Cabot, Martin Gogolla, Pieter Van Gorp |
| 2008 | MODELS | On Integrating OCL and Triple Graph Grammars. | Duc-Hanh Dang, Martin Gogolla |
| 2008 | MODELS | A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. | Martin Gogolla, Mirco Kuhlmann, Fabian Bttner |
| 2007 | MODELS | 7th International Workshop on Ocl4All: Modelling Systems with OCL. | David H. Akehurst, Martin Gogolla, Steffen Zschaler |
| 2006 | MODELS | Model Transformations? Transformation Models! | Jean Bzivin, Fabian Bttner, Martin Gogolla, Frdric Jouault, Ivan Kurtev, Arne Lindow |
| 2006 | MODELS | OCL for (Meta-)Models in Multiple Application Domains. | Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer |
| 2005 | ESORICS | Specification and Validation of Authorisation Constraints Using UML and OCL. | Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge |
| 2004 | SEKE | Digging into the Visitor Pattern. | Fabian Bttner, Oliver Radfelder, Arne Lindow, Martin Gogolla |
| 2002 | IFM | An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. | Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jrg Kreowski |
| 2001 | GI | Ein formal validiertes Metamodell fr die Transformation von Schemata in Informationssystemen. | Arne Lindow, Martin Gogolla, Mark Richters |
| 2000 | AVI | On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation. | Oliver Radfelder, Martin Gogolla |
| 2000 | GI | Workshop ber Rigorose Entwicklung software-intensiver Systeme. | Martin Wirsing, Martin Gogolla, Hans-Jrg Kreowski, Tobias Nipkow, Wolfgang Reif |
| 2000 | ICALP | Graph Transformations on the UML Metamodel. | Martin Gogolla |
| 1998 | ER | On Formalizing the UML Object Constraint Language OCL. | Mark Richters, Martin Gogolla |
| 1997 | IDEAS | A Web-based Animator for Validating Object Specifications. | Mark Richters, Martin Gogolla |
| 1995 | ER | A Declarative Query Approach to Object Identification. | Martin Gogolla |
| 1994 | COMPASS | What is an Abstract Data Type, after all? | Martin Gogolla, Maura Cerioli |
| 1994 | COMPASS | An Algebraic Semantics for the Object Specification Language TROLL | Martin Gogolla, Rudolf Herzig |
| 1993 | CaiSE | Towards Reliable Information Systems: The KorSo Approach | Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich |
| 1993 | ER | Integrating the ER Approach in an OO Environment. | Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis |
| 1993 | GI | Zur Entwicklung zuverlssiger Informationssysteme in KorSo. | Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich |
| 1992 | COMPASS | Translating TROLL light Concepts to Maude. | Grit Denker, Martin Gogolla |
| 1992 | ER | Transforming Conceptual Data Models into an Object Model. | Rudolf Herzig, Martin Gogolla |
| 1991 | COMPASS | Objects and their Specification. | Hans-Dieter Ehrich, Martin Gogolla, Amlcar Sernadas |
| 1991 | ER | Drafting Extended Entity-Relationship Schemas with QUEER. | Martin Gogolla, Bernd Meyer, Gerd Westerman |
| 1988 | ER | A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. | Uwe Hohenstein, Martin Gogolla |
| 1986 | DS | Towards an Algebraic Semantics for Database Specification. | Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla |
| 1984 | VLDB | Specification, Semantics, and Enforcement of Dynamic Database Constraints. | Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla |