Martin Gogolla

312 papers A* 1A 23B 10C 13Misc 3Journal 52Unranked 178
YearRankTypeTitle / Venue / Authors
2025 J jnl
Developing configurations and solutions for logical puzzles with UML and OCL.
Softw. Syst. Model.
Martin Gogolla, Jesús Sánchez Cuadrado
2025 — conf
Measuring complexity of logical puzzles with metrics expressed in OCL *or* A case study on OCL diversity.
STAF Workshops
Martin Gogolla, Jesús Sánchez Cuadrado
2025 J jnl
Meet OCL${^\sharp }$, a relational object constraint language.
Softw. Syst. Model.
Friedrich Steimann, Robert Clarisó, Martin Gogolla
2023 — conf
Generative AI in Model-Driven Software Engineering Education: Friend or Foe?
MoDELS (Companion)
Sergio Morales, Elena Planas, Robert Clarisó, Martin Gogolla
2023 A conf
OCL Rebuilt, From the Ground Up.
MODELS
Friedrich Steimann, Robert Clarisó, Martin Gogolla
2023 C conf
Proving Properties of Operation Contracts with Test Scenarios.
TAP
Martin Gogolla, Lars Hamann
2023 — conf
Towards a Model Development Environment Acknowledging Contradicting Dimensions in MDE.
MoDELS (Companion)
Martin Gogolla
2022 — conf
Categorization of approaches to extend and reuse OCL.
MoDELS (Companion)
Lars Hamann, Martin Gogolla, Mustafa Al-Lail
2022 — conf
From Object to Class Models: More Steps towards Flexible Modeling (Short Paper).
STAF Workshops
Martin Gogolla, Bran Selic, Andreas Kästner, Larousse Degrandow, Cyrille Namegni
2022 J jnl
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday.
J. Object Technol.
Lola Burgueño, Martin Gogolla, Richard F. Paige
2021 — conf
A SWOT Analysis of the Object Constraint Language.
STAF Workshops
Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
2021 — ch.
Exploiting Results of Model-Based Analysis Tools.
Composing Model-Based Analysis Tools
Francisco Durán, Martin Gogolla, Esther Guerra, Juan de Lara, Houari A. Sahraoui, Steffen Zschaler
2021 Misc conf
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models.
ICDCIT
Martin Gogolla
2021 J jnl
Preface to the JOT special issue containing the ECMFA 2021 selected papers.
J. Object Technol.
Loli Burgueño, Martin Gogolla
2021 — conf
Refactoring Collections in OCL.
STAF Workshops
Martin Gogolla, Loli Burgueño, Antonio Vallecillo
2021 — conf
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools.
MoDELS (Companion)
Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot
2020 — conf
A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications.
ER Forum/Posters/Demos
Matthias Sedlmeier, Martin Gogolla
2020 — conf
Advanced Features for Model Visualization in the UML and OCL Tool USE.
Modellierung (Companion)
Martin Gogolla, Haleh Havakili, Carsten Schipke
2020 J jnl
Assembling Scenario Patterns for Checking Model Behavior.
J. Object Technol.
Nisha Desai, Martin Gogolla
2020 — conf
Enhancing development and consistency of UML models and model executions with USE studio.
MoDELS (Companion)
Marcel Schäfer, Martin Gogolla
2020 — conf
Metrics for OCL expressions: development, realization, and applications for validation.
MoDELS (Companion)
Martin Gogolla, Timo Stüber
2020 J jnl
Model Finding in the EMF Ecosystem.
J. Object Technol.
Jesús Sánchez Cuadrado, Martin Gogolla
2020 A conf
Modeling Behavioral Deontic Constraints Using UML and OCL.
ER
Antonio Vallecillo, Martin Gogolla
2020 — conf
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing.
Modellierung
Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr
2020 — conf
On teaching descriptive and prescriptive modeling.
MoDELS (Companion)
Martin Gogolla, Bran Selic
2020 — conf
Strengthening validation of model behavior through filmstrip templates in the tool USE.
MoDELS (Companion)
Nisha Desai, Martin Gogolla
2019 — conf
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior.
MoDELS (Companion)
Nisha Desai, Martin Gogolla
2019 — conf
A Feasibility Study on Using Classifying Terms in Alloy.
OCL@MoDELS
Robert Clarisó, Martin Gogolla
2019 A conf
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas.
ER
Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla
2019 J jnl
A feature-based classification of formal verification techniques for software models.
Softw. Syst. Model.
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
2019 — conf
An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now".
MoDELS (Companion)
Martin Gogolla, Antonio Vallecillo
2019 — conf
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams.
OCL@MoDELS
Paula Muñoz, Loli Burgueño, Martin Gogolla, Antonio Vallecillo
2019 J jnl
Developing Comprehensive Postconditions Through a Model Transformation Chain.
J. Object Technol.
Nisha Desai, Martin Gogolla
2019 — conf
Developing User and Recording Interfaces for Design Time and Runtime Models.
STAF (Co-Located Events)
Martin Gogolla, Nisha Desai, Khanh-Hoang Doan
2019 — conf
Emerging Topics in Textual Modelling.
OCL@MoDELS
Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink
2019 — conf
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE.
OCL@MoDELS
Victor Ortiz, Loli Burgueño, Antonio Vallecillo, Martin Gogolla
2019 J jnl
On Softening OCL Invariants.
J. Object Technol.
Martin Gogolla, Antonio Vallecillo
2019 — conf
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition.
MoDELS (Companion)
Khanh-Hoang Doan, Martin Gogolla
2018 J jnl
Achieving model quality through model validation, verification and exploration.
Comput. Lang. Syst. Struct.
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan
2018 Misc conf
Assessing UML Model Quality by Utilizing Metrics.
QUATIC
Khanh-Hoang Doan, Martin Gogolla
2018 — conf
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment.
Modellierung
Khanh-Hoang Doan, Martin Gogolla
2018 A conf
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper.
MoDELS
Andreas Kästner, Martin Gogolla, Bran Selic
2018 C conf
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior.
ICTSS
Nisha Desai, Martin Gogolla
2018 C conf
Logical Reasoning with Object Diagrams in a UML and OCL Tool.
Diagrams
Khanh-Hoang Doan, Martin Gogolla
2018 — conf
Model Finding and Model Completion with USE.
MoDELS (Workshops)
Martin Gogolla, Loli Burgueño, Antonio Vallecillo
2018 — conf
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop.
STAF Workshops
Hugo Bruneliere, Romina Eramo, Abel Gómez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
2018 — ch.
Object Constraint Language.
Encyclopedia of Database Systems (2nd ed.)
Martin Gogolla
2018 — ed.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
MoDELS (Companion)
Önder Babur, Daniel Strüber, Silvia Abrahão, Loli Burgueño, Martin Gogolla, Joel Greenyer, Sahar Kokaly, Dimitris S. Kolovos, Tanja Mayerhofer, Mansooreh Zahedi
2018 — conf
Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration.
STAF Workshops
Andreas Kästner, Martin Gogolla, Khanh-Hoang Doan, Nisha Desai
2018 J jnl
Teaching UML and OCL models and their validation to software engineering students: an experience report.
Comput. Sci. Educ.
Loli Burgueño, Antonio Vallecillo, Martin Gogolla
2018 J jnl
Teaching modeling in computer science as an ecosystem: a provocative analogy.
Comput. Sci. Educ.
Martin Gogolla, Perdita Stevens
2018 J jnl
Testing models and model transformations using classifying terms.
Softw. Syst. Model.
Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo
2018 — conf
Towards flexible object and class modeling tools: an experience report.
MoDELS (Workshops)
Andreas Kästner, Martin Gogolla, Bran Selic
2018 — ch.
Unified Modeling Language.
Encyclopedia of Database Systems (2nd ed.)
Martin Gogolla
2018 — conf
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool.
SetVR@Diagrams
Martin Gogolla, Khanh-Hoang Doan
2017 — conf
(An Example for) Formally Modeling Robot Behavior with UML and OCL.
STAF Workshops
Martin Gogolla, Antonio Vallecillo
2017 — conf
Adding Random Operations to OCL.
MoDELS (Satellite Events)
Antonio Vallecillo, Martin Gogolla
2017 — conf
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.
TAP@STAF
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai
2017 C conf
Employing Classifying Terms for Testing Model Transformations.
Software Engineering
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken
2017 — conf
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives.
MoDELS (Satellite Events)
Nisha Desai, Martin Gogolla, Frank Hilken
2017 — conf
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment.
MoDELS (Satellite Events)
Khanh-Hoang Doan, Martin Gogolla
2017 A conf
Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL.
ICSOC
Loli Burgueño, Martin Gogolla
2017 B conf
Formulating Model Verification Tasks Prover-Independently as UML Diagrams.
ECMFA
Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
2017 — conf
On Understanding Teaching Modeling in Computer Science as an Ecosystem.
MoDELS (Satellite Events)
Martin Gogolla
2017 — ed.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017.
MoDELS (Satellite Events)
Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio
2017 — conf
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification.
Conceptual Modeling Perspectives
Martin Gogolla, Khanh-Hoang Doan
2017 — conf
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17).
MoDELS (Satellite Events)
Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin
2017 — conf
Some Narrow and Broad Challenges in MDD.
STAF Workshops
Martin Gogolla, Frank Hilken, Andreas Kästner
2017 — conf
Teaching Model Views with UML and OCL.
MoDELS (Satellite Events)
Loli Burgueño, Antonio Vallecillo, Martin Gogolla
2017 — conf
Testing Transformation Models Using Classifying Terms.
ICMT
Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
2017 — conf
Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions.
STAF Workshops
Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
2016 — conf
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.
OCL@MoDELS
Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
2016 — conf
Continuing a Benchmark for UML and OCL Design and Analysis Tools.
STAF Workshops
Martin Gogolla, Jordi Cabot
2016 C conf
Extracting frame conditions from operation contracts.
Software Engineering
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2016 — conf
Generating effective test suites for model transformations using classifying terms.
PAME/VOLT@MoDELS
Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
2016 — conf
Integrating UML/OCL Derived Properties into Validation and Verification Processes.
OCL@MoDELS
Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla
2016 — conf
Integrating an SMT-Based ModelFinder into USE.
MoDeVVa@MoDELS
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
2016 — conf
Interoperability of Logistics Artifacts: An Approach for Information Exchange Through Transformation Mechanisms.
LDIC
Marco Franke, Till Becker, Martin Gogolla, Karl A. Hribernik, Klaus-Dieter Thoben
2016 — conf
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.
Modellierung
Martin Gogolla, Frank Hilken
2016 — conf
On Leveraging UML/OCL for Model Synchronization.
ME@MoDELS
Robert Bill, Martin Gogolla, Manuel Wimmer
2016 — conf
On the Support of Qualified Associations in OCL.
OCL@MoDELS
Lars Hamann, Martin Gogolla, Nisha Desai
2016 — conf
Recent Developments in OCL and Textual Modelling.
OCL@MoDELS
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
2016 — conf
Toward a Unified Logistics Modeling Language: Constraints and Objectives.
LDIC
Michael Freitag, Martin Gogolla, Hans-Jörg Kreowski, Michael Lütjen, Robert Porzel, Klaus-Dieter Thoben
2016 — conf
Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data.
BigMDE@STAF
Matthias Sedlmeier, Martin Gogolla
2016 — conf
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.
Modellierung
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
2016 — conf
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models.
STAF Workshops
Khanh-Hoang Doan, Martin Gogolla, Frank Hilken
2016 — conf
User Assistance Characteristics of the USE Model Checking Tool.
F-IDE@FM
Frank Hilken, Martin Gogolla
2016 C conf
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping.
DSD
Frank Hilken, Martin Gogolla
2016 — conf
Views on UML Interactions as Spreadsheet Queries.
STAF Workshops
Martin Gogolla, Antonio Vallecillo
2015 — conf
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
Martin Gogolla
2015 A conf
Assisted generation of frame conditions for formal models.
DATE
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2015 — conf
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study.
TAP@STAF
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
2015 A conf
Employing classifying terms for testing model transformations.
MoDELS
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken
2015 — conf
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln.
Software Engineering & Management
Lars Hamann, Martin Gogolla
2015 — conf
Experimenting with Multi-Level Models in a Two-Level Modeling Tool.
MULTI@MoDELS
Martin Gogolla
2015 A conf
Extracting frame conditions from operation contracts.
MoDELS
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2015 — conf
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification.
ICMT
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
2015 J jnl
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015.
Softw. Syst. Model.
Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe, Martin Schindler
2015 — conf
Iterative Development of Transformation Models by Using Classifying Terms.
AMT@MoDELS
Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo
2015 C conf
Model Driven ActiveRecord with yEd.
EJC
Matthias Sedlmeier, Martin Gogolla
2015 — conf
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study.
ESSoS
Lars Hamann, Karsten Sohr, Martin Gogolla
2015 — ed.
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.
OCL@MoDELS
Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong
2015 — ed.
Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, Ottawa, Canada, September 29, 2015.
SRC@MoDELS
Mira Balaban, Martin Gogolla
2015 — ed.
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015.
STAF Doctoral Symposium
Martin Gogolla, Henry Muccini, Dániel Varró
2015 — conf
UML and OCL Transformation Model Analysis: Checking Invariant Independence.
VOLT@STAF
Martin Gogolla, Frank Hilken
2014 — conf
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool.
BM-FA
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen
2014 — conf
Checking Transformation Model Properties with a UML and OCL Model Validator.
VOLT@STAF
Martin Gogolla, Lars Hamann, Frank Hilken
2014 — conf
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool.
OSS4MDE@MoDELS
Lars Hamann, Frank Hilken, Martin Gogolla
2014 C conf
Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model.
EJC
Matthias Sedlmeier, Martin Gogolla
2014 — conf
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.
TAP@STAF
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
2014 — conf
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.
Modellierung
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France
2014 J jnl
Model-driven standardization of public authority data interchange.
Sci. Comput. Program.
Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek
2014 — conf
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool.
BM-FA (Revised Selected Papers)
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
2014 J jnl
On OCL-based imperative languages.
Sci. Comput. Program.
Fabian Büttner, Martin Gogolla
2014 — conf
On Static and Dynamic Analysis of UML and OCL Transformation Models.
AMT@MoDELS
Martin Gogolla, Lars Hamann, Frank Hilken
2014 — conf
On metamodel superstructures employing UML generalization features.
MULTI@MoDELS
Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken
2014 — conf
Panel Discussion: Proposals for Improving OCL.
OCL@MoDELS
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
2014 — ed.
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014.
OCL@MoDELS
Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla
2014 J jnl
Report on the Aachen OCL Meeting.
CoRR
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
2014 — conf
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).
VOLT@STAF
Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano
2014 — conf
Towards a Base Model for UML and OCL Verification.
MoDeVVa@MoDELS
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
2014 — conf
Transformation of UML and OCL Models into Filmstrip Models.
ICMT
Frank Hilken, Lars Hamann, Martin Gogolla
2014 C conf
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL.
Software Engineering
Lars Hamann, Martin Gogolla, Oliver Hofrichter
2013 J jnl
Employing UML and OCL for designing and analysing role-based access control.
Math. Struct. Comput. Sci.
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla
2013 B conf
Employing the Object Constraint Language in Model-Based Engineering.
ECMFA
Martin Gogolla
2013 A conf
Endogenous Metamodeling Semantics for Structural UML 2 Concepts.
MoDELS
Lars Hamann, Martin Gogolla
2013 — conf
Initiating a Benchmark for UML and OCL Analysis Tools.
TAP@STAF
Martin Gogolla, Fabian Büttner, Jordi Cabot
2013 J jnl
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182).
Dagstuhl Reports
Tony Clark, Robert B. France, Martin Gogolla, Bran Selic
2013 — ed.
Proceedings of the MODELS 2013 Doctoral Symposium co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, October 1, 2013.
MoDELS (Doctoral Symposium)
Martin Gogolla
2013 — ed.
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013.
OCL@MoDELS
Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink
2013 — conf
Report on the Aachen OCL Meeting.
OCL@MoDELS
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
2013 — conf
Research Questions for Validation and Verification in the Context of Model-Based Engineering.
MoDeVVa@MoDELS
Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter
2013 A conf
Towards a generic verification methodology for system models.
DATE
Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler
2013 — conf
UML/OCL based Design and Analysis of Role-Based Access Control Policies.
GEMOC+AMINO@MoDELS
Oliver Hofrichter, Martin Gogolla, Karsten Sohr
2012 J jnl
A benchmark for OCL engine accuracy, determinateness, and efficiency.
Softw. Syst. Model.
Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner
2012 — conf
Abstract Runtime Monitoring with USE.
CSMR
Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann
2012 — conf
An Approach for Quality Assurance of Model Transformations.
KSE
Duc-Hanh Dang, Martin Gogolla
2012 J jnl
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL.
Inf. Softw. Technol.
Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn
2012 — conf
Evaluating and Debugging OCL Expressions in UML Models.
TAP@TOOLS
Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann
2012 — conf
Formal Specification and Testing of Model Transformations.
SFM
Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann
2012 A conf
From UML and OCL to Relational Logic and Back.
MoDELS
Mirco Kuhlmann, Martin Gogolla
2012 B conf
OCL-Based Runtime Monitoring of Applications with Protocol State Machines.
ECMFA
Lars Hamann, Oliver Hofrichter, Martin Gogolla
2012 — conf
Object Constraint Language (OCL): A Definitive Guide.
SFM
Jordi Cabot, Martin Gogolla
2012 A conf
On Integrating Structure and Behavior Modeling with OCL.
MoDELS
Lars Hamann, Oliver Hofrichter, Martin Gogolla
2012 — conf
On explaining modeling principles with modeling examples: a classification catalog.
EduSym@MoDELS
Martin Gogolla, Antonio Vallecillo
2012 — conf
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.
Modellierung
Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla
2012 — ed.
Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012
OCL@MoDELS
Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
2012 B conf
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations.
ECMFA
Mirco Kuhlmann, Martin Gogolla
2012 — conf
The secret life of OCL constraints.
OCL@MoDELS
Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke
2012 — conf
Towards supporting multiple execution environments for UML/OCL models at runtime.
[email protected]
Lars Hamann, Martin Gogolla, Daniel Honsel
2012 — conf
Typing Model Transformations Using Tracts.
ICMT@TOOLS
Antonio Vallecillo, Martin Gogolla
2012 C conf
Verification of ATL Transformations Using Transformation Models and Model Finders.
ICFEM
Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla
2012 — conf
Workshop on OCL and textual modeling: OCL 2012.
OCL@MoDELS
Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
2011 — conf
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL.
SSIRI
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla
2011 J jnl
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang
2011 — conf
Extensive Validation of OCL Models by Integrating SAT Solving into USE.
TOOLS (49)
Mirco Kuhlmann, Lars Hamann, Martin Gogolla
2011 J jnl
ICMT 2010 Special Section.
J. Object Technol.
Laurence Tratt, Martin Gogolla
2011 — conf
Modular Embedding of the Object Constraint Language into a Programming Language.
SBMF
Fabian Büttner, Martin Gogolla
2011 J jnl
OCL-based Runtime Monitoring of JVM hosted Applications.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Lars Hamann, Martin Gogolla, Mirco Kuhlmann
2011 — conf
On validation of ATL transformation rules by transformation models.
MoDeVVa@MoDELS
Fabian Büttner, Jordi Cabot, Martin Gogolla
2011 J jnl
Preface (OCL 2011 Proceedings).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff
2011 — ed.
Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
TAP@TOOLS
Martin Gogolla, Burkhart Wolff
2011 — conf
Tracing Properties of UML and OCL Models with Maude
AMMSE
Francisco Durán, Martin Gogolla, Manuel Roldán
2011 B conf
UML Metamodel-based Workflow Modeling and Execution.
EDOC
Jens Brüning, Martin Gogolla
2011 — ch.
UML and OCL in Conceptual Modeling.
Handbook of Conceptual Modeling
Martin Gogolla
2011 — conf
Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
[email protected]@Dagstuhl
Betty H. C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider, Frank Trollmann, Norha M. Villegas
2010 J jnl
Checking the Conformance between Models Based on Scenario Synchronization.
J. Univers. Comput. Sci.
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
2010 — conf
Modeling and Formally Checking Workflow Properties Using UML and OCL.
BIR
Jens Brüning, Martin Gogolla, Peter Forbrig
2010 B conf
On Scenario Synchronization.
ATVA
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
2010 J jnl
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
2010 — conf
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.
TAP@TOOLS
Martin Gogolla, Lars Hamann, Mirco Kuhlmann
2010 — conf
Tenth International Workshop on OCL and Textual Modelling.
MoDELS (Workshops)
Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
2010 — ed.
Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings
ICMT@TOOLS
Laurence Tratt, Martin Gogolla
2010 — conf
Verifying UML/OCL Models Using Boolean Satisfiability.
MBMV
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
2010 A conf
Verifying UML/OCL models using Boolean satisfiability.
DATE
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
2010 — conf
Zur Validierung von Kompositionsstrukturen in UML mit USE.
Modellierung
Lars Hamann, Martin Gogolla, Mirco Kuhlmann
2009 — conf
Consistency, Independence and Consequences in UML and OCL Models.
TAP@TOOLS
Martin Gogolla, Mirco Kuhlmann, Lars Hamann
2009 A conf
Educators' Symposium at MODELS 2009.
MoDELS
Robert B. France, Martin Gogolla
2009 — conf
Essentials of the 5th Educators' Symposium at MODELS 2009.
MoDELS (Workshops)
Robert B. France, Martin Gogolla
2009 — conf
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.
MoDELS (Workshops)
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
2009 — ch.
Object Constraint Language.
Encyclopedia of Database Systems
Martin Gogolla
2009 — conf
On Better Understanding OCL Collections
MoDELS (Workshops)
Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow
2009 B conf
Precise Model-Driven Transformations Based on Graphs and Metamodels.
SEFM
Duc-Hanh Dang, Martin Gogolla
2009 J jnl
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
2009 — conf
Teaching Modeling: Why, When, What?
MoDELS (Workshops)
Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró
2009 — conf
Towards Model Validation and Verification with SAT Techniques.
Algorithms and Applications for Next Generation SAT Solvers
Martin Gogolla
2009 J jnl
Towards an integrated graph-based semantics for UML.
Softw. Syst. Model.
Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann
2009 — ch.
Unified Modeling Language.
Encyclopedia of Database Systems
Martin Gogolla
2008 A conf
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
MoDELS
Martin Gogolla, Mirco Kuhlmann, Fabian Büttner
2008 J jnl
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Mirco Kuhlmann, Martin Gogolla
2008 J jnl
Analyzing and Managing Role-Based Access Control Policies.
IEEE Trans. Knowl. Data Eng.
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla
2008 — conf
Eighth International Workshop on OCL Concepts and Tools.
MoDELS (Workshops)
Jordi Cabot, Martin Gogolla, Pieter Van Gorp
2008 J jnl
Modeling and validating Mondex scenarios described in UML and OCL with USE.
Formal Aspects Comput.
Mirco Kuhlmann, Martin Gogolla
2008 — conf
On Horizontal and Vertical Relationships between Models.
Perspectives Workshop: Model Engineering of Complex Systems (MECS)
Martin Gogolla
2008 — conf
On Integrating OCL and Triple Graph Grammars.
MoDELS (Workshops)
Duc-Hanh Dang, Martin Gogolla
2008 J jnl
Preface to the Proceedings of the 2008 OCL Workshop.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jordi Cabot, Martin Gogolla, Pieter Van Gorp
2008 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
David H. Akehurst, Martin Gogolla, Steffen Zschaler
2007 — conf
7th International Workshop on Ocl4All: Modelling Systems with OCL.
MoDELS (Workshops)
David H. Akehurst, Martin Gogolla, Steffen Zschaler
2007 — conf
From Graph Transformation to OCL Using USE.
AGTIVE
Martin Gogolla, Fabian Büttner, Duc-Hanh Dang
2007 J jnl
USE: A UML-based specification environment for validating UML and OCL.
Sci. Comput. Program.
Martin Gogolla, Fabian Büttner, Mark Richters
2006 J jnl
From C++ Refactorings to Graph Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
László Vidács, Martin Gogolla, Rudolf Ferenc
2006 — conf
Model Development in the UML-based Specification Environment (USE).
MMOSS
Martin Gogolla
2006 A conf
Model Transformations? Transformation Models!
MoDELS
Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow
2006 — conf
OCL for (Meta-)Models in Multiple Application Domains.
MoDELS (Workshops)
Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer
2006 J jnl
On translating UML models into graph transformation systems.
J. Vis. Lang. Comput.
Karsten Hölscher, Paul Ziemann, Martin Gogolla
2006 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer
2006 B conf
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.
ICGT
Fabian Büttner, Martin Gogolla
2005 — conf
Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005).
MoDELS (Satellite Events)
Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, Tom Mens
2005 — conf
Exploring ER and RE syntax and semantics with metamodel object diagrams.
Metainformatics
Martin Gogolla
2005 A conf
Specification and Validation of Authorisation Constraints Using UML and OCL.
ESORICS
Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge
2005 — conf
Tales of ER and RE Syntax and Semantics.
Transformation Techniques in Software Engineering
Martin Gogolla
2005 — conf
Tool Support for OCL and Related Formalisms - Needs and Trends.
MoDELS (Satellite Events)
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2005 — conf
Towards Transformation of Integrity Constraints and Database States.
DEXA Workshops
Fabian Büttner, Hanna Bauerdick, Martin Gogolla
2005 J jnl
Validating UML and OCL models in USE by automatic snapshot generation.
Softw. Syst. Model.
Martin Gogolla, Jörn Bohling, Mark Richters
2004 — conf
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion.
Language Engineering for Model-Driven Software Development
Martin Gogolla
2004 Misc conf
Benefits and Problems of Formal Methods.
Ada-Europe
Martin Gogolla
2004 — ch.
Checking BART Test Scenarios with UML's Object Constraint Language.
Formal Methods for Embedded Distributed Systems
Martin Gogolla, Paul Ziemann
2004 — conf
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations.
SBMF
Paul Ziemann, Karsten Hölscher, Martin Gogolla
2004 — conf
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.
UML
Hanna Bauerdick, Martin Gogolla, Fabian Gutsche
2004 C conf
Digging into the Visitor Pattern.
SEKE
Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla
2004 — conf
Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke.
DeLFI
Arne Lindow, Martin Gogolla
2004 — conf
Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004).
UML Satellite Activities
Martin Gogolla, Paul Sammut, Jon Whittle
2004 — conf
From UML Models to Graph Transformation Systems.
VLFM
Paul Ziemann, Karsten Hölscher, Martin Gogolla
2004 — conf
OCL and Model Driven Engineering.
UML Satellite Activities
Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2004 — conf
Realizing UML Metamodel Transformations with AGG.
GT-VMT@ETAPS
Fabian Büttner, Martin Gogolla
2004 — conf
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.
Modellierung
Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann
2003 — conf
OCL Extended with Temporal Logic.
Ershov Memorial Conference
Paul Ziemann, Martin Gogolla
2003 — ch.
Transforming Data Models with UML.
Knowledge Transformation for the Semantic Web
Martin Gogolla, Arne Lindow
2003 C conf
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study.
FMICS
Paul Ziemann, Martin Gogolla
2003 — conf
Validation of UML and OCL Models by Automatic Snapshot Generation.
UML
Martin Gogolla, Jörn Bohling, Mark Richters
2002 B conf
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.
IFM
Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski
2002 — conf
Analysis of UML Stereotypes within the UML Metamodel.
UML
Martin Gogolla, Brian Henderson-Sellers
2002 — conf
Development of UML Descriptions with USE.
EurAsia-ICT
Martin Gogolla, Mark Richters
2002 J jnl
Editorial for the Speccial Issue UML 2001 Conference.
Softw. Syst. Model.
Martin Gogolla
2002 — ch.
Expressing UML Class Diagrams Properties with OCL.
Object Modeling with the OCL
Martin Gogolla, Mark Richters
2002 — conf
Metric-Based Selective Representation of UML Diagrams.
CSMR
Ralf Kollmann, Martin Gogolla
2002 — ch.
OCL: Syntax, Semantics, and Tools.
Object Modeling with the OCL
Mark Richters, Martin Gogolla
2002 — conf
Towards an Integrated Graph Based Semantics for UML.
GT-VMT@ICGT
Martin Gogolla, Paul Ziemann, Sabine Kuske
2001 — conf
Application of UML Associations and Their Adornments in Design Recovery.
WCRE
Ralf Kollmann, Martin Gogolla
2001 — conf
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams.
CSMR
Ralf Kollmann, Martin Gogolla
2001 — conf
Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen.
GI Jahrestagung (1)
Arne Lindow, Martin Gogolla, Mark Richters
2001 — ch.
The Whole-Part Relationship in the Unified Modeling Language: A New Approach.
Unified Modeling Language: Systems Analysis, Design and Development Issues
Franck Barbier, Brian Henderson-Sellers, Andreas L. Opdahl, Martin Gogolla
2001 — ed.
«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings
UML
Martin Gogolla, Cris Kobryn
2000 — conf
Graph Transformations on the UML Metamodel.
ICALP Satellite Workshops
Martin Gogolla
2000 — ch.
Identifying Objects by Declarative Queries.
Advances in Object-Oriented Data Modeling
Martin Gogolla
2000 B conf
On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation.
Advanced Visual Interfaces
Oliver Radfelder, Martin Gogolla
2000 — conf
Validating UML Models and OCL Constraints.
UML
Mark Richters, Martin Gogolla
2000 — conf
Workshop über Rigorose Entwicklung software-intensiver Systeme.
GI Jahrestagung
Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif
1999 — conf
A Metamodel for OCL.
UML
Mark Richters, Martin Gogolla
1999 — conf
Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach).
ECOOP Workshops
Martin Gogolla, Stuart Kent, Tom Mens, Mark Richters, Oliver Radfelder
1999 — conf
Towards Three-Dimensional Animation of UML Diagrams.
UML
Martin Gogolla, Oliver Radfelder, Mark Richters
1999 — conf
What Is the Current State of UML Semantics? What Are the Reference Documents.
ECOOP Workshops
Martin Gogolla, Mark Richters, Oliver Radfelder
1998 A conf
On Formalizing the UML Object Constraint Language OCL.
ER
Mark Richters, Martin Gogolla
1998 — conf
Stepwise Re-Engineering and Development of Object-Oriented Database Schemata.
DEXA Workshop
Martin Gogolla, Anne Kathrin Huge, Bodo Randt
1998 — conf
Transformation Rules for UML Class Diagrams.
UML
Martin Gogolla, Mark Richters
1997 — conf
A Web-based Animator for Object Specifications in a Persistent Environment.
TAPSOFT
Mark Richters, Martin Gogolla
1997 C conf
A Web-based Animator for Validating Object Specifications.
IDEAS
Mark Richters, Martin Gogolla
1997 — conf
On Constraints and Queries in UML.
UML Workshop
Martin Gogolla, Mark Richters
1997 — conf
On combining semiformal and formal object specification techniques.
WADT
Martin Gogolla, Mark Richters
1996 J jnl
Defining Operational Behavior of Object Specifications by Attributed Graph Transformations.
Fundam. Informaticae
Annika Wagner, Martin Gogolla
1996 J jnl
Drafting ER and OO Schemas in Prototype Environments.
Data Knowl. Eng.
Bernd Meyer, Gerd Westerman, Martin Gogolla
1996 — conf
Lassy - A System for Analyzing Grammatical Dependencies in Latin.
DEXA Workshop
Heino Gärtner, Martin Gogolla
1996 — conf
Parameterizing Object Specifications.
DISCO
Martin Gogolla
1995 — conf
A Declarative Query Approach to Object Identification.
OOER
Martin Gogolla
1995 J jnl
A Development Environment for an Object Specification Language.
IEEE Trans. Knowl. Data Eng.
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
1995 — conf
An Algebraic Development Technique for Information Systems.
AMAST
Martin Gogolla, Rudolf Herzig
1995 J jnl
Entwicklung zuverlässiger Informationssysteme.
EMISA Forum
Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
1995 — ch.
Korso Reference Languages - Concepts and Application Domains.
KORSO Book
Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog
1995 — ch.
TROLL light - The Language and its Development Environment.
KORSO Book
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig
1995 — conf
Towards Schema Queries for Semantic Data Models.
DEXA Workshop
Martin Gogolla
1994 — conf
A SQL-like Query Calculus for Object-Oriented Database Systems.
ISOOMS
Rudolf Herzig, Martin Gogolla
1994 — conf
An Algebraic Semantics for the Object Specification Language TROLL
COMPASS/ADT
Martin Gogolla, Rudolf Herzig
1994 — conf
An Animator for the Object Specification Language TROLL light.
COODBSE
Rudolf Herzig, Martin Gogolla
1994 — book
An Extended Entity-Relationship Model - Fundamentals and Pragmatics
Martin Gogolla
1994 J jnl
Fundamentals and Pragmatics of an Entity-Relationship Approach.
GI Datenbank Rundbrief
Martin Gogolla
1994 — conf
Safe Derivations in Object Hierarchies.
OOIS
Stefan Conrad, Martin Gogolla, Rudolf Herzig
1994 — conf
What is an Abstract Data Type, after all?
COMPASS/ADT
Martin Gogolla, Maura Cerioli
1993 — conf
An Object-Oriented Design for the ACT ONE Environment.
AMAST
Martin Gogolla, Ingo Claßen
1993 A conf
Integrating the ER Approach in an OO Environment.
ER
Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis
1993 — conf
Sketching Concepts and Computational Model of TROLL
DISCO
Martin Gogolla, Stefan Conrad, Rudolf Herzig
1993 A conf
Towards Reliable Information Systems: The KorSo Approach
CAiSE
Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich
1993 — conf
Zur Entwicklung zuverlässiger Informationssysteme in KorSo.
GI Jahrestagung
Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
1992 J jnl
An Annotated Bibliography on Object-Orientation and Deduction.
SIGMOD Rec.
Stefan Conrad, Martin Gogolla
1992 J jnl
Conceptual modelling of database applications using extended ER model.
Data Knowl. Eng.
Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, Hans-Dieter Ehrich
1992 A conf
Transforming Conceptual Data Models into an Object Model.
ER
Rudolf Herzig, Martin Gogolla
1992 — conf
Translating TROLL light Concepts to Maude.
COMPASS/ADT
Grit Denker, Martin Gogolla
1991 A conf
Drafting Extended Entity-Relationship Schemas with QUEER.
ER
Martin Gogolla, Bernd Meyer, Gerd Westerman
1991 — conf
Objects and their Specification.
COMPASS/ADT
Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas
1991 J jnl
Towards a Semantic View of an Extended Entity-Relationship Model.
ACM Trans. Database Syst.
Martin Gogolla, Uwe Hohenstein
1990 J jnl
A Note on the Translation of SQL to Tuple Calculus.
SIGMOD Rec.
Martin Gogolla
1990 J jnl
A note on the translation of SQL tuple calculus.
Bull. EATCS
Martin Gogolla
1990 — —
Datalog: eine deduktive Datenbanksprache.
Martin Gogolla
1990 — conf
Zur formalen Semantik von SQL.
Grundlagen von Datenbanken
Martin Gogolla, Ulrich Karge
1989 — book
Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie.
Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck
1989 — conf
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach.
TAPSOFT, Vol.1
Martin Gogolla
1989 — ed.
Workshop Grundlagen von Datenbanken, GvD 1989. Technische Universität Braunschweig, Germany
GvDB
Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, Gunter Saake
1989 — conf
Zur Übersetzung eines ER-Kalküls nach PROLOG.
Grundlagen von Datenbanken
Martin Gogolla
1988 A conf
A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions.
ER
Uwe Hohenstein, Martin Gogolla
1987 — conf
On Parametric Algebraic Specifications with Clean Error Handling.
TAPSOFT, Vol.1
Martin Gogolla
1986 — conf
Exception Handling and Subsorts.
ADT
Martin Gogolla
1986 — ed.
Proceedings of the 4st Workshop on Abstract Data Type, 1986. University of Braunschweig, Germany
ADT
Klaus Drosten, Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck
1986 — conf
Towards an Algebraic Semantics for Database Specification.
DS-2
Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla
1986 — —
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen.
Martin Gogolla
1985 — conf
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.
TFAIS
Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla
1984 — conf
A Final Algebra Semantics for Errors and Exceptions.
ADT
Martin Gogolla
1984 J jnl
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.
Theor. Comput. Sci.
Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
1984 — conf
Partially Ordered Sorts in Algebraic Specifications.
CAAP
Martin Gogolla
1984 A* conf
Specification, Semantics, and Enforcement of Dynamic Database Constraints.
VLDB
Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla
1983 — conf
Algebraic Specification of Subsorts.
ADT
Martin Gogolla
1983 J jnl
Algebraic Specification with subsorts using declarations.
Bull. EATCS
Martin Gogolla, Hans-Dieter Ehrich
1983 — conf
Algebraic and operational semantics of exceptions and errors.
Theoretical Computer Science
Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
1982 — conf
Error Handling in Algebraic Specifications.
ADT
Gregor Engels, Martin Gogolla