dblp.uni-trier.dewww.uni-trier.de

Martin Gogolla Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
119EERobert France, Martin Gogolla: Educators' Symposium at MODELS 2009. MoDELS 2009: 753-754
118EEMartin Gogolla, Mirco Kuhlmann, Lars Hamann: Consistency, Independence and Consequences in UML and OCL Models. TAP 2009: 90-104
117EESabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann: Towards an integrated graph-based semantics for UML. Software and System Modeling 8(3): 403-422 (2009)
2008
116EEMartin Gogolla, Mirco Kuhlmann, Fabian Büttner: A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. MoDELS 2008: 446-459
115EEDuc-Hanh Dang, Martin Gogolla: On Integrating OCL and Triple Graph Grammars. MoDELS Workshops 2008: 124-137
114EEJordi Cabot, Martin Gogolla, Pieter Van Gorp: Eighth International Workshop on OCL Concepts and Tools. MoDELS Workshops 2008: 257-262
113EEJordi Cabot, Martin Gogolla, Pieter Van Gorp: Preface to the Proceedings of the 2008 OCL Workshop. ECEASST 15: (2008)
112EEMirco Kuhlmann, Martin Gogolla: Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. ECEASST 9: (2008)
111EEDavid H. Akehurst, Martin Gogolla, Steffen Zschaler: Preface. ECEASST 9: (2008)
110EEMirco Kuhlmann, Martin Gogolla: Modeling and validating Mondex scenarios described in UML and OCL with USE. Formal Asp. Comput. 20(1): 79-100 (2008)
109EEKarsten 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
108EEMartin Gogolla, Fabian Büttner, Duc-Hanh Dang: From Graph Transformation to OCL Using USE. AGTIVE 2007: 585-586
107EEDavid H. Akehurst, Martin Gogolla, Steffen Zschaler: 7th International Workshop on Ocl4All: Modelling Systems with OCL. MoDELS Workshops 2007: 176-181
106EEMartin 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
105EEFabian Büttner, Martin Gogolla: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. ICGT 2006: 398-413
104EEMartin Gogolla: Model Development in the UML-based Specification Environment (USE). MMOSS 2006
103EEJean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow: Model Transformations? Transformation Models! MoDELS 2006: 440-453
102EEDan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer: OCL for (Meta-)Models in Multiple Application Domains. MoDELS Workshops 2006: 152-158
101EELászló Vidács, Martin Gogolla, Rudolf Ferenc: From C++ Refactorings to Graph Transformations. ECEASST 3: (2006)
100EEDan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer: Preface. ECEASST 5: (2006)
99EEKarsten Hölscher, Paul Ziemann, Martin Gogolla: On translating UML models into graph transformation systems. J. Vis. Lang. Comput. 17(1): 78-105 (2006)
2005
98EEFabian Büttner, Hanna Bauerdick, Martin Gogolla: Towards Transformation of Integrity Constraints and Database States. DEXA Workshops 2005: 823-828
97EEKarsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge: Specification and Validation of Authorisation Constraints Using UML and OCL. ESORICS 2005: 64-79
96EEMartin Gogolla: Exploring ER and RE syntax and semantics with metamodel object diagrams. Metainformatics 2005: 61-72
95EEThomas 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
94EEKrzysztof 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
93EEMartin Gogolla: Tales of ER and RE Syntax and Semantics. Transformation Techniques in Software Engineering 2005
92EEPaul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 127(4): 17-33 (2005)
91EEPaul 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)
90EEMartin 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
89EEMartin 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
87EEMartin 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
84EEHanna Bauerdick, Martin Gogolla, Fabian Gutsche: Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. UML 2004: 188-196
83EEMartin Gogolla, Paul Sammut, Jon Whittle: Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). UML Satellite Activities 2004: 43-51
82EEJean 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
81EEFabian Büttner, Martin Gogolla: Realizing UML Metamodel Transformations with AGG. Electr. Notes Theor. Comput. Sci. 109: 31-42 (2004)
2003
80EEPaul Ziemann, Martin Gogolla: OCL Extended with Temporal Logic. Ershov Memorial Conference 2003: 351-357
79EEMartin 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
77EEMartin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
76EEPaul 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
75EERalf Kollmann, Martin Gogolla: Metric-Based Selective Representation of UML Diagrams. CSMR 2002: 89-98
74EEMartin Gogolla, Mark Richters: Development of UML Descriptions with USE. EurAsia-ICT 2002: 228-238
73EESabine 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
72EEMark Richters, Martin Gogolla: OCL: Syntax, Semantics, and Tools. Object Modeling with the OCL 2002: 42-68
71EEMartin Gogolla, Mark Richters: Expressing UML Class Diagrams Properties with OCL. Object Modeling with the OCL 2002: 85-114
70EEMartin Gogolla, Brian Henderson-Sellers: Analysis of UML Stereotypes within the UML Metamodel. UML 2002: 84-99
69EEMartin 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
65EERalf 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
61EEMark 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
54EEMark 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
51EEMark 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
47EEMartin Gogolla: Parameterizing Object Specifications. DISCO 1996: 126-137
46EEBernd 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
40EEMartin 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)
38EEMartin 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
29EENikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach CAiSE 1993: 463-482
28EEMartin Gogolla, Stefan Conrad, Rudolf Herzig: Sketching Concepts and Computational Model of TROLL light. DISCO 1993: 17-32
27EEMartin 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
24EERudolf 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)
22EEStefan 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
20EEMartin Gogolla, Bernd Meyer, Gerd Westerman: Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585
19EEMartin 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)
16EEMartin 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
14EEMartin Gogolla: Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. TAPSOFT, Vol.1 1989: 259-274
1988
13EEUwe Hohenstein, Martin Gogolla: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. ER 1988: 129-148
1987
12EEMartin 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
6EEHans-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

