Martin Gogolla

ORCID

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 94

Top Venues

STAF Workshops

MoDELS (Companion)

OCL@MoDELS

MoDELS (Satellite Events)

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Braunschweig University of Technology, Germany

PHD

Publications

Friedrich Steimann, Robert Clarisó, Martin Gogolla
OCL Rebuilt, From the Ground Up. MODELS (2023)
Martin Gogolla
Towards a Model Development Environment Acknowledging Contradicting Dimensions in MDE. MoDELS (Companion) (2023)
Martin Gogolla, Lars Hamann
Proving Properties of Operation Contracts with Test Scenarios. TAP (2023)
Sergio Morales, Elena Planas, Robert Clarisó, Martin Gogolla
Generative AI in Model-Driven Software Engineering Education: Friend or Foe? MoDELS (Companion) (2023)
Martin Gogolla, Bran Selic, Andreas Kästner, Larousse Degrandow, Cyrille Namegni
From Object to Class Models: More Steps towards Flexible Modeling (Short Paper). STAF Workshops (2022)
Lars Hamann, Martin Gogolla, Mustafa Al-Lail
Categorization of approaches to extend and reuse OCL. MoDELS (Companion) (2022)
Lola Burgueño, Martin Gogolla, Richard F. Paige
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday. J. Object Technol. 21 (4) (2022)
Martin Gogolla, Loli Burgueño, Antonio Vallecillo
Refactoring Collections in OCL. STAF Workshops (2021)
Loli Burgueño, Martin Gogolla
Preface to the JOT special issue containing the ECMFA 2021 selected papers. J. Object Technol. 20 (3) (2021)
Martin Gogolla
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models. ICDCIT (2021)
Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. MoDELS (Companion) (2021)
Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
A SWOT Analysis of the Object Constraint Language. STAF Workshops (2021)
Marcel Schäfer, Martin Gogolla
Enhancing development and consistency of UML models and model executions with USE studio. MoDELS (Companion) (2020)
Antonio Vallecillo, Martin Gogolla
Modeling Behavioral Deontic Constraints Using UML and OCL. ER (2020)
Martin Gogolla, Timo Stüber
Metrics for OCL expressions: development, realization, and applications for validation. MoDELS (Companion) (2020)
Martin Gogolla, Bran Selic
On teaching descriptive and prescriptive modeling. MoDELS (Companion) (2020)
Martin Gogolla, Haleh Havakili, Carsten Schipke
Advanced Features for Model Visualization in the UML and OCL Tool USE. Modellierung (Companion) (2020)
Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. Modellierung (2020)
Nisha Desai, Martin Gogolla
Strengthening validation of model behavior through filmstrip templates in the tool USE. MoDELS (Companion) (2020)
Matthias Sedlmeier, Martin Gogolla
A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications. ER Forum/Posters/Demos (2020)
Jesús Sánchez Cuadrado, Martin Gogolla
Model Finding in the EMF Ecosystem. J. Object Technol. 19 (2) (2020)
Nisha Desai, Martin Gogolla
Assembling Scenario Patterns for Checking Model Behavior. J. Object Technol. 19 (2) (2020)
Robert Clarisó, Martin Gogolla
A Feasibility Study on Using Classifying Terms in Alloy. OCL@MoDELS (2019)
Nisha Desai, Martin Gogolla
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior. MoDELS (Companion) (2019)
Martin Gogolla, Antonio Vallecillo
On Softening OCL Invariants. J. Object Technol. 18 (2) (2019)
Martin Gogolla, Nisha Desai, Khanh-Hoang Doan
Developing User and Recording Interfaces for Design Time and Runtime Models. STAF (Co-Located Events) (2019)
Victor Ortiz, Loli Burgueño, Antonio Vallecillo, Martin Gogolla
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE. OCL@MoDELS (2019)
Nisha Desai, Martin Gogolla
Developing Comprehensive Postconditions Through a Model Transformation Chain. J. Object Technol. 18 (3) (2019)
Khanh-Hoang Doan, Martin Gogolla
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. MoDELS (Companion) (2019)
Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink
Emerging Topics in Textual Modelling. OCL@MoDELS (2019)
Martin Gogolla, Antonio Vallecillo
An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now". MoDELS (Companion) (2019)
Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. ER (2019)
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18 (1) (2019)
Paula Muñoz, Loli Burgueño, Martin Gogolla, Antonio Vallecillo
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams. OCL@MoDELS (2019)
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54 (2018)
Martin Gogolla, Perdita Stevens
Teaching modeling in computer science as an ecosystem: a provocative analogy. Comput. Sci. Educ. 28 (1) (2018)
Nisha Desai, Martin Gogolla
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. ICTSS (2018)
Khanh-Hoang Doan, Martin Gogolla
Assessing UML Model Quality by Utilizing Metrics. QUATIC (2018)
Hugo Brunelière, Romina Eramo, Abel Gómez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop. STAF Workshops (2018)
Andreas Kästner, Martin Gogolla, Bran Selic
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper. MoDELS (2018)
Loli Burgueño, Antonio Vallecillo, Martin Gogolla
Teaching UML and OCL models and their validation to software engineering students: an experience report. Comput. Sci. Educ. 28 (1) (2018)
Andreas Kästner, Martin Gogolla, Khanh-Hoang Doan, Nisha Desai
Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration. STAF Workshops (2018)
Khanh-Hoang Doan, Martin Gogolla
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment. Modellierung (2018)
Martin Gogolla, Khanh-Hoang Doan
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. SetVR@Diagrams (2018)
Martin Gogolla, Loli Burgueño, Antonio Vallecillo
Model Finding and Model Completion with USE. MoDELS (Workshops) (2018)
Khanh-Hoang Doan, Martin Gogolla
Logical Reasoning with Object Diagrams in a UML and OCL Tool. Diagrams (2018)
Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo
Testing models and model transformations using classifying terms. Softw. Syst. Model. 17 (3) (2018)
Andreas Kästner, Martin Gogolla, Bran Selic
Towards flexible object and class modeling tools: an experience report. MoDELS (Workshops) (2018)
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken
Employing Classifying Terms for Testing Model Transformations. Software Engineering (2017)
Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17). MoDELS (Satellite Events) (2017)
Martin Gogolla, Frank Hilken, Andreas Kästner
Some Narrow and Broad Challenges in MDD. STAF Workshops (2017)
Martin Gogolla, Khanh-Hoang Doan
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification. Conceptual Modeling Perspectives (2017)
Antonio Vallecillo, Martin Gogolla
Adding Random Operations to OCL. MoDELS (Satellite Events) (2017)
Martin Gogolla, Antonio Vallecillo
(An Example for) Formally Modeling Robot Behavior with UML and OCL. STAF Workshops (2017)
Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
Testing Transformation Models Using Classifying Terms. ICMT (2017)
Khanh-Hoang Doan, Martin Gogolla
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. MoDELS (Satellite Events) (2017)
Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA (2017)
Martin Gogolla
On Understanding Teaching Modeling in Computer Science as an Ecosystem. MoDELS (Satellite Events) (2017)
Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions. STAF Workshops (2017)
Nisha Desai, Martin Gogolla, Frank Hilken
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. MoDELS (Satellite Events) (2017)
Loli Burgueño, Antonio Vallecillo, Martin Gogolla
Teaching Model Views with UML and OCL. MoDELS (Satellite Events) (2017)
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. TAP@STAF (2017)
Loli Burgueño, Martin Gogolla
Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL. ICSOC (2017)
Khanh-Hoang Doan, Martin Gogolla, Frank Hilken
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. STAF Workshops (2016)
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS (2016)
Martin Gogolla, Frank Hilken
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. Modellierung (2016)
Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
Recent Developments in OCL and Textual Modelling. OCL@MoDELS (2016)
Robert Bill, Martin Gogolla, Manuel Wimmer
On Leveraging UML/OCL for Model Synchronization. ME@MoDELS (2016)
Frank Hilken, Martin Gogolla
User Assistance Characteristics of the USE Model Checking Tool. F-IDE@FM (2016)
Matthias Sedlmeier, Martin Gogolla
Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data. BigMDE@STAF (2016)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Extracting frame conditions from operation contracts. Software Engineering (2016)
Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS (2016)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung (2016)
Martin Gogolla, Antonio Vallecillo
Views on UML Interactions as Spreadsheet Queries. STAF Workshops (2016)
Martin Gogolla, Jordi Cabot
Continuing a Benchmark for UML and OCL Design and Analysis Tools. STAF Workshops (2016)
Michael Freitag, Martin Gogolla, Hans-Jörg Kreowski, Michael Lütjen, Robert Porzel, Klaus-Dieter Thoben
Toward a Unified Logistics Modeling Language: Constraints and Objectives. LDIC (2016)
Marco Franke, Till Becker, Martin Gogolla, Karl A. Hribernik, Klaus-Dieter Thoben
Interoperability of Logistics Artifacts: An Approach for Information Exchange Through Transformation Mechanisms. LDIC (2016)
Lars Hamann, Martin Gogolla, Nisha Desai
On the Support of Qualified Associations in OCL. OCL@MoDELS (2016)
Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
Generating effective test suites for model transformations using classifying terms. PAME/VOLT@MoDELS (2016)
Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla
Integrating UML/OCL Derived Properties into Validation and Verification Processes. OCL@MoDELS (2016)
Frank Hilken, Martin Gogolla
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. DSD (2016)
Lars Hamann, Martin Gogolla
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln. Software Engineering & Management (2015)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Assisted generation of frame conditions for formal models. DATE (2015)
Martin Gogolla, Frank Hilken
UML and OCL Transformation Model Analysis: Checking Invariant Independence. VOLT@STAF (2015)
Martin Gogolla
Experimenting with Multi-Level Models in a Two-Level Modeling Tool. MULTI@MoDELS (2015)
Lars Hamann, Karsten Sohr, Martin Gogolla
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. ESSoS (2015)
Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe, Martin Schindler
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015. Softw. Syst. Model. 14 (2) (2015)
Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo
Iterative Development of Transformation Models by Using Classifying Terms. AMT@MoDELS (2015)
Matthias Sedlmeier, Martin Gogolla
Model Driven ActiveRecord with yEd. EJC (2015)
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. TAP@STAF (2015)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Extracting frame conditions from operation contracts. MoDELS (2015)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT (2015)
Martin Gogolla
An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? EduSymp@MoDELS (2015)
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken
Employing classifying terms for testing model transformations. MoDELS (2015)
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS (2014)
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
Report on the Aachen OCL Meeting. CoRR (2014)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. TAP@STAF (2014)
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. Modellierung (2014)
Frank Hilken, Lars Hamann, Martin Gogolla
Transformation of UML and OCL Models into Filmstrip Models. ICMT (2014)
Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken
On metamodel superstructures employing UML generalization features. MULTI@MoDELS (2014)

Martin Gogolla.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Gogolla