| 2008 |
|---|
| 115 | EE | Martin Gogolla,
Mirco Kuhlmann,
Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
MoDELS 2008: 446-459 |
| 114 | EE | Duc-Hanh Dang,
Martin Gogolla:
On Integrating OCL and Triple Graph Grammars.
MoDELS Workshops 2008: 124-137 |
| 113 | EE | Jordi Cabot,
Martin Gogolla,
Pieter Van Gorp:
Eighth International Workshop on OCL Concepts and Tools.
MoDELS Workshops 2008: 257-262 |
| 112 | EE | Mirco Kuhlmann,
Martin Gogolla:
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.
ECEASST 9: (2008) |
| 111 | EE | David H. Akehurst,
Martin Gogolla,
Steffen Zschaler:
Preface.
ECEASST 9: (2008) |
| 110 | EE | Mirco Kuhlmann,
Martin Gogolla:
Modeling and validating Mondex scenarios described in UML and OCL with USE.
Formal Asp. Comput. 20(1): 79-100 (2008) |
| 109 | EE | 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) |
| 2007 |
|---|
| 108 | EE | Martin Gogolla,
Fabian Büttner,
Duc-Hanh Dang:
From Graph Transformation to OCL Using USE.
AGTIVE 2007: 585-586 |
| 107 | EE | David H. Akehurst,
Martin Gogolla,
Steffen Zschaler:
7th International Workshop on Ocl4All: Modelling Systems with OCL.
MoDELS Workshops 2007: 176-181 |
| 106 | EE | 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) |
| 2006 |
|---|
| 105 | EE | Fabian Büttner,
Martin Gogolla:
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.
ICGT 2006: 398-413 |
| 104 | EE | Martin Gogolla:
Model Development in the UML-based Specification Environment (USE).
MMOSS 2006 |
| 103 | EE | Jean Bézivin,
Fabian Büttner,
Martin Gogolla,
Frédéric Jouault,
Ivan Kurtev,
Arne Lindow:
Model Transformations? Transformation Models!
MoDELS 2006: 440-453 |
| 102 | EE | Dan Chiorean,
Birgit Demuth,
Martin Gogolla,
Jos Warmer:
OCL for (Meta-)Models in Multiple Application Domains.
MoDELS Workshops 2006: 152-158 |
| 101 | EE | László Vidács,
Martin Gogolla,
Rudolf Ferenc:
From C++ Refactorings to Graph Transformations.
ECEASST 3: (2006) |
| 100 | EE | Dan Chiorean,
Birgit Demuth,
Martin Gogolla,
Jos Warmer:
Preface.
ECEASST 5: (2006) |
| 99 | EE | Karsten Hölscher,
Paul Ziemann,
Martin Gogolla:
On translating UML models into graph transformation systems.
J. Vis. Lang. Comput. 17(1): 78-105 (2006) |
| 2005 |
|---|
| 98 | EE | Fabian Büttner,
Hanna Bauerdick,
Martin Gogolla:
Towards Transformation of Integrity Constraints and Database States.
DEXA Workshops 2005: 823-828 |
| 97 | EE | Karsten Sohr,
Gail-Joon Ahn,
Martin Gogolla,
Lars Migge:
Specification and Validation of Authorisation Constraints Using UML and OCL.
ESORICS 2005: 64-79 |
| 96 | EE | Martin Gogolla:
Exploring ER and RE syntax and semantics with metamodel object diagrams.
Metainformatics 2005: 61-72 |
| 95 | EE | 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 |
| 94 | EE | 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 |
| 93 | EE | Martin Gogolla:
Tales of ER and RE Syntax and Semantics.
Transformation Techniques in Software Engineering 2005 |
| 92 | EE | Paul Ziemann,
Karsten Hölscher,
Martin Gogolla:
From UML Models to Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci. 127(4): 17-33 (2005) |
| 91 | EE | Paul Ziemann,
Karsten Hölscher,
Martin Gogolla:
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations.
Electr. Notes Theor. Comput. Sci. 130: 263-280 (2005) |
| 90 | EE | Martin Gogolla,
Jörn Bohling,
Mark Richters:
Validating UML and OCL models in USE by automatic snapshot generation.
Software and System Modeling 4(4): 386-398 (2005) |
| 2004 |
|---|
| 89 | EE | Martin Gogolla:
Benefits and Problems of Formal Methods.
Ada-Europe 2004: 1-15 |
| 88 | | Arne Lindow,
Martin Gogolla:
Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke.
DeLFI 2004: 393-394 |
| 87 | EE | 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 |
| 86 | | 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 |
| 85 | | Fabian Büttner,
Oliver Radfelder,
Arne Lindow,
Martin Gogolla:
Digging into the Visitor Pattern.
SEKE 2004: 135-141 |
| 84 | EE | Hanna Bauerdick,
Martin Gogolla,
Fabian Gutsche:
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.
UML 2004: 188-196 |
| 83 | EE | Martin Gogolla,
Paul Sammut,
Jon Whittle:
Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004).
UML Satellite Activities 2004: 43-51 |
| 82 | EE | 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 |
| 81 | EE | Fabian Büttner,
Martin Gogolla:
Realizing UML Metamodel Transformations with AGG.
Electr. Notes Theor. Comput. Sci. 109: 31-42 (2004) |
| 2003 |
|---|
| 80 | EE | Paul Ziemann,
Martin Gogolla:
OCL Extended with Temporal Logic.
Ershov Memorial Conference 2003: 351-357 |
| 79 | EE | Martin Gogolla,
Jörn Bohling,
Mark Richters:
Validation of UML and OCL Models by Automatic Snapshot Generation.
UML 2003: 265-279 |
| 78 | | Martin Gogolla,
Arne Lindow:
Transforming Data Models with UML.
Knowledge Transformation for the Semantic Web 2003: 18-33 |
| 77 | EE | Martin Gogolla,
Paul Ziemann,
Sabine Kuske:
Towards an Integrated Graph Based Semantics for UML.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 76 | EE | Paul Ziemann,
Martin Gogolla:
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2002 |
|---|
| 75 | EE | Ralf Kollmann,
Martin Gogolla:
Metric-Based Selective Representation of UML Diagrams.
CSMR 2002: 89-98 |
| 74 | EE | Martin Gogolla,
Mark Richters:
Development of UML Descriptions with USE.
EurAsia-ICT 2002: 228-238 |
| 73 | EE | 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 |
| 72 | EE | Mark Richters,
Martin Gogolla:
OCL: Syntax, Semantics, and Tools.
Object Modeling with the OCL 2002: 42-68 |
| 71 | EE | Martin Gogolla,
Mark Richters:
Expressing UML Class Diagrams Properties with OCL.
Object Modeling with the OCL 2002: 85-114 |
| 70 | EE | Martin Gogolla,
Brian Henderson-Sellers:
Analysis of UML Stereotypes within the UML Metamodel.
UML 2002: 84-99 |
| 69 | EE | Martin Gogolla:
Editorial for the Speccial Issue UML 2001 Conference.
Software and System Modeling 1(2): 83-85 (2002) |
| 2001 |
|---|
| 68 | | 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
Springer 2001 |
| 67 | | Ralf Kollmann,
Martin Gogolla:
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams.
CSMR 2001: 58-67 |
| 66 | | Arne Lindow,
Martin Gogolla,
Mark Richters:
Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen.
GI Jahrestagung (1) 2001: 662-676 |
| 65 | EE | Ralf Kollmann,
Martin Gogolla:
Application of UML Associations and Their Adornments in Design Recovery.
WCRE 2001: 81- |
| 64 | | 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 |
| 2000 |
|---|
| 63 | | Oliver Radfelder,
Martin Gogolla:
On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation.
Advanced Visual Interfaces 2000: 292-295 |
| 62 | | Martin Gogolla:
Graph Transformations on the UML Metamodel.
ICALP Satellite Workshops 2000: 359-372 |
| 61 | EE | Mark Richters,
Martin Gogolla:
Validating UML Models and OCL Constraints.
UML 2000: 265-277 |
| 60 | | Martin Gogolla:
Identifying Objects by Declarative Queries.
Advances in Object-Oriented Data Modeling 2000: 255-277 |
| 1999 |
|---|
| 59 | | Martin Gogolla,
Mark Richters,
Oliver Radfelder:
What Is the Current State of UML Semantics? What Are the Reference Documents.
ECOOP Workshops 1999: 40-41 |
| 58 | | 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 |
| 57 | | Mark Richters,
Martin Gogolla:
A Metamodel for OCL.
UML 1999: 156-171 |
| 56 | | Martin Gogolla,
Oliver Radfelder,
Mark Richters:
Towards Three-Dimensional Animation of UML Diagrams.
UML 1999: 489-502 |
| 1998 |
|---|
| 55 | | Martin Gogolla,
Anne Kathrin Huge,
Bodo Randt:
Stepwise Re-Enginieering and Development of Object-Oriented Database Schemata.
DEXA Workshop 1998: 943-948 |
| 54 | EE | Mark Richters,
Martin Gogolla:
On Formalizing the UML Object Constraint Language OCL.
ER 1998: 449-464 |
| 53 | | Martin Gogolla,
Mark Richters:
Transformation Rules for UML Class Diagrams.
UML 1998: 92-106 |
| 1997 |
|---|
| 52 | | Mark Richters,
Martin Gogolla:
A Web-based Animator for Validating Object Specifications.
IDEAS 1997: 211-219 |
| 51 | | Mark Richters,
Martin Gogolla:
A Web-based Animator for Object Specifications in a Persistent Environment.
TAPSOFT 1997: 867-870 |
| 50 | | Martin Gogolla,
Mark Richters:
On Constraints and Queries in UML.
UML Workshop 1997: 109-121 |
| 49 | | Martin Gogolla,
Mark Richters:
On combining semiformal and formal object specification techniques.
WADT 1997: 238-252 |
| 1996 |
|---|
| 48 | | Heino Gärtner,
Martin Gogolla:
Lassy - A System for Analyzing Grammatical Dependencies in Latin.
DEXA Workshop 1996: 275-284 |
| 47 | | Martin Gogolla:
Parameterizing Object Specifications.
DISCO 1996: 126-137 |
| 46 | EE | Bernd Meyer,
Gerd Westerman,
Martin Gogolla:
Drafting ER and OO Schemas in Prototype Environments.
Data Knowl. Eng. 19(3): 201-240 (1996) |
| 45 | | Annika Wagner,
Martin Gogolla:
Defining Operational Behavior of Object Specifications by Attributed Graph Transformations.
Fundam. Inform. 26(3/4): 407-431 (1996) |
| 1995 |
|---|
| 44 | | Martin Gogolla,
Rudolf Herzig:
An Algebraic Development Technique for Information Systems.
AMAST 1995: 446-460 |
| 43 | | Martin Gogolla:
Towards Schema Queries for Semantic Data Models.
DEXA Workshop 1995: 274-283 |
| 42 | | 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 |
| 41 | | Martin Gogolla,
Stefan Conrad,
Grit Denker,
Rudolf Herzig:
TROLL light - The Language and its Development Environment.
KORSO Book 1995: 205-222 |
| 40 | EE | Martin Gogolla:
A Declarative Query Approach to Object Identification.
OOER 1995: 65-76 |
| 39 | | Stefan Conrad,
Grit Denker,
Martin Gogolla,
Rudolf Herzig,
Nikolaos Vlachantonis,
Hans-Dieter Ehrich:
Entwicklung zuverlässiger Informationssysteme.
EMISA Forum 5(2): 25-33 (1995) |
| 38 | EE | 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) |
| 1994 |
|---|
| 37 | | Martin Gogolla:
An Extended Entity-Relationship Model - Fundamentals and Pragmatics
Springer 1994 |
| 36 | | Martin Gogolla,
Rudolf Herzig:
An Algebraic Semantics for the Object Specification Language TROLL light.
COMPASS/ADT 1994: 290-396 |
| 35 | | Martin Gogolla,
Maura Cerioli:
What is an Abstract Data Type, after all?
COMPASS/ADT 1994: 499-523 |
| 34 | | Rudolf Herzig,
Martin Gogolla:
An Animator for the Object Specification Language TROLL light.
COODBSE 1994: 156-170 |
| 33 | | Rudolf Herzig,
Martin Gogolla:
A SQL-like Query Calculus for Object-Oriented Database Systems.
ISOOMS 1994: 20-39 |
| 32 | | Stefan Conrad,
Martin Gogolla,
Rudolf Herzig:
Safe Derivations in Object Hierarchies.
OOIS 1994: 306-319 |
| 31 | | Martin Gogolla:
Fundamentals and Pragmatics of an Entity-Relationship Approach.
GI Datenbank Rundbrief 13: 86 (1994) |
| 1993 |
|---|
| 30 | | Martin Gogolla,
Ingo Claßen:
An Object-Oriented Design for the ACT ONE Environment.
AMAST 1993: 359-366 |
| 29 | | Nikolaos Vlachantonis,
Rudolf Herzig,
Martin Gogolla,
Grit Denker,
Stefan Conrad,
Hans-Dieter Ehrich:
Towards Reliable Information Systems: The KorSo Approach
CAiSE 1993: 463-482 |
| 28 | | Martin Gogolla,
Stefan Conrad,
Rudolf Herzig:
Sketching Concepts and Computational Model of TROLL light.
DISCO 1993: 17-32 |
| 27 | EE | Martin Gogolla,
Rudolf Herzig,
Stefan Conrad,
Grit Denker,
Nikolaos Vlachantonis:
Integrating the ER Approach in an OO Environment.
ER 1993: 376-389 |
| 26 | | 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 |
|---|
| 25 | | Grit Denker,
Martin Gogolla:
Translating TROLL light Concepts to Maude.
COMPASS/ADT 1992: 173-187 |
| 24 | EE | Rudolf Herzig,
Martin Gogolla:
Transforming Conceptual Data Models into an Object Model.
ER 1992: 280-298 |
| 23 | | 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) |
| 22 | EE | Stefan Conrad,
Martin Gogolla:
An Annotated Bibliography on Object-Orientation and Deduction.
SIGMOD Record 21(1): 123-132 (1992) |
| 1991 |
|---|
| 21 | | Hans-Dieter Ehrich,
Martin Gogolla,
Amílcar Sernadas:
Objects and their Specification.
COMPASS/ADT 1991: 40-65 |
| 20 | EE | Martin Gogolla,
Bernd Meyer,
Gerd Westerman:
Drafting Extended Entity-Relationship Schemas with QUEER.
ER 1991: 561-585 |
| 19 | EE | Martin Gogolla,
Uwe Hohenstein:
Towards a Semantic View of an Extended Entity-Relationship Model.
ACM Trans. Database Syst. 16(3): 369-416 (1991) |
| 1990 |
|---|
| 18 | | Martin Gogolla,
Ulrich Karge:
Zur formalen Semantik von SQL.
Grundlagen von Datenbanken 1990: 27-29 |
| 17 | | Martin Gogolla:
A note on the translation of SQL tuple calculus.
Bulletin of the EATCS 40: 231-235 (1990) |
| 16 | EE | Martin Gogolla:
A Note on the Translation of SQL to Tuple Calculus.
SIGMOD Record 19(1): 18-22 (1990) |
| 1989 |
|---|
| 15 | | Martin Gogolla:
Zur Übersetzung eines ER-Kalküls nach PROLOG.
Grundlagen von Datenbanken 1989 |
| 14 | | Martin Gogolla:
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach.
TAPSOFT, Vol.1 1989: 259-274 |
| 1988 |
|---|
| 13 | EE | Uwe Hohenstein,
Martin Gogolla:
A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions.
ER 1988: 129-148 |
| 1987 |
|---|
| 12 | | Martin Gogolla:
On Parametric Algebraic Specifications with Clean Error Handling.
TAPSOFT, Vol.1 1987: 81-95 |
| 1986 |
|---|
| 11 | | Martin Gogolla:
Exception Handling and Subsorts.
ADT 1986 |
| 10 | | Hans-Dieter Ehrich,
Klaus Drosten,
Martin Gogolla:
Towards an Algebraic Semantics for Database Specification.
DS-2 1986: 119-135 |
| 1985 |
|---|
| 9 | | Udo W. Lipeck,
Hans-Dieter Ehrich,
Martin Gogolla:
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.
TFAIS 1985: 145-157 |
| 1984 |
|---|
| 8 | | Martin Gogolla:
A Final Algebra Semantics for Errors and Exceptions.
ADT 1984: 89-103 |
| 7 | | Martin Gogolla:
Partially Ordered Sorts in Algebraic Specifications.
CAAP 1984: 139-154 |
| 6 | EE | Hans-Dieter Ehrich,
Udo W. Lipeck,
Martin Gogolla:
Specification, Semantics, and Enforcement of Dynamic Database Constraints.
VLDB 1984: 301-308 |
| 5 | | 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) |
| 1983 |
|---|
| 4 | | Martin Gogolla:
Algebraic Specification of Subsorts.
ADT 1983 |
| 3 | | Martin Gogolla,
Klaus Drosten,
Udo W. Lipeck,
Hans-Dieter Ehrich:
Algebraic and operational semantics of exceptions and errors.
Theoretical Computer Science 1983: 141-151 |
| 2 | | Martin Gogolla,
Hans-Dieter Ehrich:
Algebraic Specification with subsorts using declarations.
Bulletin of the EATCS 21: 31-38 (1983) |
| 1982 |
|---|
| 1 | | Gregor Engels,
Martin Gogolla:
Error Handling in Algebraic Specifications.
ADT 1982 |
