World's Best Scientists 2026 revealed!
Martin Gogolla

Martin Gogolla

D-Index & Metrics

Computer Science

D-Index
42
Citations
7683
World Ranking
8364
National Ranking
406

Overview

Martin Gogolla is affiliated with the University of Bremen in Germany. Their research focuses primarily on computer science, with specializations in software, artificial intelligence, and information systems. The main topics of their work encompass model-driven software engineering techniques, advanced software engineering methodologies, and software engineering research, with additional interests in semantic web and ontologies, business process modeling and analysis, web applications and data management, and service-oriented architecture and web services.

Throughout their career, Martin Gogolla has published extensively in several academic venues. Frequent publication outlets include:

  • Technische Universität Berlin - Universitätsbibliothek
  • The Journal of Object Technology
  • Media
  • Software & Systems Modeling
  • Zenodo (CERN European Organization for Nuclear Research)

Recent papers authored or coauthored by Gogolla cover topics related to runtime monitoring, model snapshots, and semantic properties of OCL operations. Notable publications include:

  • "OCL-based Runtime Monitoring of JVM hosted Applications," 2024, Technische Universität Berlin - Universitätsbibliothek
  • "Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques," 2024, Technische Universität Berlin - Universitätsbibliothek
  • "Model Finding in the EMF Ecosystem," 2020, The Journal of Object Technology
  • "Checking the Conformance between Models Based on Scenario Synchronization," 2020, Zenodo (CERN European Organization for Nuclear Research)
  • "Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships," 2024, Technische Universität Berlin - Universitätsbibliothek

Martin Gogolla has collaborated frequently with several researchers who appear regularly as coauthors. These include Robert Clarisó, Jordi Cabot, Lars Hamann, Antonio Vallecillo, and Loli Burgueño. Their teamwork has contributed to multiple publications across different venues.

Best Publications

  • USE: A UML-based specification environment for validating UML and OCL

    Martin Gogolla;Fabian Büttner;Mark Richters

  • Object Constraint Language

    Martin Gogolla

  • Model transformations? transformation models!

    Jean Bézivin;Fabian Büttner;Martin Gogolla;Frederic Jouault

  • Validating UML and OCL models in USE by automatic snapshot generation

    Martin Gogolla;Jørn Bohling;Mark Richters

  • On Formalizing the UML Object Constraint Language OCL

    Mark Richters;Martin Gogolla

  • Validating UML models and OCL constraints

    Mark Richters;Martin Gogolla

  • Object constraint language (OCL): a definitive guide

    Jordi Cabot;Martin Gogolla

  • Towards a semantic view of an extended entity-relationship model

    Martin Gogolla;Uwe Hohenstein

  • Conceptual modelling of database applications using an extended ER model

    Gregor Engels;Martin Gogolla;Uwe Hohenstein;Klaus Hülsmann

  • OCL: Syntax, Semantics, and Tools

    Mark Richters;Martin Gogolla

  • Verifying UML/OCL models using Boolean satisfiability

    Mathias Soeken;Robert Wille;Mirco Kuhlmann;Martin Gogolla

  • Using models at runtime to address assurance for self-adaptive systems

    Betty H. C. Cheng;Kerstin I. Eder;Martin Gogolla;Lars Grunske

  • From UML and OCL to relational logic and back

    Mirco Kuhlmann;Martin Gogolla

  • Expressing UML Class Diagrams Properties with OCL

    Martin Gogolla;Mark Richters

  • Extensive validation of OCL models by integrating SAT solving into USE

    Mirco Kuhlmann;Lars Hamann;Martin Gogolla

  • An integrated semantics for UML class, object and state diagrams based on graph transformation

    Sabine Kuske;Martin Gogolla;Ralf Kollmann;Hans-Jörg Kreowski

  • Validation of UML and OCL Models by Automatic Snapshot Generation

    Martin Gogolla;Jörn Bohling;Mark Richters

  • Verification of ATL transformations using transformation models and model finders

    Fabian Büttner;Marina Egea;Jordi Cabot;Martin Gogolla

  • An Extended Entity-Relationship Model: Fundamentals and Pragmatics

    Martin Gogolla

  • A metamodel for OCL

    Mark Richters;Martin Gogolla

Frequent Co-Authors

Antonio Vallecillo
Antonio Vallecillo University of Malaga
Robert Wille
Robert Wille Technical University of Munich
Bernhard Rumpe
Bernhard Rumpe RWTH Aachen University
Jean Bézivin
Jean Bézivin University of Nantes
Hans-Jörg Kreowski
Hans-Jörg Kreowski University of Bremen
Manuel Wimmer
Manuel Wimmer Johannes Kepler University of Linz
Frédéric Jouault
Frédéric Jouault École Supérieure d'Electronique de l'Ouest
Heinrich Hussmann
Heinrich Hussmann Ludwig-Maximilians-Universität München
Gail-Joon Ahn
Gail-Joon Ahn Arizona State University
Rolf Drechsler
Rolf Drechsler University of Bremen

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA can open doors to a variety of related fields, especially through online programs. If you are considering expanding your expertise, many institutions offer flexible degree options in areas like engineering and data science.

Understanding the mechanical engineering cost of education is essential, as tuition and fees vary greatly across programs. For those interested in science, a physics degree online combines fundamental theory with practical problem-solving—ideal for careers in technology or research.

The tech industry also has a strong demand for data skills. Earning a data scientist degree online offers affordable pathways to a high-growth field. Electrical engineering remains another popular choice; learn about electrical engineering degree online admissions to find the best programs that fit your career goals.

These online degrees not only provide flexibility but can also lead to diverse and rewarding career pathways closely connected to computer science.

Best Scientists Citing Martin Gogolla

Trending Scientists

Recently Published Articles