Coauthor Index

1Gail-Joon Ahn [97] [109]
2David H. Akehurst [107] [111]
3Thomas Baar [82] [95]
4Franck Barbier [64]
5Hanna Bauerdick [84] [98]
6Jean Bézivin [82] [103]
7Jörn Bohling [79] [86] [90]
8Fabian Büttner [81] [85] [86] [98] [103] [105] [106] [108] [116]
9Jordi Cabot [113] [114]
10Maura Cerioli [35]
11Dan Chiorean [95] [100] [102]
12Ingo Claßen [30]
13Stefan Conrad [22] [26] [27] [28] [29] [32] [38] [39] [41]
14Alexandre L. Correa [95]
15Krzysztof Czarnecki [94]
16Duc-Hanh Dang [108] [115]
17Birgit Demuth [100] [102]
18Grit Denker [25] [26] [27] [29] [38] [39] [41] [42]
19Klaus Drosten [3] [5] [10]
20Michael Drouineaud [109]
21Hans-Dieter Ehrich [2] [3] [5] [6] [9] [10] [21] [23] [26] [29] [39] [42]
22Gregor Engels [1] [23]
23Jean-Marie Favre [94]
24Rudolf Ferenc [101]
25Robert France [119]
26Tracy Gardner [82]
27Heino Gärtner [48]
28Carola Gerke [42]
29Pieter Van Gorp [113] [114]
30Wolfgang Grieskamp [42]
31Fabian Gutsche [84]
32Reiner Hähnle [82]
33Lars Hamann [118]
34Brian Henderson-Sellers [64] [70]
35Rudolf Herzig [24] [26] [27] [28] [29] [32] [33] [34] [36] [38] [39] [41] [42] [44]
36Uwe Hohenstein [13] [19] [23]
37Karsten Hölscher [91] [92] [99]
38Anne Kathrin Huge [55]
39Klaus Hülsmann [23]
40Heinrich Hußmann (Heinrich Hussmann) [82] [95]
41Frédéric Jouault [103]
42Ulrich Karge [18]
43Stuart Kent [58]
44Cris Kobryn [68]
45Ralf Kollmann [65] [67] [73] [75]
46Hans-Jörg Kreowski [73] [117]
47Mirco Kuhlmann [110] [112] [116] [118]
48Ivan Kurtev [103]
49Sabine Kuske [73] [77] [117]
50Arne Lindow [66] [78] [85] [86] [88] [103]
51Udo W. Lipeck [3] [5] [6] [9]
52Perdita Löhr (Perdita Löhr-Richter) [23]
53Tom Mens [58] [94]
54Bernd Meyer [20] [46]
55Lars Migge [97]
56Ernst-Rüdiger Olderog [42]
57Andreas L. Opdahl [64]
58Octavian Patrascoiu [82] [95]
59Oliver Radfelder [56] [58] [59] [63] [85]
60Bodo Randt [55]
61Franz Regensburger [42]
62Mark Richters [49] [50] [51] [52] [53] [54] [56] [57] [58] [59] [61] [66] [71] [72] [74] [79] [86] [90] [106]
63Gunter Saake [23]
64Paul Sammut [83]
65Peter H. Schmitt [82] [95]
66Amílcar Sernadas [21]
67Karsten Sohr [97] [109]
68László Vidács [101]
69Nikolaos Vlachantonis [26] [27] [29] [38] [39]
70Annika Wagner [45]
71Jos Warmer [82] [95] [100] [102]
72Gerd Westerman [20] [46]
73Jon Whittle (Jonathan Whittle) [83]
74Paul Ziemann [76] [77] [80] [86] [91] [92] [99] [117]
75Steffen Zschaler [107] [111]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)