![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Martin Gogolla
Person information
- affiliation: University of Bremen, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c223]Sergio Morales
, Elena Planas
, Robert Clarisó
, Martin Gogolla
:
Generative AI in Model-Driven Software Engineering Education: Friend or Foe? MoDELS (Companion) 2023: 110-113 - [c222]Friedrich Steimann, Robert Clarisó, Martin Gogolla:
OCL Rebuilt, From the Ground Up. MODELS 2023: 194-205 - [c221]Martin Gogolla
:
Towards a Model Development Environment Acknowledging Contradicting Dimensions in MDE. MoDELS (Companion) 2023: 422-425 - [c220]Martin Gogolla, Lars Hamann:
Proving Properties of Operation Contracts with Test Scenarios. TAP 2023: 97-107 - 2022
- [j48]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): 1-5 (2022) - [c219]Lars Hamann, Martin Gogolla, Mustafa Al-Lail:
Categorization of approaches to extend and reuse OCL. MoDELS (Companion) 2022: 847-851 - [c218]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 - 2021
- [j47]Loli Burgueño, Martin Gogolla:
Preface to the JOT special issue containing the ECMFA 2021 selected papers. J. Object Technol. 20(3): 1-5 (2021) - [c217]Martin Gogolla
:
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models. ICDCIT 2021: 24-43 - [c216]Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot:
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. MoDELS (Companion) 2021: 244-248 - [c215]Martin Gogolla, Loli Burgueño, Antonio Vallecillo:
Refactoring Collections in OCL. STAF Workshops 2021: 142-148 - [c214]Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink:
A SWOT Analysis of the Object Constraint Language. STAF Workshops 2021: 178-184 - [p10]Francisco Durán, Martin Gogolla, Esther Guerra, Juan de Lara, Houari A. Sahraoui, Steffen Zschaler:
Exploiting Results of Model-Based Analysis Tools. Composing Model-Based Analysis Tools 2021: 129-158 - 2020
- [j46]Jesús Sánchez Cuadrado
, Martin Gogolla:
Model Finding in the EMF Ecosystem. J. Object Technol. 19(2): 10:1-21 (2020) - [j45]Nisha Desai, Martin Gogolla:
Assembling Scenario Patterns for Checking Model Behavior. J. Object Technol. 19(2): 19:1-27 (2020) - [c213]Antonio Vallecillo
, Martin Gogolla
:
Modeling Behavioral Deontic Constraints Using UML and OCL. ER 2020: 134-148 - [c212]Matthias Sedlmeier, Martin Gogolla:
A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications. ER Forum/Posters/Demos 2020: 142-149 - [c211]Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr:
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. Modellierung 2020: 157-172 - [c210]Martin Gogolla, Haleh Havakili, Carsten Schipke:
Advanced Features for Model Visualization in the UML and OCL Tool USE. Modellierung (Companion) 2020: 203-207 - [c209]Nisha Desai, Martin Gogolla:
Strengthening validation of model behavior through filmstrip templates in the tool USE. MoDELS (Companion) 2020: 13:1-13:5 - [c208]Marcel Schäfer, Martin Gogolla:
Enhancing development and consistency of UML models and model executions with USE studio. MoDELS (Companion) 2020: 14:1-14:5 - [c207]Martin Gogolla, Bran Selic:
On teaching descriptive and prescriptive modeling. MoDELS (Companion) 2020: 23:1-23:9 - [c206]Martin Gogolla, Timo Stüber:
Metrics for OCL expressions: development, realization, and applications for validation. MoDELS (Companion) 2020: 82:1-82:10
2010 – 2019
- 2019
- [j44]Martin Gogolla, Antonio Vallecillo
:
On Softening OCL Invariants. J. Object Technol. 18(2): 6:1-22 (2019) - [j43]Nisha Desai, Martin Gogolla:
Developing Comprehensive Postconditions Through a Model Transformation Chain. J. Object Technol. 18(3): 5:1-18 (2019) - [j42]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): 473-498 (2019) - [c205]Loli Burgueño
, Jordi Cabot
, Robert Clarisó, Martin Gogolla:
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. ER 2019: 513-521 - [c204]Robert Clarisó, Martin Gogolla:
A Feasibility Study on Using Classifying Terms in Alloy. OCL@MoDELS 2019: 45-58 - [c203]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: 59-66 - [c202]Paula Muñoz
, Loli Burgueño, Martin Gogolla, Antonio Vallecillo:
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams. OCL@MoDELS 2019: 81-96 - [c201]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: 91-104 - [c200]Nisha Desai, Martin Gogolla:
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior. MoDELS (Companion) 2019: 519-523 - [c199]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: 710-713 - [c198]Khanh-Hoang Doan, Martin Gogolla:
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. MoDELS (Companion) 2019: 774-778 - [c197]Martin Gogolla, Nisha Desai, Khanh-Hoang Doan:
Developing User and Recording Interfaces for Design Time and Runtime Models. STAF (Co-Located Events) 2019: 39-48 - 2018
- [j41]Martin Gogolla, Frank Hilken, Khanh-Hoang Doan:
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54: 474-511 (2018) - [j40]Martin Gogolla, Perdita Stevens:
Teaching modeling in computer science as an ecosystem: a provocative analogy. Comput. Sci. Educ. 28(1): 5-22 (2018) - [j39]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): 23-41 (2018) - [j38]Frank Hilken, Martin Gogolla, Loli Burgueño
, Antonio Vallecillo
:
Testing models and model transformations using classifying terms. Softw. Syst. Model. 17(3): 885-912 (2018) - [c196]Martin Gogolla, Khanh-Hoang Doan:
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. SetVR@Diagrams 2018: 76-83 - [c195]Khanh-Hoang Doan, Martin Gogolla:
Logical Reasoning with Object Diagrams in a UML and OCL Tool. Diagrams 2018: 774-778 - [c194]Khanh-Hoang Doan, Martin Gogolla:
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment. Modellierung 2018: 135-150 - [c193]Andreas Kästner, Martin Gogolla, Bran Selic:
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper. MoDELS 2018: 13-22 - [c192]Martin Gogolla, Loli Burgueño, Antonio Vallecillo:
Model Finding and Model Completion with USE. MoDELS (Workshops) 2018: 194-200 - [c191]Andreas Kästner, Martin Gogolla, Bran Selic:
Towards flexible object and class modeling tools: an experience report. MoDELS (Workshops) 2018: 233-242 - [c190]Nisha Desai, Martin Gogolla:
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. ICTSS 2018: 62-68 - [c189]Khanh-Hoang Doan, Martin Gogolla:
Assessing UML Model Quality by Utilizing Metrics. QUATIC 2018: 92-100 - [c188]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: 529-535 - [c187]Hugo Bruneliere
, 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: 536-543 - [e14]Önder Babur, Daniel Strüber, Silvia Abrahão, Loli Burgueño, Martin Gogolla, Joel Greenyer, Sahar Kokaly, Dimitris S. Kolovos, Tanja Mayerhofer, Mansooreh Zahedi:
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. ACM 2018 [contents] - [r4]Martin Gogolla:
Object Constraint Language. Encyclopedia of Database Systems (2nd ed.) 2018 - [r3]Martin Gogolla:
Unified Modeling Language. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c186]Martin Gogolla, Khanh-Hoang Doan:
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification. Conceptual Modeling Perspectives 2017: 155-168 - [c185]Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille:
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA 2017: 232-247 - [c184]Loli Burgueño
, Frank Hilken, Antonio Vallecillo
, Martin Gogolla:
Testing Transformation Models Using Classifying Terms. ICMT 2017: 69-85 - [c183]Loli Burgueño
, Martin Gogolla:
Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL. ICSOC 2017: 113-122 - [c182]Nisha Desai, Martin Gogolla, Frank Hilken:
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. MoDELS (Satellite Events) 2017: 88-94 - [c181]Khanh-Hoang Doan, Martin Gogolla:
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. MoDELS (Satellite Events) 2017: 251 - [c180]Antonio Vallecillo, Martin Gogolla:
Adding Random Operations to OCL. MoDELS (Satellite Events) 2017: 324-328 - [c179]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: 441-446 - [c178]Martin Gogolla:
On Understanding Teaching Modeling in Computer Science as an Ecosystem. MoDELS (Satellite Events) 2017: 516-520 - [c177]Loli Burgueño, Antonio Vallecillo, Martin Gogolla:
Teaching Model Views with UML and OCL. MoDELS (Satellite Events) 2017: 533-538 - [c176]Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken:
Employing Classifying Terms for Testing Model Transformations. Software Engineering 2017: 91-92 - [c175]Martin Gogolla, Frank Hilken, Andreas Kästner:
Some Narrow and Broad Challenges in MDD. STAF Workshops 2017: 172-177 - [c174]Martin Gogolla, Antonio Vallecillo
:
(An Example for) Formally Modeling Robot Behavior with UML and OCL. STAF Workshops 2017: 232-246 - [c173]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: 297-301 - [c172]Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai:
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. TAP@STAF 2017: 119-128 - [e13]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:
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. CEUR Workshop Proceedings 2019, CEUR-WS.org 2017 [contents] - 2016
- [c171]Frank Hilken, Martin Gogolla:
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. DSD 2016: 708-713 - [c170]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: 425-432 - [c169]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: 469-479 - [c168]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung 2016: 117-124 - [c167]Martin Gogolla, Frank Hilken:
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. Modellierung 2016: 205-220 - [c166]Lars Hamann, Martin Gogolla, Nisha Desai:
On the Support of Qualified Associations in OCL. OCL@MoDELS 2016: 3-15 - [c165]Robert Bill, Martin Gogolla, Manuel Wimmer:
On Leveraging UML/OCL for Model Synchronization. ME@MoDELS 2016: 20-29 - [c164]Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler:
Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS 2016: 40-45 - [c163]Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla:
Generating effective test suites for model transformations using classifying terms. PAME/VOLT@MoDELS 2016: 48-57 - [c162]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: 57-72 - [c161]Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla:
Integrating UML/OCL Derived Properties into Validation and Verification Processes. OCL@MoDELS 2016: 89-104 - [c160]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: 157-165 - [c159]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. Software Engineering 2016: 89-90 - [c158]Matthias Sedlmeier, Martin Gogolla:
Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data. BigMDE@STAF 2016: 1-10 - [c157]Khanh-Hoang Doan, Martin Gogolla, Frank Hilken:
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. STAF Workshops 2016: 207-220 - [c156]Martin Gogolla, Jordi Cabot
:
Continuing a Benchmark for UML and OCL Design and Analysis Tools. STAF Workshops 2016: 289-302 - [c155]Martin Gogolla, Antonio Vallecillo
:
Views on UML Interactions as Spreadsheet Queries. STAF Workshops 2016: 394-400 - [c154]Frank Hilken, Martin Gogolla:
User Assistance Characteristics of the USE Model Checking Tool. F-IDE@FM 2016: 91-97 - 2015
- [j37]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): 525-532 (2015) - [c153]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Assisted generation of frame conditions for formal models. DATE 2015: 309-312 - [c152]Matthias Sedlmeier, Martin Gogolla:
Model Driven ActiveRecord with yEd. EJC 2015: 65-76 - [c151]Lars Hamann, Karsten Sohr
, Martin Gogolla:
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. ESSoS 2015: 211-226 - [c150]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
:
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT 2015: 149-165 - [c149]Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo:
Iterative Development of Transformation Models by Using Classifying Terms. AMT@MoDELS 2015: 1-6 - [c148]Martin Gogolla:
Experimenting with Multi-Level Models in a Two-Level Modeling Tool. MULTI@MoDELS 2015: 3-12 - [c147]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: 6-16 - [c146]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
:
Extracting frame conditions from operation contracts. MoDELS 2015: 266-275 - [c145]Martin Gogolla, Antonio Vallecillo
, Loli Burgueño
, Frank Hilken:
Employing classifying terms for testing model transformations. MoDELS 2015: 312-321 - [c144]Lars Hamann, Martin Gogolla:
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln. Software Engineering & Management 2015: 31-32 - [c143]Martin Gogolla, Frank Hilken:
UML and OCL Transformation Model Analysis: Checking Invariant Independence. VOLT@STAF 2015: 20-27 - [c142]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: 129-136 - [e12]Mira Balaban, Martin Gogolla:
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. CEUR Workshop Proceedings 1503, CEUR-WS.org 2015 [contents] - [e11]Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong:
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. CEUR Workshop Proceedings 1512, CEUR-WS.org 2015 [contents] - [e10]Martin Gogolla, Henry Muccini, Dániel Varró:
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1499, CEUR-WS.org 2015 [contents] - 2014
- [j36]Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek:
Model-driven standardization of public authority data interchange. Sci. Comput. Program. 89: 162-175 (2014) - [j35]Fabian Büttner, Martin Gogolla:
On OCL-based imperative languages. Sci. Comput. Program. 92: 162-178 (2014) - [c141]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen:
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. BM-FA 2014: 4 - [c140]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier:
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. BM-FA (Revised Selected Papers) 2014: 31-58 - [c139]Matthias Sedlmeier, Martin Gogolla:
Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model. EJC 2014: 376-395 - [c138]Frank Hilken, Lars Hamann, Martin Gogolla:
Transformation of UML and OCL Models into Filmstrip Models. ICMT 2014: 170-185 - [c137]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: 273-288 - [c136]Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken:
On metamodel superstructures employing UML generalization features. MULTI@MoDELS 2014: 13-22 - [c135]Martin Gogolla, Lars Hamann, Frank Hilken:
On Static and Dynamic Analysis of UML and OCL Transformation Models. AMT@MoDELS 2014: 24-33 - [c134]Lars Hamann, Frank Hilken, Martin Gogolla:
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. OSS4MDE@MoDELS 2014: 42-52 - [c133]Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla:
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS 2014: 59-68 - [c132]Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff:
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS 2014: 83-99 - [c131]Lars Hamann, Martin Gogolla, Oliver Hofrichter:
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. Software Engineering 2014: 75-76 - [c130]Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano:
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). VOLT@STAF 2014: 1-9 - [c129]Martin Gogolla, Lars Hamann, Frank Hilken:
Checking Transformation Model Properties with a UML and OCL Model Validator. VOLT@STAF 2014: 16-25 - [c128]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: 99-116 - [e9]Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla:
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. CEUR Workshop Proceedings 1285, CEUR-WS.org 2014 [contents] - [i7]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 abs/1408.5698 (2014) - 2013
- [j34]Mirco Kuhlmann, Karsten Sohr
, Martin Gogolla:
Employing UML and OCL for designing and analysing role-based access control. Math. Struct. Comput. Sci. 23(4): 796-833 (2013) - [c127]Robert Wille
, Martin Gogolla, Mathias Soeken
, Mirco Kuhlmann, Rolf Drechsler:
Towards a generic verification methodology for system models. DATE 2013: 1193-1196 - [c126]Martin Gogolla:
Employing the Object Constraint Language in Model-Based Engineering. ECMFA 2013: 1-2 - [c125]Oliver Hofrichter, Martin Gogolla, Karsten Sohr:
UML/OCL based Design and Analysis of Role-Based Access Control Policies. GEMOC+AMINO@MoDELS 2013: 33-42 - [c124]Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter:
Research Questions for Validation and Verification in the Context of Model-Based Engineering. MoDeVVa@MoDELS 2013: 67-76 - [c123]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. OCL@MoDELS 2013: 103-111 - [c122]Lars Hamann, Martin Gogolla:
Endogenous Metamodeling Semantics for Structural UML 2 Concepts. MoDELS 2013: 488-504 - [c121]Martin Gogolla, Fabian Büttner, Jordi Cabot
:
Initiating a Benchmark for UML and OCL Analysis Tools. TAP@STAF 2013: 115-132 - [e8]Martin Gogolla:
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. CEUR Workshop Proceedings 1071, CEUR-WS.org 2013 [contents] - [e7]Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink:
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. CEUR Workshop Proceedings 1092, CEUR-WS.org 2013 [contents] - [i6]Tony Clark, Robert B. France, Martin Gogolla, Bran Selic:
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). Dagstuhl Reports 3(4): 188-226 (2013) - 2012
- [j33]Karsten Sohr
, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn
:
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL. Inf. Softw. Technol. 54(12): 1396-1417 (2012) - [j32]Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner:
A benchmark for OCL engine accuracy, determinateness, and efficiency. Softw. Syst. Model. 11(2): 165-182 (2012) - [c120]Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann:
Abstract Runtime Monitoring with USE. CSMR 2012: 549-552 - [c119]Mirco Kuhlmann, Martin Gogolla:
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. ECMFA 2012: 32-48 - [c118]Lars Hamann, Oliver Hofrichter, Martin Gogolla:
OCL-Based Runtime Monitoring of Applications with Protocol State Machines. ECMFA 2012: 384-399 - [c117]Fabian Büttner, Marina Egea, Jordi Cabot
, Martin Gogolla:
Verification of ATL Transformations Using Transformation Models and Model Finders. ICFEM 2012: 198-213 - [c116]Antonio Vallecillo
, Martin Gogolla:
Typing Model Transformations Using Tracts. ICMT@TOOLS 2012: 56-71 - [c115]Duc-Hanh Dang
, Martin Gogolla:
An Approach for Quality Assurance of Model Transformations. KSE 2012: 223-230 - [c114]Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla:
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. Modellierung 2012: 155-170 - [c113]Mira Balaban, Jordi Cabot
, Martin Gogolla, Claas Wilke:
Workshop on OCL and textual modeling: OCL 2012. OCL@MoDELS 2012: 5-6 - [c112]Martin Gogolla, Antonio Vallecillo
:
On explaining modeling principles with modeling examples: a classification catalog. EduSym@MoDELS 2012: 28-31 - [c111]Lars Hamann, Martin Gogolla, Daniel Honsel:
Towards supporting multiple execution environments for UML/OCL models at runtime. Models@run.time 2012: 46-51 - [c110]Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke:
The secret life of OCL constraints. OCL@MoDELS 2012: 63-64 - [c109]Lars Hamann, Oliver Hofrichter, Martin Gogolla:
On Integrating Structure and Behavior Modeling with OCL. MoDELS 2012: 235-251 - [c108]Mirco Kuhlmann, Martin Gogolla:
From UML and OCL to Relational Logic and Back. MoDELS 2012: 415-431 - [c107]Jordi Cabot
, Martin Gogolla:
Object Constraint Language (OCL): A Definitive Guide. SFM 2012: 58-90 - [c106]Antonio Vallecillo
, Martin Gogolla, Loli Burgueño
, Manuel Wimmer, Lars Hamann:
Formal Specification and Testing of Model Transformations. SFM 2012: 399-437 - [c105]Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
Evaluating and Debugging OCL Expressions in UML Models. TAP@TOOLS 2012: 156-162 - [e6]Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke:
Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012. ACM 2012, ISBN 978-1-4503-1799-3 [contents] - 2011
- [j31]Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang:
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j30]Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff:
Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - [j29]Lars Hamann, Martin Gogolla, Mirco Kuhlmann:
OCL-based Runtime Monitoring of JVM hosted Applications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - [j28]Laurence Tratt, Martin Gogolla:
ICMT 2010 Special Section. J. Object Technol. 10 (2011) - [c104]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
:
Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Models@run.time@Dagstuhl 2011: 101-136 - [c103]Martin Gogolla, Antonio Vallecillo
:
Tractable Model Transformation Testing. ECMFA 2011: 221-235 - [c102]Jens Brüning, Martin Gogolla:
UML Metamodel-based Workflow Modeling and Execution. EDOC 2011: 97-106 - [c101]Fabian Büttner, Jordi Cabot
, Martin Gogolla:
On validation of ATL transformation rules by transformation models. MoDeVVa@MoDELS 2011: 9:1-9:8 - [c100]Fabian Büttner, Martin Gogolla:
Modular Embedding of the Object Constraint Language into a Programming Language. SBMF 2011: 124-139 - [c99]Mirco Kuhlmann, Karsten Sohr
, Martin Gogolla:
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. SSIRI 2011: 108-117 - [c98]Mirco Kuhlmann, Lars Hamann, Martin Gogolla:
Extensive Validation of OCL Models by Integrating SAT Solving into USE. TOOLS (49) 2011: 290-306 - [c97]Francisco Durán, Martin Gogolla, Manuel Roldán:
Tracing Properties of UML and OCL Models with Maude. AMMSE 2011: 81-97 - [p9]Martin Gogolla:
UML and OCL in Conceptual Modeling. Handbook of Conceptual Modeling 2011: 85-122 - [e5]Martin Gogolla, Burkhart Wolff:
Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6706, Springer 2011, ISBN 978-3-642-21767-8 [contents] - 2010
- [j27]Jordi Cabot, Tony Clark
, Manuel Clavel, Martin Gogolla:
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [j26]Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla:
Checking the Conformance between Models Based on Scenario Synchronization. J. Univers. Comput. Sci. 16(17): 2293-2312 (2010) - [c96]Duc-Hanh Dang
, Anh-Hoang Truong, Martin Gogolla:
On Scenario Synchronization. ATVA 2010: 97-111 - [c95]Jens Brüning, Martin Gogolla, Peter Forbrig:
Modeling and Formally Checking Workflow Properties Using UML and OCL. BIR 2010: 130-145 - [c94]Mathias Soeken
, Robert Wille
, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler:
Verifying UML/OCL models using Boolean satisfiability. DATE 2010: 1341-1344 - [c93]Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler:
Verifying UML/OCL Models Using Boolean Satisfiability. MBMV 2010: 57-66 - [c92]Lars Hamann, Martin Gogolla, Mirco Kuhlmann:
Zur Validierung von Kompositionsstrukturen in UML mit USE. Modellierung 2010: 169-177 - [c91]Jordi Cabot
, Tony Clark
, Manuel Clavel, Martin Gogolla:
Tenth International Workshop on OCL and Textual Modelling. MoDELS (Workshops) 2010: 329-333 - [c90]Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. TAP@TOOLS 2010: 38-54 - [e4]Laurence Tratt, Martin Gogolla:
Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings. Lecture Notes in Computer Science 6142, Springer 2010, ISBN 978-3-642-13687-0 [contents]
2000 – 2009
- 2009
- [j25]Jordi Cabot, Joanna Chimiak-Opoka
, Martin Gogolla, Frédéric Jouault, Alexander Knapp:
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009) - [j24]Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann:
Towards an integrated graph-based semantics for UML. Softw. Syst. Model. 8(3): 403-422 (2009) - [c89]Robert B. France, Martin Gogolla:
Essentials of the 5th Educators' Symposium at MODELS 2009. MoDELS (Workshops) 2009: 36-39 - [c88]Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró
:
Teaching Modeling: Why, When, What? MoDELS (Workshops) 2009: 55-62 - [c87]Jordi Cabot
, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp:
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. MoDELS (Workshops) 2009: 256-260 - [c86]Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow:
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. MoDELS (Workshops) 2009: 276-290 - [c85]Robert B. France, Martin Gogolla:
Educators' Symposium at MODELS 2009. MoDELS 2009: 753-754 - [c84]Duc-Hanh Dang
, Martin Gogolla:
Precise Model-Driven Transformations Based on Graphs and Metamodels. SEFM 2009: 307-316 - [c83]Martin Gogolla, Mirco Kuhlmann, Lars Hamann:
Consistency, Independence and Consequences in UML and OCL Models. TAP@TOOLS 2009: 90-104 - [r2]Martin Gogolla:
Object Constraint Language. Encyclopedia of Database Systems 2009: 1927-1929 - [r1]Martin Gogolla:
Unified Modeling Language. Encyclopedia of Database Systems 2009: 3232-3239 - [i5]Martin Gogolla:
Towards Model Validation and Verification with SAT Techniques. Algorithms and Applications for Next Generation SAT Solvers 2009 - 2008
- [j23]David H. Akehurst, Martin Gogolla, Steffen Zschaler:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008) - [j22]Mirco Kuhlmann, Martin Gogolla:
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008) - [j21]Jordi Cabot, Martin Gogolla, Pieter Van Gorp
:
Preface to the Proceedings of the 2008 OCL Workshop. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008) - [j20]Mirco Kuhlmann, Martin Gogolla:
Modeling and validating Mondex scenarios described in UML and OCL with USE. Formal Aspects Comput. 20(1): 79-100 (2008) - [j19]Karsten Sohr
, Michael Drouineaud, Gail-Joon Ahn
, Martin Gogolla:
Analyzing and Managing Role-Based Access Control Policies. IEEE Trans. Knowl. Data Eng. 20(7): 924-939 (2008) - [c82]Duc-Hanh Dang
, Martin Gogolla:
On Integrating OCL and Triple Graph Grammars. MoDELS (Workshops) 2008: 124-137 - [c81]Jordi Cabot
, Martin Gogolla, Pieter Van Gorp
:
Eighth International Workshop on OCL Concepts and Tools. MoDELS (Workshops) 2008: 257-262 - [c80]Martin Gogolla, Mirco Kuhlmann, Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. MoDELS 2008: 446-459 - [i4]Martin Gogolla:
On Horizontal and Vertical Relationships between Models. Perspectives Workshop: Model Engineering of Complex Systems (MECS) 2008 - 2007
- [j18]Martin Gogolla, Fabian Büttner, Mark Richters:
USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1-3): 27-34 (2007) - [c79]Martin Gogolla, Fabian Büttner, Duc-Hanh Dang:
From Graph Transformation to OCL Using USE. AGTIVE 2007: 585-586 - [c78]David H. Akehurst, Martin Gogolla, Steffen Zschaler
:
7th International Workshop on Ocl4All: Modelling Systems with OCL. MoDELS (Workshops) 2007: 176-181 - 2006
- [j17]László Vidács, Martin Gogolla, Rudolf Ferenc:
From C++ Refactorings to Graph Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [j16]Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [j15]Karsten Hölscher, Paul Ziemann, Martin Gogolla:
On translating UML models into graph transformation systems. J. Vis. Lang. Comput. 17(1): 78-105 (2006) - [c77]Fabian Büttner, Martin Gogolla:
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. ICGT 2006: 398-413 - [c76]Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer:
OCL for (Meta-)Models in Multiple Application Domains. MoDELS (Workshops) 2006: 152-158 - [c75]Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev
, Arne Lindow:
Model Transformations? Transformation Models! MoDELS 2006: 440-453 - [i3]Martin Gogolla:
Model Development in the UML-based Specification Environment (USE). MMOSS 2006 - 2005
- [j14]Martin Gogolla, Jörn Bohling, Mark Richters:
Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4): 386-398 (2005) - [c74]Fabian Büttner, Hanna Bauerdick, Martin Gogolla:
Towards Transformation of Integrity Constraints and Database States. DEXA Workshops 2005: 823-828 - [c73]Karsten Sohr
, Gail-Joon Ahn
, Martin Gogolla, Lars Migge:
Specification and Validation of Authorisation Constraints Using UML and OCL. ESORICS 2005: 64-79 - [c72]Martin Gogolla:
Exploring ER and RE syntax and semantics with metamodel object diagrams. Metainformatics 2005: 61-72 - [c71]Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer:
Tool Support for OCL and Related Formalisms - Needs and Trends. MoDELS (Satellite Events) 2005: 1-9 - [c70]Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, Tom Mens
:
Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005). MoDELS (Satellite Events) 2005: 151-158 - [i2]Martin Gogolla:
Tales of ER and RE Syntax and Semantics. Transformation Techniques in Software Engineering 2005 - 2004
- [c69]Martin Gogolla:
Benefits and Problems of Formal Methods. Ada-Europe 2004: 1-15 - [c68]Arne Lindow, Martin Gogolla:
Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke. DeLFI 2004: 393-394 - [c67]Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann:
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. Modellierung 2004: 281-282 - [c66]Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla:
Digging into the Visitor Pattern. SEKE 2004: 135-141 - [c65]Martin Gogolla, Paul Sammut, Jon Whittle:
Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). UML Satellite Activities 2004: 43-51 - [c64]Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer:
OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75 - [c63]Hanna Bauerdick, Martin Gogolla, Fabian Gutsche:
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. UML 2004: 188-196 - [c62]Paul Ziemann, Karsten Hölscher, Martin Gogolla:
From UML Models to Graph Transformation Systems. VLFM 2004: 17-33 - [c61]Fabian Büttner, Martin Gogolla:
Realizing UML Metamodel Transformations with AGG. GT-VMT@ETAPS 2004: 31-42 - [c60]Paul Ziemann, Karsten Hölscher, Martin Gogolla:
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. SBMF 2004: 263-280 - [p8]Martin Gogolla, Paul Ziemann:
Checking BART Test Scenarios with UML's Object Constraint Language. Formal Methods for Embedded Distributed Systems 2004: 133-170 - [i1]Martin Gogolla:
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. Language Engineering for Model-Driven Software Development 2004 - 2003
- [c59]Paul Ziemann, Martin Gogolla:
OCL Extended with Temporal Logic. Ershov Memorial Conference 2003: 351-357 - [c58]Martin Gogolla, Jörn Bohling, Mark Richters:
Validation of UML and OCL Models by Automatic Snapshot Generation. UML 2003: 265-279 - [c57]Paul Ziemann, Martin Gogolla:
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. FMICS 2003: 157-169 - [p7]Martin Gogolla, Arne Lindow:
Transforming Data Models with UML. Knowledge Transformation for the Semantic Web 2003: 18-33 - 2002
- [j13]Martin Gogolla:
Editorial for the Speccial Issue UML 2001 Conference. Softw. Syst. Model. 1(2): 83-85 (2002) - [c56]Ralf Kollmann, Martin Gogolla:
Metric-Based Selective Representation of UML Diagrams. CSMR 2002: 89-98 - [c55]Martin Gogolla, Mark Richters:
Development of UML Descriptions with USE. EurAsia-ICT 2002: 228-238 - [c54]Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski:
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. IFM 2002: 11-28 - [c53]Martin Gogolla, Brian Henderson-Sellers:
Analysis of UML Stereotypes within the UML Metamodel. UML 2002: 84-99 - [c52]Martin Gogolla, Paul Ziemann, Sabine Kuske:
Towards an Integrated Graph Based Semantics for UML. GT-VMT@ICGT 2002: 160-175 - [p6]Mark Richters, Martin Gogolla:
OCL: Syntax, Semantics, and Tools. Object Modeling with the OCL 2002: 42-68 - [p5]Martin Gogolla, Mark Richters:
Expressing UML Class Diagrams Properties with OCL. Object Modeling with the OCL 2002: 85-114 - 2001
- [c51]Ralf Kollmann, Martin Gogolla:
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams. CSMR 2001: 58-67 - [c50]Arne Lindow, Martin Gogolla, Mark Richters:
Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. GI Jahrestagung (1) 2001: 662-676 - [c49]Ralf Kollmann, Martin Gogolla:
Application of UML Associations and Their Adornments in Design Recovery. WCRE 2001: 81- - [p4]Franck Barbier, Brian Henderson-Sellers, Andreas L. Opdahl, Martin Gogolla:
The Whole-Part Relationship in the Unified Modeling Language: A New Approach. Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 185-209 - [e3]Martin Gogolla, Cris Kobryn:
«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings. Lecture Notes in Computer Science 2185, Springer 2001, ISBN 3-540-42667-1 [contents] - 2000
- [c48]Oliver Radfelder, Martin Gogolla:
On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation. Advanced Visual Interfaces 2000: 292-295 - [c47]Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif:
Workshop über Rigorose Entwicklung software-intensiver Systeme. GI Jahrestagung 2000: 465-466 - [c46]Martin Gogolla:
Graph Transformations on the UML Metamodel. ICALP Satellite Workshops 2000: 359-372 - [c45]Mark Richters, Martin Gogolla:
Validating UML Models and OCL Constraints. UML 2000: 265-277 - [p3]Martin Gogolla:
Identifying Objects by Declarative Queries. Advances in Object-Oriented Data Modeling 2000: 255-277
1990 – 1999
- 1999
- [c44]Martin Gogolla, Mark Richters, Oliver Radfelder:
What Is the Current State of UML Semantics? What Are the Reference Documents. ECOOP Workshops 1999: 40-41 - [c43]Martin Gogolla, Stuart Kent, Tom Mens, Mark Richters, Oliver Radfelder:
Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach). ECOOP Workshops 1999: 45-49 - [c42]Mark Richters, Martin Gogolla:
A Metamodel for OCL. UML 1999: 156-171 - [c41]Martin Gogolla, Oliver Radfelder, Mark Richters:
Towards Three-Dimensional Animation of UML Diagrams. UML 1999: 489-502 - 1998
- [c40]Martin Gogolla, Anne Kathrin Huge, Bodo Randt:
Stepwise Re-Engineering and Development of Object-Oriented Database Schemata. DEXA Workshop 1998: 943-948 - [c39]Mark Richters, Martin Gogolla:
On Formalizing the UML Object Constraint Language OCL. ER 1998: 449-464 - [c38]Martin Gogolla, Mark Richters:
Transformation Rules for UML Class Diagrams. UML 1998: 92-106 - 1997
- [c37]Mark Richters, Martin Gogolla:
A Web-based Animator for Validating Object Specifications. IDEAS 1997: 211-219 - [c36]Mark Richters, Martin Gogolla:
A Web-based Animator for Object Specifications in a Persistent Environment. TAPSOFT 1997: 867-870 - [c35]Martin Gogolla, Mark Richters:
On Constraints and Queries in UML. UML Workshop 1997: 109-121 - [c34]Martin Gogolla, Mark Richters:
On combining semiformal and formal object specification techniques. WADT 1997: 238-252 - 1996
- [j12]Bernd Meyer, Gerd Westerman, Martin Gogolla:
Drafting ER and OO Schemas in Prototype Environments. Data Knowl. Eng. 19(3): 201-240 (1996) - [j11]Annika Wagner, Martin Gogolla:
Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. Fundam. Informaticae 26(3/4): 407-431 (1996) - [c33]Heino Gärtner, Martin Gogolla:
Lassy - A System for Analyzing Grammatical Dependencies in Latin. DEXA Workshop 1996: 275-284 - [c32]Martin Gogolla:
Parameterizing Object Specifications. DISCO 1996: 126-137 - 1995
- [j10]Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich:
Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5(2): 25-33 (1995) - [j9]Martin Gogolla, Stefan Conrad
, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis:
A Development Environment for an Object Specification Language. IEEE Trans. Knowl. Data Eng. 7(3): 505-508 (1995) - [c31]Martin Gogolla, Rudolf Herzig:
An Algebraic Development Technique for Information Systems. AMAST 1995: 446-460 - [c30]Martin Gogolla:
Towards Schema Queries for Semantic Data Models. DEXA Workshop 1995: 274-283 - [c29]Martin Gogolla:
A Declarative Query Approach to Object Identification. OOER 1995: 65-76 - [p2]Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog:
Korso Reference Languages - Concepts and Application Domains. KORSO Book 1995: 150-172 - [p1]Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig:
TROLL light - The Language and its Development Environment. KORSO Book 1995: 205-222 - 1994
- [b4]Martin Gogolla:
An Extended Entity-Relationship Model - Fundamentals and Pragmatics. Lecture Notes in Computer Science 767, Springer 1994, ISBN 3-540-57648-7 - [j8]Martin Gogolla:
Fundamentals and Pragmatics of an Entity-Relationship Approach. GI Datenbank Rundbrief 13: 86 (1994) - [c28]Martin Gogolla, Rudolf Herzig:
An Algebraic Semantics for the Object Specification Language TROLL light. COMPASS/ADT 1994: 290-396 - [c27]Martin Gogolla, Maura Cerioli
:
What is an Abstract Data Type, after all? COMPASS/ADT 1994: 499-523 - [c26]Rudolf Herzig, Martin Gogolla:
An Animator for the Object Specification Language TROLL light. COODBSE 1994: 156-170 - [c25]Rudolf Herzig, Martin Gogolla:
A SQL-like Query Calculus for Object-Oriented Database Systems. ISOOMS 1994: 20-39 - [c24]Stefan Conrad, Martin Gogolla, Rudolf Herzig:
Safe Derivations in Object Hierarchies. OOIS 1994: 306-319 - 1993
- [c23]Martin Gogolla, Ingo Claßen:
An Object-Oriented Design for the ACT ONE Environment. AMAST 1993: 359-366 - [c22]Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich:
Towards Reliable Information Systems: The KorSo Approach. CAiSE 1993: 463-482 - [c21]Martin Gogolla, Stefan Conrad, Rudolf Herzig:
Sketching Concepts and Computational Model of TROLL light. DISCO 1993: 17-32 - [c20]Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis:
Integrating the ER Approach in an OO Environment. ER 1993: 376-389 - [c19]Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich:
Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung 1993: 464-469 - 1992
- [j7]Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, Hans-Dieter Ehrich:
Conceptual modelling of database applications using extended ER model. Data Knowl. Eng. 9: 157-204 (1992) - [j6]Stefan Conrad
, Martin Gogolla:
An Annotated Bibliography on Object-Orientation and Deduction. SIGMOD Rec. 21(1): 123-132 (1992) - [c18]Grit Denker, Martin Gogolla:
Translating TROLL light Concepts to Maude. COMPASS/ADT 1992: 173-187 - [c17]Rudolf Herzig, Martin Gogolla:
Transforming Conceptual Data Models into an Object Model. ER 1992: 280-298 - 1991
- [j5]Martin Gogolla, Uwe Hohenstein:
Towards a Semantic View of an Extended Entity-Relationship Model. ACM Trans. Database Syst. 16(3): 369-416 (1991) - [c16]Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas:
Objects and their Specification. COMPASS/ADT 1991: 40-65 - [c15]Martin Gogolla, Bernd Meyer, Gerd Westerman:
Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585 - 1990
- [b3]Martin Gogolla:
Datalog: eine deduktive Datenbanksprache. Braunschweig University of Technology, Germany, 1990 - [j4]Martin Gogolla:
A note on the translation of SQL tuple calculus. Bull. EATCS 40: 231-235 (1990) - [j3]Martin Gogolla:
A Note on the Translation of SQL to Tuple Calculus. SIGMOD Rec. 19(1): 18-22 (1990) - [c14]Martin Gogolla, Ulrich Karge:
Zur formalen Semantik von SQL. Grundlagen von Datenbanken 1990: 27-29
1980 – 1989
- 1989
- [b2]Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck:
Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie. Leitfäden und Monographien der Informatik, Teubner 1989, ISBN 978-3-519-02266-4, pp. I-IX, 1-263 - [c13]Martin Gogolla:
Zur Übersetzung eines ER-Kalküls nach PROLOG. Grundlagen von Datenbanken 1989 - [c12]Martin Gogolla:
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. TAPSOFT, Vol.1 1989: 259-274 - [e2]Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, Gunter Saake:
Workshop Grundlagen von Datenbanken, GvD 1989. Technische Universität Braunschweig, Germany. 1989 [contents] - 1988
- [c11]Uwe Hohenstein, Martin Gogolla:
A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. ER 1988: 129-148 - 1987
- [c10]Martin Gogolla:
On Parametric Algebraic Specifications with Clean Error Handling. TAPSOFT, Vol.1 1987: 81-95 - 1986
- [b1]Martin Gogolla:
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen. Braunschweig University of Technology, Germany, 1986 - [c9]Martin Gogolla:
Exception Handling and Subsorts. ADT 1986 - [c8]Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla:
Towards an Algebraic Semantics for Database Specification. DS-2 1986: 119-135 - [e1]Klaus Drosten, Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck:
Proceedings of the 4st Workshop on Abstract Data Type, 1986. University of Braunschweig, Germany. 1986 [contents] - 1985
- [c7]Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla:
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. TFAIS 1985: 145-157 - 1984
- [j2]Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich:
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theor. Comput. Sci. 34: 289-313 (1984) - [c6]Martin Gogolla:
A Final Algebra Semantics for Errors and Exceptions. ADT 1984: 89-103 - [c5]Martin Gogolla:
Partially Ordered Sorts in Algebraic Specifications. CAAP 1984: 139-154 - [c4]Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla:
Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 - 1983
- [j1]Martin Gogolla, Hans-Dieter Ehrich:
Algebraic Specification with subsorts using declarations. Bull. EATCS 21: 31-38 (1983) - [c3]Martin Gogolla:
Algebraic Specification of Subsorts. ADT 1983 - [c2]Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich:
Algebraic and operational semantics of exceptions and errors. Theoretical Computer Science 1983: 141-151 - 1982
- [c1]Gregor Engels, Martin Gogolla:
Error Handling in Algebraic Specifications. ADT 1982
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-27 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint