Publications of the University of Bremen Database Systems Group

Also available is a version of this bibliography including abstracts. The complete bibliography is available as a gzipped BibTeX file and uncompressed BibTeX file.

[Gabmeyer et al., 2017]
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, and Gerti Kappel. A Feature-Based Classification of Formal Verification Techniques for Software Models. Software and Systems Modeling, 2017.
(26 pages, PDF: 310kb via HTTP)

[Gogolla et al., 2017]
Martin Gogolla, Antonio Vallecillo, Loli Burgueno, and Frank Hilken. Employing Classifying Terms for Testing Model Transformations. In Jan Jürjens and Kurt Schneider, editors, Proc. Software Engineering (2017), pages 91-92. GI, LNI 267, 2017.
(2 pages, PDF: 399kb via HTTP)

[Balaban et al., 2016]
Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, and Michael Kifer. A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors, Proc. Workshop OCL and Textual Modelling (2016), pages 57-72. CEUR WS Proceedings 1756, 2016.
(16 pages, PDF: 472kb via HTTP)

[Bill et al., 2016]
Robert Bill, Martin Gogolla, and Manuel Wimmer. On Leveraging UML/OCL for Model Synchronization. In Tanja Mayerhofer, Alfonso Pierantonio, Bernhard Schaetz, and Dalila Tamzalit, editors, Proc. Workshop Models and Evolution (2016), pages 20-29. CEUR WS Proceedings 1706, 2016.
(10 pages, PDF: 1463kb via HTTP)

[Brucker et al., 2016]
Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sanchez-Barbudo Herrera, Frank Hilken, Frederic Tuong, Edward D. Willink, and Burkhart Wolff. Recent Developments in OCL and Textual Modelling. In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors, Proc. Workshop OCL and Textual Modelling (2016), pages 157-165. CEUR WS Proceedings 1756, 2016.
(9 pages, PDF: 816kb via HTTP)

[Burgueno et al., 2016]
Loli Burgueno, Frank Hilken, Antonio Vallecillo, and Martin Gogolla. Generating Effective Test Suites for Model Transformations using Classifying Terms. In Huseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, and Moussa Amrani, editors, Proc. Workshop Verification of Model Transformation (VOLT 2016), pages 48-57. CEUR WS Proceedings 1693, 2016.
(10 pages, PDF: 232kb via HTTP)

[Doan et al., 2016]
Khanh-Hoang Doan, Martin Gogolla, and Frank Hilken. Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. In Paolo Milazzo, Daniel Varro, and Manuel Wimmer, editors, Proc. STAF 2016 Workshops, Workshop Human-Oriented Formal Methods, pages 207-220. Springer, LNCS 9946, 2016.
(15 pages, PDF: 513kb via HTTP)

[Gogolla and Cabot, 2016]
Martin Gogolla and Jordi Cabot. Continuing a Benchmark for UML and OCL Design and Analysis Tools. In Paolo Milazzo, Daniel Varro, and Manuel Wimmer, editors, Proc. STAF 2016 Workshops, Workshop Model-Driven Engineering, Logic and Optimization (MELO 2016), pages 289-302. Springer, LNCS 9946, 2016.
(13 pages, PDF: 323kb via HTTP)

[Gogolla and Hilken, 2016]
Martin Gogolla and Frank Hilken. Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. In Andreas Oberweis and Ralf Reussner, editors, Proc. Modellierung (MODELLIERUNG'2016), pages 203-218. GI, LNI 254, 2016.
(16 pages, PDF: 329kb via HTTP)

[Gogolla and Vallecillo, 2016]
Martin Gogolla and Antonio Vallecillo. Views on UML Interactions as Spreadsheet Queries. In Paolo Milazzo, Daniel Varro, and Manuel Wimmer, editors, Proc. STAF 2016 Workshops, Workshop Software Engineering Methods in Spreadsheets (SEMS 2016), pages 394-400. Springer, LNCS 9946, 2016.
(6 pages, PDF: 654kb via HTTP)

[Hamann et al., 2016]
Lars Hamann, Martin Gogolla, and Nisha Desai. On the Support of Qualified Associations in OCL. In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors, Proc. Workshop OCL and Textual Modelling (2016), pages 3-15. CEUR WS Proceedings 1756, 2016.
(14 pages, PDF: 885kb via HTTP)

[Hilken and Gogolla, 2016a]
Frank Hilken and Martin Gogolla. User Assistance Characteristics of the USE Model Checking Tool. In Catherine Dubois, Paolo Masci, and Dominique Mery, editors, Proc. Workshop Formal Integrated Development Environments (FIDE 2016), pages 91-97. EPTCS 240, 2016.
(15 pages, PDF: 665kb via HTTP)

[Hilken and Gogolla, 2016b]
Frank Hilken and Martin Gogolla. Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. In Paris Kitsos, editor, Proc. Digital System Design (DSD'2016), pages 708-713. IEEE, 2016.
(8 pages, PDF: 218kb via HTTP)

[Hilken et al., 2016a]
Frank Hilken, Martin Gogolla, Loli Burgueno, and Antonio Vallecillo. Testing models and model transformations using classifying terms. Software and Systems Modeling, 2016.
(27 pages, PDF: 2943kb via HTTP)

[Hilken et al., 2016b]
Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille. Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. In Andreas Oberweis and Ralf Reussner, editors, Proc. Modellierung (MODELLIERUNG'2016), pages 115-122. GI, LNI 254, 2016.
(8 pages, PDF: 225kb via HTTP)

[Hilken et al., 2016c]
Frank Hilken, Marcel Schuster, Karsten Sohr, and Martin Gogolla. Integrating UML/OCL Derived Properties into Validation and Verification Processes. In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors, Proc. Workshop OCL and Textual Modelling (2016), pages 89-104. CEUR WS Proceedings 1756, 2016.
(16 pages, PDF: 524kb via HTTP)

[Niemann et al., 2016]
Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille. Extracting Frame Conditions from Operation Contracts. In Jens Knoop and Uwe Zdun, editors, Proc. Fachtagung Software Engineering (SE 2016), pages 89-90. LNI 252, 2016.
(2 pages, PDF: 40kb via HTTP)

[Przigoda et al., 2016]
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, and Rolf Drechsler. Integrating an SMT-Based ModelFinder into USE. In Michalis Famelis, Daniel Ratiu, and Gehan M. K. Selim, editors, Proc. Workshop Model-Driven Engineering, Verification and Validation (MoDeVVa 2016), pages 40-45. CEUR WS Proceedings 1713, 2016.
(6 pages, PDF: 157kb via HTTP)

[Sedlmeier and Gogolla, 2016]
Matthias Sedlmeier and Martin Gogolla. Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data. In Dimitris Kolovos, Davide di Ruscio, Nicholas Matragkas, Jesus Sanchez Cuadrado, Istvan Rath, and Massimo Tisi, editors, Proc. Workshop Scalable Model Driven Engineering (BigMDE 2016), pages 1-10. CEUR Proceedings 1652, 2016.
(10 pages, PDF: 509kb via HTTP)

[Chechik et al., 2015]
Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jezequel, Bernhard Rumpe, and Martin Schindler. In Memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015. Software and Systems Modeling, 14(2):525-532, 2015.
(8 pages, PDF: 1058kb via HTTP)

[Gogolla, 2015a]
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? In Tony Clark and Arnon Sturm, editors, Proc. 11th MODELS Educators' Symposium (EduSymp 2015), http://ceur-ws.org/, 2015. CEUR Proceedings.
(6 pages, PDF: 196kb via HTTP)

[Gogolla, 2015b]
Martin Gogolla. Experimenting with Multi-Level Models in a Two-Level Modeling Tool. In Colin Atkinson, Georg Grossmann, Thomas Kühne, and Juan de Lara, editors, Proc. 2nd Int. Workshop on Multi-Level Modelling (MULTI'2015), pages 3-11, http://ceur-ws.org/Vol-1505/, 2015. CEUR Proceedings, Vol. 1505.
(9 pages, PDF: 273kb via HTTP)

[Gogolla and Hilken, 2015]
Martin Gogolla and Frank Hilken. UML and OCL Transformation Model Analysis: Checking Invariant Independence. In Moussa Amrani, Eugene Syriani, and Manuel Wimmer, editors, Proc. 4th Int. Workshop on Verification of Model Transformation (VOLT'2015), http://ceur-ws.org/, 2015. CEUR Proceedings.
(8 pages, PDF: 290kb via HTTP)

[Gogolla et al., 2015a]
Martin Gogolla, Lars Hamann, Frank Hilken, and Matthias Sedlmeier. Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. In Jasmin Blanchette and Nikolai Kosmatov, editors, Proc. 9th Int. Conf. Tests and Proofs (TAP 2015), pages 129-136. Springer, LNCS 9154, 2015. LNCS paper (8 pages) and addendum (28 pages).
(36 pages, PDF: 241kb via HTTP)

[Gogolla et al., 2015b]
Martin Gogolla, Lars Hamann, Frank Hilken, and Matthias Sedlmeier. Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. In Ella Roubtsova, Ashley McNeile, Ekkart Kindler, and Christian Gerth, editors, Behavior Modeling: Foundations and Applications, Int. Workshops BM-FA 2009-2014, pages 31-58. Springer, LNCS 6368, 2015.
(28 pages, PDF: 407kb via HTTP)

[Gogolla et al., 2015c]
Martin Gogolla, Antonio Vallecillo, Loli Burgueno, and Frank Hilken. Employing Classifying Terms for Testing Model Transformations. In Jordi Cabot and Alexander Egyed, editors, Proc. 18th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2015), pages 312-321. ACM, 2015.
(10 pages, PDF: 937kb via HTTP)

[Hamann and Gogolla, 2015]
Lars Hamann and Martin Gogolla. Endogene Metamodellierung der Semantik von neueren UML2 Sprachmitteln. In Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, and Ronny Kaiser, editors, Proc. Software Engineering (2015), pages 31-32. GI, LNI 239, 2015.
(2 pages, PDF: 62kb via HTTP)

[Hamann et al., 2015]
Lars Hamann, Martin Gogolla, and Karsten Sohr. Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. In Frank Piessens, Juan Caballero, and Nataliia Bielova, editors, Proc. 7th Int. Conf. Engineering Secure Software and Systems (ESSOS 2015), pages 211-226. Springer, LNCS 8978, 2015.
(16 pages, PDF: 427kb via HTTP)

[Hilken et al., 2015a]
Frank Hilken, Loli Burgueno, Martin Gogolla, and Antonio Vallecillo. Iterative Development of Transformation Models by Using Classifying Terms. In Juergen Dingel, Sahar Kokaly, Levi Lecio, Rick Salay, and Hans Vangheluwe, editors, Proc. Int. Workshop on Analysis of Model Transformations (AMT'2015), pages 1-6, http://ceur-ws.org/Vol-1500/, 2015. CEUR Proceedings, Vol. 1500.
(6 pages, PDF: 172kb via HTTP)

[Hilken et al., 2015b]
Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille. From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. In Dimitris Kolovos and Manuel Wimmer, editors, Proc. 8th Int. Conf. Model Transformation (ICMT 2015), pages 1-17. Springer, LNCS 9152, 2015.
(16 pages, PDF: 505kb via HTTP)

[Niemann et al., 2015a]
Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille. Assisted Generation of Frame Conditions for Formal Models. In Wolfgang Nebel and David Atienza, editors, Proc. Design, Automation and Test in Europe (DATE'2015), pages 309-312. ACM, 2015.
(4 pages, PDF: 138kb via HTTP)

[Niemann et al., 2015b]
Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille. Extracting Frame Conditions from Operation Contracts. In Jordi Cabot and Alexander Egyed, editors, Proc. 18th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2015), pages 266-275. ACM, 2015.
(10 pages, PDF: 277kb via HTTP)

[Sedlmeier and Gogolla, 2015]
Matthias Sedlmeier and Martin Gogolla. Model Driven ActiveRecord with yEd. In Tatjana Welzer, Hannu Jaakkola, Bernhard Thalheim, Yasushi Kiyoki, and Naofumi Yoshida, editors, Proc. Int. 25th Int. Conf. Information Modelling and Knowledge Bases (EJC'2015), pages 65-76. IOS Press, Amsterdam, 2015.
(36 pages, PDF: 565kb via HTTP)

[Amrani et al., 2014]
Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, and Kevin Lano. Report on the Third Workshop on Verification of Model Transformations. In Moussa Amrani, Eugene Syriani, and Manuel Wimmer, editors, Proc. 3rd Int. Workshop on Verification of Model Transformation (VOLT'2014), pages 1-9, http://ceur-ws.org/, 2014. CEUR Proceedings, Vol. 1325.
(7 pages, PDF: 142kb via HTTP)

[Brucker et al., 2014a]
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, and Burkhart Wolff. Panel Discussion: Proposals for Improving OCL. In Achim D. Brucker, Carolina Dania, Geri Georg, and Martin Gogolla, editors, Proc. Int. Workshop on OCL (OCLWS'2014), pages 83-99, http://ceur-ws.org/Vol-1285/, 2014. CEUR Proceedings, Vol. 1285.
(17 pages, PDF: 380kb via HTTP)

[Brucker et al., 2014b]
Achim D. Brucker, Carolina Dania, Geri Georg, and Martin Gogolla, editors. Proc. MODELS'2014 OCL Workshop, http://ceur-ws.org/Vol-1285/, 2014. CEUR Workshop Proceedings, Vol. 1285. Satellite Events at the MODELS'2014 Conference.

[Büttner and Gogolla, 2014]
Fabian Büttner and Martin Gogolla. On OCL-Based Imperative Languages. Science of Computer Programming, 92:162-178, 2014.
(22 pages, PDF: 451kb via HTTP)

[Büttner et al., 2014]
Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, and Alina Stosiek. Model-Driven Standardization of Public Authority Data Interchange. Science of Computer Programming, 89:162-175, 2014.
(17 pages, PDF: 381kb via HTTP)

[Cheng et al., 2014]
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, and Norha M. Villegas. Using Models at Runtime to Address Assurance for Self-Adaptive Systems. In Nelly Bencomo, Robert B. France, Betty H. C. Cheng, and Uwe Aßmann, editors, Models@run.time - Foundations, Applications, and Roadmaps, pages 101-136. Springer, Berlin, LNCS 8378, 2014.
(36 pages, PDF: 750kb via HTTP)

[Gogolla et al., 2014a]
Martin Gogolla, Lars Hamann, and Frank Hilken. Checking Transformation Model Properties with a UML and OCL Model Validator. In Moussa Amrani, Eugene Syriani, and Manuel Wimmer, editors, Proc. 3rd Int. Workshop on Verification of Model Transformation (VOLT'2014), pages 16-25, http://ceur-ws.org/, 2014. CEUR Proceedings, Vol. 1325.
(25 pages, PDF: 362kb via HTTP)

[Gogolla et al., 2014b]
Martin Gogolla, Lars Hamann, and Frank Hilken. On Static and Dynamic Analysis of UML and OCL Transformation Models. In Jürgen Dingel, Juan de Lara, Levi Lucio, and Hans Vangheluwe, editors, Proc. Int. Workshop on Analysis of Model Transformations (AMT'2014), pages 24-33, http://ceur-ws.org/Vol-1277/, 2014. CEUR Proceedings, Vol. 1277.
(10 pages, PDF: 243kb via HTTP)

[Gogolla et al., 2014c]
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, and Robert B. France. From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. In Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer, editors, Proc. Modellierung (MODELLIERUNG'2014), pages 273-288. GI, LNI 225, 2014.
(16 pages, PDF: 393kb via HTTP)

[Gogolla et al., 2014d]
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, and Quang Dung Nguyen. Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. In Ella Roubtsova, Christian Gerth, Ekkart Kindler, and Ashley McNeile, editors, Proc. 6th Workshop Behaviour Modelling - Foundations and Applications (BMFA'2014). ACM Digital Library, Vol. 2630768, 2014.
(12 pages, PDF: 284kb via HTTP)

[Gogolla et al., 2014e]
Martin Gogolla, Matthias Sedlmeier, Lars Hamann, and Frank Hilken. On Metamodel Superstructures Employing UML Generalization Features. In Colin Atkinson, Georg Grossmann, Thomas Kühne, and Juan de Lara, editors, Proc. Int. Workshop on Multi-Level Modelling (MULTI'2014), pages 13-22, http://ceur-ws.org/Vol-1286/, 2014. CEUR Proceedings, Vol. 1286.
(10 pages, PDF: 312kb via HTTP)

[Hamann et al., 2014a]
Lars Hamann, Martin Gogolla, and Oliver Hofrichter. Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. In Wilhelm Hasselbring and Nils Christian Ehmke, editors, Proc. Software Engineering (2014), pages 75-76. GI, LNI 227, 2014.
(2 pages, PDF: 57kb via HTTP)

[Hamann et al., 2014b]
Lars Hamann, Frank Hilken, and Martin Gogolla. Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. In Francis Bordelau, Jürgen Dingel, Sebastien Gerard, and Sebastian Voss, editors, Proc. Int. Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'2014), pages 42-52, http://ceur-ws.org/Vol-1290/, 2014. CEUR Proceedings, Vol. 1290.
(10 pages, PDF: 1720kb via HTTP)

[Hilken et al., 2014a]
Frank Hilken, Lars Hamann, and Martin Gogolla. Transformation of UML and OCL Models into Filmstrip Models. In Davide Di Ruscio and Dániel Varró, editors, Proc. 7th Int. Conf. Model Transformation (ICMT 2014), pages 170-185. Springer, LNCS 8568, 2014.
(16 pages, PDF: 438kb via HTTP)

[Hilken et al., 2014b]
Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille. Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. In Martina Seidl and Nikolai Tillmann, editors, Proc. 8th Int. Conf. Tests and Proofs (TAP 2014), pages 99-116. Springer, LNCS 8570, 2014.
(18 pages, PDF: 352kb via HTTP)

[Hilken et al., 2014c]
Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla. Towards a Base Model for UML and OCL Verification. In Frédéric Boulanger, Michalis Famelis, and Daniel Ratiu, editors, Proc. 11th Int. Workshop on Model Driven Engineering, Verification and Validation Workshop (MODEVVA'2014), pages 59-68, http://ceur-ws.org/Vol-1235/, 2014. CEUR Proceedings, Vol. 1235.
(10 pages, PDF: 283kb via HTTP)

[Sedlmeier and Gogolla, 2014]
Matthias Sedlmeier and Martin Gogolla. Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model. In Bernhard Thalheim, Hannu Jaakkola, Yasushi Kiyoki, and Naofumi Yoshida, editors, Proc. Int. 24th Int. Conf. Information Modelling and Knowledge Bases (EJC'2014), pages 376-395. IOS Press, Amsterdam, 2014.
(20 pages, PDF: 1195kb via HTTP)

[Brucker et al., 2013]
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, and Burkhart Wolff. Report on the Aachen OCL Meeting. In Jordi Cabot, Martin Gogolla, István Ráth, and Edward D. Willink, editors, Proc. Int. Workshop on OCL (OCLWS'2013), pages 103-111, http://ceur-ws.org/Vol-1092/, 2013. CEUR Proceedings, Vol. 1092.
(9 pages, PDF: 534kb via HTTP)

[Cabot et al., 2013]
Jordi Cabot, Martin Gogolla, István Ráth, and Edward D. Willink, editors. Proc. MODELS'2013 OCL Workshop, http://ceur-ws.org/Vol-1092/, 2013. CEUR Workshop Proceedings, Vol. 1092. Satellite Events at the MODELS'2013 Conference.

[Clark et al., 2013]
Tony Clark, Robert B. France, Martin Gogolla, and Bran Selic. Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). Dagstuhl Reports, 3(4):188-226, 2013.
(40 pages, PDF: 1336kb via HTTP)

[Dubois et al., 2013]
Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nobrega, Ileana Ober, Martina Seidl, and Markus Völter. Research Questions for Validation and Verification in the Context of Model-Based Engineering. In Frederic Boulanger, Michalis Famelis, and Daniel Ratiu, editors, Proc. 10th Int. Workshop on Model Driven Engineering, Verification and Validation (MODEVVA'2013), pages 67-76, http://ceur-ws.org/Vol-1069/, 2013. CEUR Proceedings, Vol. 1069.
(10 pages, PDF: 241kb via HTTP)

[Gogolla, 2013a]
Martin Gogolla. Employing the Object Constraint Language in Model-Based Engineering. In Pieter Van Gorp, Tom Ritter, and Louise Rose, editors, Proc. 9th European Conf. Modelling Foundations and Applications (ECMFA 2013), pages 1-2. Springer, Berlin, LNCS 7949, 2013. Invited talk.
(2 pages, PDF: 39kb via HTTP)

[Gogolla, 2013b]
Martin Gogolla, editor. Proc. MODELS'2013 Doctoral Symposium, http://ceur-ws.org/Vol-1071/, 2013. CEUR Workshop Proceedings, Vol. 1071. Satellite Events at the MODELS'2013 Conference.

[Gogolla et al., 2013]
Martin Gogolla, Fabian Büttner, and Jordi Cabot. Initiating a Benchmark for UML and OCL Analysis Tools. In Margus Veanes and Luca Vigano, editors, Proc. 7th Int. Conf. Tests and Proofs (TAP 2013), pages 115-132. Springer, Berlin, LNCS 7942, 2013. PDF contains LNCS conference paper (18 pp) plus additional material (30 pp).
(48 pages, PDF: 818kb via HTTP)

[Hamann and Gogolla, 2013]
Lars Hamann and Martin Gogolla. Endogenous Metamodeling Semantics for Structural UML2 Concepts. In Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, and Peter J. Clarke, editors, Proc. 16th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2013), pages 488-504. Springer, Berlin, LNCS 8107, 2013.
(17 pages, PDF: 587kb via HTTP)

[Hofrichter et al., 2013]
Oliver Hofrichter, Martin Gogolla, and Karsten Sohr. UML/OCL based Design and Analysis of Role-Based Access Control Policies. In Balbir Barn, Tony Clark, Robert France, Ulrich Frank, Vinay Kulkarni, and Dan Turk, editors, Proc. Int. Workshop Towards the Model Driven Organization (AMINO 2013), pages 33-42, http://ceur-ws.org/Vol-1102/, 2013. CEUR Proceedings, Vol. 1102.
(10 pages, PDF: 328kb via HTTP)

[Kuhlmann et al., 2013]
Mirco Kuhlmann, Karsten Sohr, and Martin Gogolla. Employing UML and OCL for Designing and Analyzing Role-Based Access Control. Mathematical Structures in Computer Science, 23(4):796-833, 2013.
(36 pages, PDF: 776kb via HTTP)

[Mustafa, 2013]
Tanveer Mustafa. Static Security Analysis of Java Applications with an Approach Based on Design by Contract. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2013.

[Wille et al., 2013]
Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, and Rolf Drechsler. Towards a Generic Verification Methodology for System Models. In Proc. Design, Automation and Test in Europe (DATE'2013), pages 1193-1196. European Design and Automation Association (EDAA), 2013.
(4 pages, PDF: 148kb via HTTP)

[Balaban et al., 2012]
Mira Balaban, Jordi Cabot, Martin Gogolla, and Claas Wilke. Workshop on OCL and Textual Modeling: OCL 2012. In Mira Balaban, Jordi Cabot, Martin Gogolla, and Claas Wilke, editors, Proc. 12th Int. Workshop Object Constraint Language (OCL 2012), pages 5-6. ACM Digital Library, 2012.
(2 pages, PDF: 42kb via HTTP)

[Brüning et al., 2012]
Jens Brüning, Martin Gogolla, Lars Hamann, and Mirco Kuhlmann. Evaluating and Debugging OCL Expressions in UML Models. In Achim D. Brucker and Jacques Julliand, editors, Proc. 6th Int. Conf. Tests and Proofs (TAP 2012), pages 156-162. Springer, Berlin, LNCS 7305, 2012.
(7 pages, PDF: 158kb via HTTP)

[Büttner et al., 2012]
Fabian Büttner, Marina Egea, Jordi Cabot, and Martin Gogolla. Verification of ATL Transformations Using Transformation Models and Model Finders. In Kokichi Futatsugi and Shaoying Liu, editors, Proc. 14th Int. Conf. Formal Engineering Methods (ICFEM 2012), pages 198-213. Springer, Berlin, LNCS 7635, 2012.
(16 pages, PDF: 342kb via HTTP)

[Cabot and Gogolla, 2012]
Jordi Cabot and Martin Gogolla. Object Constraint Language (OCL): A Definitive Guide. In Marco Bernardo, Vittorio Cortellessa, and Alphonso Pierantonio, editors, Proc. 12th Int. School Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, pages 58-90. Springer, Berlin, LNCS 7320, 2012.
(33 pages, PDF: 352kb via HTTP)

[Dang and Gogolla, 2012]
Duc-Hanh Dang and Martin Gogolla. An Approach for Quality Assurance of Model Transformations. In Kim Hung Le and Ngoc Binh Nguyen, editors, Proc. 4th Int. Conf. Knowledge and Systems Engineering (KSE 2012), pages 223-230. IEEE CPS, 2012.
(8 pages, PDF: 367kb via HTTP)

[Gogolla and Vallecillo, 2012]
Martin Gogolla and Antonio Vallecillo. On Explaining Modeling Principles with Modeling Examples: A Classification Catalog. In Dan Chiorean and Benoit Combemale, editors, Proc. 8th MODELS Educators' Symposium (EduSymp 2012), pages 28-31. ACM Digital Library, 2012.
(4 pages, PDF: 172kb via HTTP)

[Hamann et al., 2012a]
Lars Hamann, Fabian Büttner, Mirco Kuhlmann, and Martin Gogolla. Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. In Elmar J. Sinz and Andy Schürr, editors, Proc. Modellierung (MODELLIERUNG'2012), pages 155-170. Springer, LNI 201, 2012.
(16 pages, PDF: 294kb via HTTP)

[Hamann et al., 2012b]
Lars Hamann, Martin Gogolla, and Daniel Honsel. Towards Supporting Multiple Execution Environments for UML/OCL Models at Runtime. In Nelly Bencomo, Gordon Blair, Sebastian Götz, Brice Morin, and Bernhard Rumpe, editors, Proc. 7th Int. Workshop Models at Runtime (MRT 2012), pages 46-51. ACM Digital Library, 2012.
(6 pages, PDF: 1141kb via HTTP)

[Hamann et al., 2012c]
Lars Hamann, Oliver Hofrichter, and Martin Gogolla. OCL-Based Runtime Monitoring of Applications with Protocol State Machines. In Antonio Vallecillo and Juha-Pekka Tolvanen, editors, Proc. 8th European Conf. Modelling Foundations and Applications (ECMFA 2012), pages 384-399. Springer, Berlin, LNCS 7349, 2012.
(16 pages, PDF: 429kb via HTTP)

[Hamann et al., 2012d]
Lars Hamann, Oliver Hofrichter, and Martin Gogolla. Towards Integrated Structure and Behavior Modeling with OCL. In Robert France, Juergen Kazmeier, Ruth Breu, and Colin Atkinson, editors, Proc. 15th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2012), pages 235-251. Springer, Berlin, LNCS 7590, 2012.
(17 pages, PDF: 266kb via HTTP)

[Hamann et al., 2012e]
Lars Hamann, Laszlo Vidacs, Martin Gogolla, and Mirco Kuhlmann. Abstract Runtime Monitoring with USE. In Tom Mens, Anthony Cleve, and Rudolf Ferenc, editors, Proc. European Conf. Software Maintenance and Reengineering (CSMR'2012), pages 549-552. IEEE, 2012.
(4 pages, PDF: 964kb via HTTP)

[Hofrichter et al., 2012]
Oliver Hofrichter, Lars Hamann, Martin Gogolla, and Frank Steimke. The Secret Life of OCL Constraints. In Mira Balaban, Jordi Cabot, Martin Gogolla, and Claas Wilke, editors, Proc. 12th Int. Workshop Object Constraint Language (OCL 2012), pages 63-64. ACM Digital Library, 2012.
(2 pages, PDF: 201kb via HTTP)

[Kuhlmann and Gogolla, 2012a]
Mirco Kuhlmann and Martin Gogolla. From UML and OCL to Relational Logic and Back. In Robert France, Juergen Kazmeier, Ruth Breu, and Colin Atkinson, editors, Proc. 15th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2012), pages 415-431. Springer, Berlin, LNCS 7590, 2012.
(17 pages, PDF: 316kb via HTTP)

[Kuhlmann and Gogolla, 2012b]
Mirco Kuhlmann and Martin Gogolla. Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. In Antonio Vallecillo and Juha-Pekka Tolvanen, editors, Proc. 8th European Conf. Modelling Foundations and Applications (ECMFA 2012), pages 32-48. Springer, Berlin, LNCS 7349, 2012.
(17 pages, PDF: 338kb via HTTP)

[Kuhlmann et al., 2012]
Mirco Kuhlmann, Lars Hamann, Martin Gogolla, and Fabian Büttner. A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. Software and Systems Modeling, 11(2):165-182, 2012. DOI 10.1007/s10270-010-0174-8.
(17 pages, PDF: 292kb via HTTP)

[Sohr et al., 2012]
Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, and Gail-Joon Ahn. Comprehensive Two-Level Analysis of Role-Based Delegation and Revocation Policies with UML and OCL. Information and Software Technology, 54(12):1396-1417, 2012.
(54 pages, PDF: 801kb via HTTP)

[Vallecillo and Gogolla, 2012]
Antonio Vallecillo and Martin Gogolla. Typing Model Transformations Using Tracts. In Zhenjiang Hu and Juan de Lara, editors, Proc. 5th Int. Conf. Model Transformation (ICMT 2012), pages 56-71. Springer, Berlin, LNCS 7307, 2012.
(16 pages, PDF: 307kb via HTTP)

[Vallecillo et al., 2012]
Antonio Vallecillo, Martin Gogolla, Loli Burgueno, Manuel Wimmer, and Lars Hamann. Formal Specification and Testing of Model Transformations. In Marco Bernardo, Vittorio Cortellessa, and Alphonso Pierantonio, editors, Proc. 12th Int. School Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, pages 399-437. Springer, Berlin, LNCS 7320, 2012.
(39 pages, PDF: 774kb via HTTP)

[Brüning and Gogolla, 2011]
Jens Brüning and Martin Gogolla. UML Metamodel-based Workflow Modeling and Execution. In Lea Kutvonen and Pontus Johnson, editors, Proc. Enterprise Distributed Object Computing (EDOC'2011), pages 97-106. IEEE, 2011.
(10 pages, gzipped PostScript: 462kb via HTTP, uncompressed PostScript: 1274kb via HTTP, PDF: 329kb via HTTP)

[Brüning et al., 2011]
Jens Brüning, Lars Hamann, and Andreas Wolff. Extending ASSL: Making UML Metamodel-based Workflows Executable. In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors, Proc. Workshop OCL and Textual Modelling (OCL'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(13 pages, gzipped PostScript: 442kb via HTTP, uncompressed PostScript: 1559kb via HTTP, PDF: 228kb via HTTP)

[Büttner and Gogolla, 2011]
Fabian Büttner and Martin Gogolla. Modular Embedding of the Object Constraint Language into a Programming Language. In Adenilso Simao and Carrol Morgan, editors, Proc. 14th Brazilian Symposium on Formal Methods (SBMF'2011), pages 124-139. Springer, Berlin, LNCS 7021, 2011.
(16 pages, gzipped PostScript: 297kb via HTTP, uncompressed PostScript: 733kb via HTTP, PDF: 165kb via HTTP)

[Büttner et al., 2011]
Fabian Büttner, Jordi Cabot, and Martin Gogolla. On Validation of ATL Transformation Rules By Transformation Models. In Harald Cichos, Frederic Fondement, Levi Lucio, and Stephan Weissleder, editors, Proc. Workshop on Model-Driven Engineering, Verification, and Validation (MODEVVA'2011). ACM, 2011.
(8 pages, gzipped PostScript: 355kb via HTTP, uncompressed PostScript: 1731kb via HTTP, PDF: 283kb via HTTP)

[Cabot et al., 2011]
Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors. Preface for Proc. 11th International Workshop on OCL and Textual Modelling, http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2011. Electronic Communications of the EASST, Vol. 44. Satellite Events at the TOOLS'2011 Conference.

[Chimiak-Opoka et al., 2011]
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann, and Edward Willink. OCL Tools Report based on the IDE4OCL Feature Model. In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors, Proc. Workshop OCL and Textual Modelling (OCL'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(19 pages, PDF: 344kb via HTTP)

[Duran et al., 2011]
Francisco Duran, Martin Gogolla, and Manuel Roldan. Tracing Properties of UML and OCL Models with Maude. In Francisco Duran and Vlad Rusu, editors, Proc. Workshop Algebraic Methods in Model-based Software Engineering (AMMSE'2011), pages 81-97. Electronic Proceedings in Theoretical Computer Science, EPTCS 56, 2011.
(19 pages, gzipped PostScript: 2746kb via HTTP, uncompressed PostScript: 23146kb via HTTP, PDF: 331kb via HTTP)

[Gogolla, 2011a]
Martin Gogolla. Direction Neutral Language Transformation with Metamodels. Dagstuhl Reports, 1(1):57-57, 2011. Dagstuhl Seminar 11031: Bidirectional Transformations bx. Organized by Zhenjiang Hu, Andy Schürr, Perdita Stevens, James Terwilliger. Long version: http://www.dagstuhl.de/mat/Files/11/11031/11031.GogollaMartin1.Paper.pdf.
(14 pages, gzipped PostScript: 192kb via HTTP, uncompressed PostScript: 2076kb via HTTP, PDF: 141kb via HTTP)

[Gogolla, 2011b]
Martin Gogolla. Runtime Monitoring of Java Bytecode with UML and OCL Models. Dagstuhl Reports, 1(11):107-107, 2011. Dagstuhl Seminar 11481: Models@run.time. Organized by Uwe Aßmann, Nelly Bencomo, Betty H.C. Cheng, Robert B. France.

[Gogolla, 2011c]
Martin Gogolla. UML and OCL in Conceptual Modeling. In David W. Embley and Bernhard Thalheim, editors, Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges, pages 85-122. Springer, Berlin, 2011.
(43 pages, PDF: 382kb via HTTP)

[Gogolla and Vallecillo, 2011]
Martin Gogolla and Antonio Vallecillo. Tractable Model Transformation Testing. In Robert France, Jochen M. Küster, Behzad Bordbar, and Richard F. Paige, editors, Proc. 7th Int. Conf. Modelling Foundations and Applications (ECMFA'2011), pages 221-235. Springer, Berlin, LNCS 6698, 2011.
(15 pages, gzipped PostScript: 381kb via HTTP, uncompressed PostScript: 2476kb via HTTP)

[Gogolla and Wolff, 2011]
Martin Gogolla and Burkhart Wolff, editors. Proc. 5th Int. Conf. Tests and Proofs (TAP'2011). Springer, Berlin, LNCS 6706, 2011.

[Gogolla et al., 2011]
Martin Gogolla, Lars Hamann, Jie Xu, and Jun Zhang. Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. In Fabio Gadducci and Leonardo Mariani, editors, Proc. Workshop Graph Transformation and Visual Modeling Techniques (GTVMT'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/53, 2011.
(14 pages, gzipped PostScript: 858kb via HTTP, uncompressed PostScript: 11489kb via HTTP)

[Hamann et al., 2011]
Lars Hamann, Martin Gogolla, and Mirco Kuhlmann. OCL-Based Runtime Monitoring of JVM Hosted Applications. In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors, Proc. Workshop OCL and Textual Modelling (OCL'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(21 pages, gzipped PostScript: 5598kb via HTTP, uncompressed PostScript: 39553kb via HTTP, PDF: 2242kb via HTTP)

[Kuhlmann et al., 2011a]
Mirco Kuhlmann, Lars Hamann, and Martin Gogolla. Extensive Validation of OCL Models by Integrating SAT Solving into USE. In Judith Bishop and Antonio Vallecillo, editors, Proc. 49th Int. Conf. Objects, Models, Components, and Patterns (TOOLS'2011), pages 289-305. Springer, Berlin, LNCS 6705, 2011.
(17 pages, gzipped PostScript: 4669kb via HTTP, uncompressed PostScript: 32144kb via HTTP)

[Kuhlmann et al., 2011b]
Mirco Kuhlmann, Karsten Sohr, and Martin Gogolla. Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL . In Jongmoon Baik, Fabio Massacci, and Mohammad Zulkernine, editors, Proc. Secure Software Integration and Reliability Improvement (SSIRI'2011), pages 108-117. IEEE, 2011.
(10 pages, gzipped PostScript: 433kb via HTTP, uncompressed PostScript: 1232kb via HTTP)

[Bezivin et al., 2010]
Jean Bezivin, Robert France, Martin Gogolla, Oystein Haugen, Gabriele Taentzer, and Daniel Varro. Teaching Modeling: Why, When, What? In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), pages 55-62. Springer, Berlin, LNCS 6002, 2010.
(8 pages, gzipped PostScript: 76kb via HTTP, uncompressed PostScript: 156kb via HTTP)

[Brüning et al., 2010]
Jens Brüning, Martin Gogolla, and Peter Forbrig. Modeling and Formally Checking Workflow Properties Using UML and OCL. In Peter Forbrig and Horst Günther, editors, Proc. 9th Int. Conf. Perspectives in Business Informatics Research (BIR'2010), pages 130-145. Springer, Berlin, LNBIP 64, 2010.
(16 pages, gzipped PostScript: 542kb via HTTP, uncompressed PostScript: 1915kb via HTTP)

[Büttner, 2010]
Fabian Büttner. Reusing OCL in the Definition of Imperative Languages. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2010.

[Büttner et al., 2010]
Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, and Arne Lindow. On Better Understanding OCL Collections *or* An OCL Ordered Set is not an OCL Set. In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), pages 276-290. Springer, Berlin, LNCS 6002, 2010.
(15 pages, gzipped PostScript: 287kb via HTTP, uncompressed PostScript: 8140kb via HTTP)

[Cabot et al., 2010a]
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault, and Alexander Knapp. Ninth International Workshop on The Pragmatics of OCL and other textual specification languages. In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), pages 256-260. Springer, Berlin, LNCS 6002, 2010.
(5 pages, gzipped PostScript: 74kb via HTTP, uncompressed PostScript: 157kb via HTTP)

[Cabot et al., 2010b]
Jordi Cabot, Tony Clark, Manuel Clavel, and Martin Gogolla. Tenth International Workshop on OCL and Textual Modelling. In Jürgen Dingel and Arnor Solberg, editors, Workshops and Symposia at 13th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2010), pages 329-333. Springer, Berlin, LNCS 6627, 2010.

[Dang et al., 2010a]
Duc-Hanh Dang, Anh-Hoang Truong, and Martin Gogolla. Checking the Conformance between Models Based on Scenario Synchronization. Journal of Universal Computer Science, 16(17):2293-2312, 2010.
(20 pages, gzipped PostScript: 1149kb via HTTP, uncompressed PostScript: 14447kb via HTTP)

[Dang et al., 2010b]
Duc-Hanh Dang, Anh-Hoang Truong, and Martin Gogolla. On Scenario Synchronization. In Ahmed Bouajjani and Wei-Ngan Chin, editors, Proc. 8th Int. Symp. Automated Technology for Verification and Analysis (ATVA'2010), pages 97-111. Springer, Berlin, LNCS 6252, 2010.
(15 pages, gzipped PostScript: 356kb via HTTP, uncompressed PostScript: 795kb via HTTP, PDF: 479kb via HTTP)

[France and Gogolla, 2010]
Robert France and Martin Gogolla. Essentials of the 5th Educators' Symposium at MODELS 2009. In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), pages 36-39. Springer, Berlin, LNCS 6002, 2010.
(4 pages, gzipped PostScript: 64kb via HTTP, uncompressed PostScript: 129kb via HTTP)

[Gogolla et al., 2010]
Martin Gogolla, Lars Hamann, and Mirco Kuhlmann. Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. In Gordon Fraser and Angelo Gargantini, editors, Proc. 4th Int. Conf. Test and Proof (TAP'2010), pages 38-54. Springer, Berlin, LNCS 6143, 2010.
(17 pages, gzipped PostScript: 321kb via HTTP, uncompressed PostScript: 6366kb via HTTP)

[Hamann and Gogolla, 2010]
Lars Hamann and Martin Gogolla. Improving Model Quality by Validating Constraints with Model Unit Tests. In Levi Lucio, Elisangela Vieira, and Stephan Weissleder, editors, Proc. Workshop on Model-Driven Engineering, Verification, and Validation (MODEVVA'2010), pages 49-55. IEEE, 2010.
(6 pages, PDF: 204kb via HTTP)

[Hamann et al., 2010]
Lars Hamann, Martin Gogolla, and Mirco Kuhlmann. Zur Validierung von Kompositionsstrukturen in UML mit USE. In Gregor Engels, Dimitris Karagiannis, and Heinrich C. Mayr, editors, Proc. Modellierung (MODELLIERUNG'2010), pages 169-177. Gesellschaft für Informatik, LNI P-161, 2010.
(9 pages, gzipped PostScript: 118kb via HTTP, uncompressed PostScript: 3470kb via HTTP)

[Soeken et al., 2010]
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, and Rolf Drechsler. Verifying UML/OCL Models Using Boolean Satisfiability. In Wolfgang Müller, editor, Proc. Design, Automation and Test in Europe (DATE'2010). IEEE, 2010.
(4 pages, gzipped PostScript: 88kb via HTTP, uncompressed PostScript: 226kb via HTTP)

[Tratt and Gogolla, 2010]
Laurence Tratt and Martin Gogolla, editors. Proc. 3rd Int. Conf. on Model Transformation (ICMT'2010). Springer, Berlin, LNCS 6142, 2010.

[Büttner and Kuhlmann, 2009]
Fabian Büttner and Mirco Kuhlmann. Shortcomings of the Embedding of OCL into QVT ImperativeOCL. In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2008), pages 263-272. Springer, Berlin, LNCS 5421, 2009.
(10 pages, gzipped PostScript: 550kb via HTTP, uncompressed PostScript: 10798kb via HTTP)

[Cabot et al., 2009]
Jordi Cabot, Martin Gogolla, and Pieter Van Gorp. Eighth International Workshop on OCL Concepts and Tools. In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2008), pages 257-262. Springer, Berlin, LNCS 5421, 2009.
(6 pages, gzipped PostScript: 118kb via HTTP, uncompressed PostScript: 286kb via HTTP)

[Dang, 2009]
Duc-Hanh Dang. On Integrating Triple Graph Grammars and OCL for Model-Driven Development. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2009.

[Dang and Gogolla, 2009a]
Duc-Hanh Dang and Martin Gogolla. On Integrating OCL and Triple Graph Grammars. In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2008), pages 124-137. Springer, Berlin, LNCS 5421, 2009.
(13 pages, gzipped PostScript: 5555kb via HTTP, uncompressed PostScript: 21481kb via HTTP)

[Dang and Gogolla, 2009b]
Duc-Hanh Dang and Martin Gogolla. Precise Model-Driven Transformations Based on Graphs and Metamodels. In Dang Van Hung and Padmanabhan Krishnan, editors, Proc. 7th IEEE Int. Conf. Software Engineering and Formal Methods (SEFM 2009), pages 307-316. IEEE, 2009.
(10 pages, gzipped PostScript: 497kb via HTTP, uncompressed PostScript: 2639kb via HTTP)

[France and Gogolla, 2009]
Robert France and Martin Gogolla. Educators' Symposium at MODELS 2009. In Andy Schürr and Bran Selic, editors, Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2008), pages 753-754. Springer, Berlin, LNCS 5795, 2009.
(2 pages, gzipped PostScript: 33kb via HTTP, uncompressed PostScript: 76kb via HTTP)

[Gogolla, 2009a]
Martin Gogolla. Object Constraint Language. In Ling Liu and M. Tamer Öszu, editors, Encyclopedia of Database Systems, pages 1927-1929. Springer, Berlin, 2009.

[Gogolla, 2009b]
Martin Gogolla. Towards Model Validation and Verification with SAT Techniques. In Bernd Becker, Valeria Bertacoo, Rolf Drechsler, and Masahiro Fujita, editors, Algorithms and Applications for Next Generation SAT Solvers. IBFI, Schloss Dagstuhl, Germany, 2009. Dagstuhl Seminar Proceedings 09461. 11 pages.
(11 pages, gzipped PostScript: 330kb via HTTP, uncompressed PostScript: 4877kb via HTTP)

[Gogolla, 2009c]
Martin Gogolla. Unified Modeling Language. In Ling Liu and M. Tamer Öszu, editors, Encyclopedia of Database Systems, pages 3232-3239. Springer, Berlin, 2009.

[Gogolla et al., 2009]
Martin Gogolla, Mirco Kuhlmann, and Lars Hamann. Consistency, Independence and Consequences in UML and OCL Models. In Catherine Dubois, editor, Proc. 3rd Int. Conf. Test and Proof (TAP'2009), pages 90-104. Springer, Berlin, LNCS 5668, 2009.
(16 pages, gzipped PostScript: 206kb via HTTP, uncompressed PostScript: 2441kb via HTTP)

[Kuske et al., 2009]
Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, and Paul Ziemann. Towards an Integrated Graph-Based Semantics for UML. Journal on Software and System Modeling, 8(3):403-422, 2009.
(19 pages, gzipped PostScript: 6533kb via HTTP, uncompressed PostScript: 10475kb via HTTP, PDF: 489kb via HTTP)

[Akehurst et al., 2008]
Dave Akehurst, Martin Gogolla, and Steffen Zschaler, editors. Proc. OCL4ALL - Modelling Systems with OCL, http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2008. Electronic Communications of the EASST, Vol. 9. Satellite Events at the MoDELS'2007 Conference.

[Büttner et al., 2008]
Fabian Büttner, Mirco Kuhlmann, Martin Gogolla, Jens Dietrich, Frank Steimke, Andre Pankratz, Alina Stosiek, and Alexander Salomon. MDA Employed in a Joint eGovernment Strategy: An Experience Report. In Terry Bailey, editor, Proc. 3rd ECMDA Workshop ``From Code Centric To Model Centric Software Engineering'' (2008), http://www.esi.es/modelplex/c2m/program.php, 2008. European Software Institute.
(13 pages, gzipped PostScript: 289kb via HTTP, uncompressed PostScript: 711kb via HTTP)

[Dang, 2008]
Duc-Hanh Dang. Triple Graph Grammars and OCL for Validating System Behavior. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, and Gabriele Taentzer, editors, Proc. 4th Int. Conf. Graph Transformations (ICGT'2008), pages 481-483. Springer, Berlin, LNCS 5214, 2008.
(3 pages, gzipped PostScript: 52kb via HTTP, uncompressed PostScript: 106kb via HTTP)

[Gogolla, 2008a]
Martin Gogolla. On Horizontal and Vertical Relationships between Models. In Uwe Aßmann, Jean Bézivin, Richard Paige, Bernhard Rumpe, and Douglas C. Schmidt, editors, Perspectives Workshop: Model Engineering of Complex Systems (MECS). IBFI, Schloss Dagstuhl, Germany, 2008. Dagstuhl Seminar Proceedings 08331. 4 pages.
(4 pages, gzipped PostScript: 107kb via HTTP, uncompressed PostScript: 1544kb via HTTP)

[Gogolla, 2008b]
Martin Gogolla. Teaching Touchy Transformations. In Michal Smialek, editor, MODELS Educators' Symposium (EDUSYMP'2008), pages 13-25. Warsaw University, ISBN 83-916444-8-0, 2008.
(13 pages, gzipped PostScript: 167kb via HTTP, uncompressed PostScript: 2235kb via HTTP, PDF: 135kb via HTTP)

[Gogolla et al., 2008a]
Martin Gogolla, Fabian Büttner, and Duc-Hanh Dang. From Graph Transformation to OCL using USE. In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), pages 585-586. Springer, Berlin, LNCS 5088, 2008.
(2 pages, gzipped PostScript: 104kb via HTTP, uncompressed PostScript: 1693kb via HTTP)

[Gogolla et al., 2008b]
Martin Gogolla, Fabian Büttner, and Mirco Kuhlmann. System Modeling with USE (UML-based Specification Environment). Genie Logiciel (French Software Engineering Journal), 85:57-58, 2008. ISSN 0295-6322.
(3 pages, gzipped PostScript: 175kb via HTTP, uncompressed PostScript: 528kb via HTTP)

[Gogolla et al., 2008c]
Martin Gogolla, Mirco Kuhlmann, and Fabian Büttner. A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. In Krzysztof Czarnecki, editor, Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2008), pages 446-459. Springer, Berlin, LNCS 5301, 2008.
(15 pages, gzipped PostScript: 160kb via HTTP, uncompressed PostScript: 423kb via HTTP)

[Kuhlmann and Gogolla, 2008a]
Mirco Kuhlmann and Martin Gogolla. Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. Electronic Communications of the EASST, http://eceasst.cs.tu-berlin.de/index.php/eceasst, 9, 2008. UML/MoDELS Workshop on OCL (OCL4ALL'2007), 17 Pages.
(18 pages, gzipped PostScript: 744kb via HTTP, uncompressed PostScript: 4735kb via HTTP)

[Kuhlmann and Gogolla, 2008b]
Mirco Kuhlmann and Martin Gogolla. Modeling and Validating Mondex Scenarios Described in UML and OCL with USE. Formal Aspects of Computing, 20(1):79-100, 2008.
(25 pages, gzipped PostScript: 726kb via HTTP, uncompressed PostScript: 28464kb via HTTP)

[Mustafa et al., 2008]
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, and Stefan Kowski. Implementing Advanced RBAC Administration Functionality with USE. Electronic Communications of the EASST, http://eceasst.cs.tu-berlin.de/index.php/eceasst, 15, 2008. MoDELS Workshop on OCL (OCL Concepts and Tools 2008), 19 Pages.
(19 pages, gzipped PostScript: 790kb via HTTP, uncompressed PostScript: 1980kb via HTTP)

[Sohr et al., 2008]
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, and Martin Gogolla. Analysing and Managing Role-Based Access Control Policies. IEEE Transactions on Knowledge and Data Engineering, 20(7):924-939, 2008. Published online 13 March 2008. DOI 10.1109/TKDE.2008.28.
(14 pages, gzipped PostScript: 5437kb via HTTP, uncompressed PostScript: 24166kb via HTTP, PDF: 475kb via HTTP)

[Varro et al., 2008]
Daniel Varro, Mark Asztalos, Denes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiss, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, and Erhard Weinell. Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), pages 540-565. Springer, Berlin, LNCS 5088, 2008.
(26 pages, gzipped PostScript: 1011kb via HTTP, uncompressed PostScript: 17896kb via HTTP, PDF: 645kb via HTTP)

[Akehurst et al., 2007]
Dave Akehurst, Martin Gogolla, and Steffen Zschaler. OCL4ALL - Modelling Systems with OCL. In Holger Giese, editor, Satellite Events at the MoDELS'2007 Conference, pages 176-181. Springer, Berlin, LNCS 5002, 2007.
(6 pages, gzipped PostScript: 79kb via HTTP, uncompressed PostScript: 157kb via HTTP)

[Dang, 2007]
Duc-Hanh Dang. Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. In Claudia Pons, editor, Proc. Doctoral Symposium ACM/IEEE 10th Int. Conf. Model-Driven Engineering Languages and Systems, http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/, 2007. CEUR Workshop Proceedings, Vol. 262. 5 pages.
(5 pages, gzipped PostScript: 86kb via HTTP, uncompressed PostScript: 181kb via HTTP)

[Gogolla, 2007]
Martin Gogolla. Model Development in the UML-based Specification Environment (USE). In Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa, editors, Methods for Modelling Software Systems (MMOSS). IBFI, Schloss Dagstuhl, Germany, 2007. Dagstuhl Seminar Proceedings 06351. 3 pages.
(3 pages, gzipped PostScript: 60kb via HTTP, uncompressed PostScript: 122kb via HTTP)

[Gogolla et al., 2007]
Martin Gogolla, Fabian Büttner, and Mark Richters. USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming, 69:27-34, 2007.
(12 pages, gzipped PostScript: 196kb via HTTP, uncompressed PostScript: 3118kb via HTTP, PDF: 365kb via HTTP)

[Bezivin et al., 2006]
Jean Bezivin, Fabian Büttner, Martin Gogolla, Frederic Jouault, Ivan Kurtev, and Arne Lindow. Model Transformations? Transformation Models! In Oscar Nierstrasz, Jon Whittle, David Harel, and Gianna Reggio, editors, Proc. 9th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2006). Springer, Berlin, LNCS 4199, 2006.
(15 pages, gzipped PostScript: 330kb via HTTP, uncompressed PostScript: 7278kb via HTTP)

[Büttner and Bauerdick, 2006]
Fabian Büttner and Hanna Bauerdick. Realizing UML Model Transformations with USE. In Dan Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer, editors, UML/MoDELS Workshop on OCL (OCLApps'2006), pages 96-110. Technical University of Dresden, Technical Report TUD-FI06, 2006.
(16 pages, gzipped PostScript: 131kb via HTTP, uncompressed PostScript: 421kb via HTTP)

[Büttner and Gogolla, 2006]
Fabian Büttner and Martin Gogolla. Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, and Gregorz Rozenberg, editors, Proc. 3rd Int. Conf. Graph Transformations (ICGT'2006), pages 398-412. Springer, Berlin, LNCS 4178, 2006.
(15 pages, gzipped PostScript: 200kb via HTTP, uncompressed PostScript: 2004kb via HTTP)

[Chiorean et al., 2006a]
Dan Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer. OCL for (Meta-)Models in Multiple Application Domains. In Thomas Kühne, editor, Satellite Events at the MoDELS'2006 Conference, pages 152-158. Springer, Berlin, LNCS 4364, 2006.
(6 pages, gzipped PostScript: 90kb via HTTP, uncompressed PostScript: 185kb via HTTP)

[Chiorean et al., 2006b]
Dan Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer, editors. Proc. OCL for (Meta-)Models in Multiple Application Domains, http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2006. Electronic Communications of the EASST, Vol. 5. Satellite Events at the MoDELS'2006 Conference.

[Hölscher et al., 2006]
Karsten Hölscher, Paul Ziemann, and Martin Gogolla. On Translating UML Models into Graph Transformation Systems. Journal of Visual Languages and Computing, 17(1):78-105, 2006.
(30 pages, gzipped PostScript: 528kb via HTTP, uncompressed PostScript: 4842kb via HTTP, PDF: 441kb via HTTP)

[Mwatawala et al., 2006]
Maulid W. Mwatawala, Arne Lindow, Martin Gogolla, and Marc De Meyer. Employing the Unified Modeling Language (UML) and Relational Modeling Concepts for the Development of a Schema for Fruit Flies. In Eyas El-Qawasmeh, editor, Proc. 4th Int. Multiconference on Computer Science and Information Technology (CSIT'2006). Applied Science University (ASU), Amman, Jordan, 2006.
(12 pages, gzipped PostScript: 482kb via HTTP, uncompressed PostScript: 2505kb via HTTP)

[Vidacs et al., 2006]
Laszlo Vidacs, Martin Gogolla, and Rudolf Ferenc. From C++ Refactorings to Graph Transformations. In Jean-Marie Favre, Reiko Heckel, and Tom Mens, editors, Proc. ICGT'2006 Workshop Software Evolution and Transformation (SETRA'2006), pages 127-141. Electronic Communications of EASST (European Association of Software Science and Technology), 2006.
(15 pages, gzipped PostScript: 1644kb via HTTP, uncompressed PostScript: 12636kb via HTTP)

[Baar et al., 2005]
Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hu▀mann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer. Tool Support for OCL and Related Formalisms - Needs and Trends. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005 Conference, pages 1-9. Springer, Berlin, LNCS 3844, 2005.
(9 pages, gzipped PostScript: 112kb via HTTP, uncompressed PostScript: 227kb via HTTP, PDF: 129kb via HTTP)

[Büttner, 2005]
Fabian Büttner. Transformation-Based Structure Model Evolution. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005 Conference, pages 339-340. Springer, Berlin, LNCS 3844, 2005.
(5 pages, gzipped PostScript: 19kb via HTTP, uncompressed PostScript: 67kb via HTTP)

[Büttner et al., 2005]
Fabian Büttner, Hanna Bauerdick, and Martin Gogolla. Towards Transformation of Integrity Constraints and Database States. In Danielle C. Martin, editor, Proc. Dexa'2005 Workshop Logical Aspects and Applications of Integrity Constraints (LAAIC'2005), pages 823-828. IEEE, Los Alamitos, 2005.
(6 pages, gzipped PostScript: 57kb via HTTP, uncompressed PostScript: 190kb via HTTP)

[Czarnecki et al., 2005]
Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, and Tom Mens. Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005). In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005 Conference, pages 151-159. Springer, Berlin, LNCS 3844, 2005.
(9 pages, gzipped PostScript: 39kb via HTTP, uncompressed PostScript: 95kb via HTTP)

[Ermel et al., 2005]
Claudia Ermel, Karsten Hölscher, Sabine Kuske, and Paul Ziemann. Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. In IEEE, editor, Proc. IEEE Symposium Visual Languages and Human-Centric Computing (VL/HCC'05), pages 125-133, 2005.
(9 pages, gzipped PostScript: 374kb via HTTP, uncompressed PostScript: 948kb via HTTP, PDF: 206kb via HTTP)

[Gogolla, 2005a]
Martin Gogolla. Exploring ER and RE Syntax and Semantics with Metamodel Object Diagrams. In Peter J. Nürnberg, editor, ACM Int. Conf. Proceeding Series (Vol. 214), Proc. Metainformatics Symposium (MIS'2005). ACM Press, New York, 2005. ACM Digital Library, 12 pages.
(12 pages, gzipped PostScript: 223kb via HTTP, uncompressed PostScript: 1000kb via HTTP)

[Gogolla, 2005b]
Martin Gogolla. Tales of ER and RE Syntax and Semantics. In James R. Cordy, Ralf Lämmel, and Andreas Winter, editors, Transformation Techniques in Software Engineering. IBFI, Schloss Dagstuhl, Germany, 2005. Dagstuhl Seminar Proceedings 05161. 51 pages.
(51 pages, gzipped PostScript: 339kb via HTTP, uncompressed PostScript: 1582kb via HTTP)

[Gogolla et al., 2005a]
Martin Gogolla, Jörn Bohling, and Mark Richters. Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling, 4(4):386-398, 2005.
(24 pages, gzipped PostScript: 249kb via HTTP, uncompressed PostScript: 731kb via HTTP)

[Gogolla et al., 2005b]
Martin Gogolla, Jean-Marie Favre, and Fabian Büttner. On Squeezing M0, M1, M2, and M3 into a Single Object Diagram. In Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer, editors, Proc. MoDELS'2005 Workshop Tool Support for OCL and Related Formalisms. In: Satellite Events at MoDELS'2005 Conference. Jean-Michel Bruel (Ed.). Springer, Berlin, LNCS 3844. Long Version: EPFL (Switzerland), Technical Report LGL-REPORT-2005-001, 2005.
(14 pages, gzipped PostScript: 206kb via HTTP, uncompressed PostScript: 4894kb via HTTP)

[Sohr et al., 2005]
Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, and Lars Migge. Specification and Validation of Authorization Constraints using UML and OCL. In Sabrina DeCapitani, Paul F. Syverson, and Dieter Gollmann, editors, Proc. 10th European Symp. Research in Computer Security (ESORICS'2005), pages 64-79. Springer, Berlin, LNCS 3679, 2005.
(16 pages, gzipped PostScript: 791kb via HTTP, uncompressed PostScript: 6131kb via HTTP, PDF: 404kb via HTTP)

[Ziemann, 2005]
Paul Ziemann. An Integrated Operational Semantics for a UML Core Based on Graph Transformation. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2005.

[Bauerdick et al., 2004]
Hanna Bauerdick, Martin Gogolla, and Fabian Gutsche. Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. In Thomas Baar, Alfred Strohmeier, Ana Moreira, and Stephen J. Mellor, editors, Proc. 7th Int. Conf. Unified Modeling Language (UML'2004), pages 188-197. Springer, Berlin, LNCS 3273, 2004.
(10 pages, gzipped PostScript: 52kb via HTTP, uncompressed PostScript: 131kb via HTTP)

[Bezivin et al., 2004]
Jean Bezivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer. OCL and Model Driven Engineering Workshop Report. In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, and Ambrosio Toval Alvarez, editors, UML'2004 Modeling Languages and Applications. UML'2004 Satellite Activities. Revised Selected Papers, pages 67-75. Springer, Berlin, LNCS 3297, 2004.
(9 pages, gzipped PostScript: 31kb via HTTP, uncompressed PostScript: 158kb via HTTP)

[Bisanz et al., 2004]
Stefan Bisanz, Paul Ziemann, and Arne Lindow. Integrated Specification, Validation and Verification with HybridUML and OCL Applied to the BART Case Study. In E. Schnieder and G. Tarnai, editors, Proc. Conf. Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT'2004), 2004.
(13 pages, gzipped PostScript: 2325kb via HTTP, uncompressed PostScript: 5587kb via HTTP)

[Büttner and Gogolla, 2004a]
Fabian Büttner and Martin Gogolla. On Generalization and Overriding in UML 2.0. In Jean Bezivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer, editors, Proc. UML'2004 Workshop OCL and Model Driven Engineering, pages 69-69. In: UML - Modeling Languages and Applications. Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez (Eds). LNCS 3297, Springer Verlag. Long version: University of Kent, http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/, 2004.
(15 pages, gzipped PostScript: 155kb via HTTP, uncompressed PostScript: 362kb via HTTP)

[Büttner and Gogolla, 2004b]
Fabian Büttner and Martin Gogolla. Realizing UML Metamodel Transformations with AGG. In Reiko Heckel, editor, Proc. ETAPS Workshop Graph Transformation and Visual Modeling Techniques (GT-VMT'2004). Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 2004.
(12 pages, gzipped PostScript: 560kb via HTTP, uncompressed PostScript: 8829kb via HTTP)

[Büttner et al., 2004]
Fabian Büttner, Oliver Radfelder, Arne Lindow, and Martin Gogolla. Digging into the Visitor Pattern. In Frank Maurer and Günther Ruhe, editors, Proc. IEEE 16th Int. Conf. Software Engineering and Knowlege Engineering (SEKE'2004). IEEE, Los Alamitos, 2004.
(7 pages, gzipped PostScript: 48kb via HTTP, uncompressed PostScript: 168kb via HTTP)

[Gogolla, 2004a]
Martin Gogolla. (An Example for) Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. In Jean Bezivin and Reiko Heckel, editors, Proc. Dagstuhl Seminar on Language Engineering for Model-Driven Software Development. Schloss Dagstuhl Int. Conf. and Research Center for Computer Science, http://www.dagstuhl.de/04101/, 2004.
(10 pages, gzipped PostScript: 134kb via HTTP, uncompressed PostScript: 877kb via HTTP)

[Gogolla, 2004b]
Martin Gogolla. Benefits and Problems of Formal Methods. In Albert Llamosi and Alfred Strohmeier, editors, Proc. 9th Int. Conf. Reliable Software Technologies Ada-Europe (RST'2004), pages 1-15. Springer, Berlin, LNCS 3063, 2004.
(15 pages, gzipped PostScript: 83kb via HTTP, uncompressed PostScript: 288kb via HTTP)

[Gogolla and Ziemann, 2004]
Martin Gogolla and Paul Ziemann. Checking BART Test Scenarios with UML's Object Constraint Language. In Fabrice Kordon and Michel Lemoine, editors, Formal Methods for Embedded Distributed Systems - How to master the complexity, pages 133-170. Kluwer, 2004.
(38 pages, gzipped PostScript: 193kb via HTTP, uncompressed PostScript: 1089kb via HTTP)

[Gogolla et al., 2004a]
Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, and Paul Ziemann. Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. In Bernhard Rumpe and Wolfgang Hesse, editors, Proc. Modellierung'2004, pages 281-282. Gesellschaft für Informatik, LNI P-45, 2004.
(2 pages, gzipped PostScript: 11kb via HTTP, uncompressed PostScript: 25kb via HTTP)

[Gogolla et al., 2004b]
Martin Gogolla, Paul Sammut, and Jon Whittle. Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, and Ambrosio Toval Alvarez, editors, UML'2004 Modeling Languages and Applications. UML'2004 Satellite Activities. Revised Selected Papers, pages 43-51. Springer, Berlin, LNCS 3297, 2004.
(10 pages, gzipped PostScript: 42kb via HTTP, uncompressed PostScript: 102kb via HTTP)

[Krieg-Brückner et al., 2004]
Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, and George Russell. Semantic Interrelation of Documents via an Ontology. In Gregor Engels and Silke Seehusen, editors, Proc. 2. Deutsche e-Learning Fachtagung Informatik (DeLFI'2004), pages 271-282. Gesellschaft für Informatik, LNI P-52, 2004.

[Lindow and Gogolla, 2004]
Arne Lindow and Martin Gogolla. Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke. In Gregor Engels and Silke Seehusen, editors, Proc. 2. Deutsche e-Learning Fachtagung Informatik (DeLFI'2004), pages 393-394. Gesellschaft für Informatik, LNI P-52, 2004.
(2 pages, gzipped PostScript: 10kb via HTTP, uncompressed PostScript: 24kb via HTTP)

[Ziemann et al., 2004a]
Paul Ziemann, Karsten Hölscher, and Martin Gogolla. Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. In Arnaldo Moura and Alexandre Mota, editors, Proc. Brazilian Symposium on Formal Methods (SBMF'2004). Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 2004.
(15 pages, gzipped PostScript: 178kb via HTTP, uncompressed PostScript: 549kb via HTTP)

[Ziemann et al., 2004b]
Paul Ziemann, Karsten Hölscher, and Martin Gogolla. From UML Models to Graph Transformation Systems. In Mark Minas, editor, Proc. Workshop Visual Languages and Formal Methods (VLFM'2004). Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 2004.
(16 pages, gzipped PostScript: 267kb via HTTP, uncompressed PostScript: 808kb via HTTP)

[Bezivin and Gogolla, 2003]
Jean Bezivin and Martin Gogolla, editors. Proc. 2nd UML Workshop in Software Model Engineering (WiSME'2003). www.metamodel.com, 2003. http://www.metamodel.com/wisme-2003/.

[Gogolla and Lindow, 2003]
Martin Gogolla and Arne Lindow. Transforming Data Models with UML. In Borys Omelayenko and Michel Klein, editors, Knowledge Transformation for the Semantic Web, pages 18-33. IOS Press, Amsterdam, Amsterdam, 2003.
(15 pages, gzipped PostScript: 124kb via HTTP, uncompressed PostScript: 1519kb via HTTP)

[Gogolla et al., 2003a]
Martin Gogolla, Jörn Bohling, and Mark Richters. Validation of UML and OCL Models by Automatic Snapshot Generation. In Grady Booch, Perdita Stevens, and Jonathan Whittle, editors, Proc. 6th Int. Conf. Unified Modeling Language (UML'2003), pages 265-279. Springer, Berlin, LNCS 2863, 2003.
(15 pages, gzipped PostScript: 113kb via HTTP, uncompressed PostScript: 462kb via HTTP)

[Gogolla et al., 2003b]
Martin Gogolla, Mark Richters, and Jörn Bohling. Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation. In Jarr Eloff, Andries Engelbrecht, Paula Kotze, and Mariki Eloff, editors, Proc. Annual Research Conf. South African Institute of Computer Scientists and Information Technologists on Enablement through Technology (SAICSIT'2003), pages 248-257. ACM International Conference Proceedings Series, 2003.
(10 pages, gzipped PostScript: 202kb via HTTP, uncompressed PostScript: 2858kb via HTTP)

[Kollmann, 2003]
Ralf Kollmann. Design Recovery Techniques for Object-Oriented Software Systems. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2003.

[Krieg-Brückner et al., 2003]
Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, and Martin Wirsing. MultiMedia Instruction in Safe and Secure Systems. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Proc. 16th Int. Workshop Abstract Data Types (WADT'02), pages 82-117. Springer, Berlin, LNCS 2755, 2003.
(38 pages, gzipped PostScript: 1452kb via HTTP, uncompressed PostScript: 8909kb via HTTP)

[Radfelder, 2003]
Oliver Radfelder. Dreidimensionale, interaktive und animierte Softwarevisualisierung zur Unterstützung im Softwareentwicklungsprozess. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2003.

[Richters and Gogolla, 2003]
Mark Richters and Martin Gogolla. Aspect-Oriented Monitoring of UML and OCL Constraints. In Omar Aldawud, Mohamed Kande, Grady Booch, Bill Harrison, Dominik Stein, Jeff Gray, Siobhan Clarke, Aida Zakaria, Peri Tarr, and Faisal Akkawi, editors, Proc. UML'2003 Workshop Aspect-Oriented Software Development with UML. Illinois Institute of Technology, Department of Computer Science, http://www.cs.iit.edu/ oaldawud/AOM/index.htm, 2003.
(7 pages, gzipped PostScript: 191kb via HTTP, uncompressed PostScript: 884kb via HTTP)

[Ziemann and Gogolla, 2003a]
Paul Ziemann and Martin Gogolla. An OCL Extension for Formulating Temporal Constraints. Research Report 1/03, Universität Bremen, 2003.
(20 pages, gzipped PostScript: 179kb via HTTP, uncompressed PostScript: 444kb via HTTP)

[Ziemann and Gogolla, 2003b]
Paul Ziemann and Martin Gogolla. OCL Extended with Temporal Logic. In Manfred Broy and Alexandre Zamulin, editors, 5th Int. Conf. Perspectives of System Informatics (PSI'2003), pages 351-357. Springer, Berlin, LNCS 2890, 2003.
(7 pages, gzipped PostScript: 110kb via HTTP, uncompressed PostScript: 231kb via HTTP)

[Ziemann and Gogolla, 2003c]
Paul Ziemann and Martin Gogolla. Validating OCL Specifications with the USE Tool - An Example Based on the BART Case Study. In Thomas Arts and Wan Fokkink, editors, Proc. 8th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS'2003). Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 80, Elsevier, 2003.
(13 pages, gzipped PostScript: 188kb via HTTP, uncompressed PostScript: 695kb via HTTP)

[Gogolla, 2002]
Martin Gogolla. Editorial for the Special Issue on the UML 2001 Conference. Software and System Modeling (SoSyM), 1(2):83-85, 2002.

[Gogolla and Henderson-Sellers, 2002]
Martin Gogolla and Brian Henderson-Sellers. Formal Analysis of UML Stereotypes within the UML Metamodel. In Steve Cook, Heinrich Hussmann, and Jean-Marc Jezequel, editors, Proc. 5th Int. Conf. Unified Modeling Language (UML'2002), pages 84-99. Springer, Berlin, LNCS 2460, 2002.
(15 pages, gzipped PostScript: 235kb via HTTP, uncompressed PostScript: 3535kb via HTTP)

[Gogolla and Richters, 2002]
Martin Gogolla and Mark Richters. Development of UML Descriptions with USE. In Hassan Shafazand and A Min Tjoa, editors, Proc. 1st Eurasian Conf. Information and Communication Technology (EURASIA'2002), pages 228-238. Springer, Berlin, LNCS 2510, 2002.
(12 pages, gzipped PostScript: 196kb via HTTP, uncompressed PostScript: 5467kb via HTTP)

[Gogolla et al., 2002a]
Martin Gogolla, Arne Lindow, Mark Richters, and Paul Ziemann. Metamodel Transformation of Data Models. In Jean Bezivin and Robert France, editors, Proc. UML'2002 Workshop in Software Model Engineering (WiSME 2002). http://www.metamodel.com/wisme-2002, 2002.
(8 pages, gzipped PostScript: 124kb via HTTP, uncompressed PostScript: 947kb via HTTP)

[Gogolla et al., 2002b]
Martin Gogolla, Paul Ziemann, and Sabine Kuske. Towards an Integrated Graph Based Semantics for UML. In Paolo Bottoni and Mark Minas, editors, Proc. ICGT Workshop Graph Transformation and Visual Modeling Techniques (GT-VMT'2002). Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 72, No. 3, Elsevier, 2002.
(16 pages, gzipped PostScript: 95kb via HTTP, uncompressed PostScript: 328kb via HTTP)

[Kollmann and Gogolla, 2002]
Ralf Kollmann and Martin Gogolla. Metric-Based Selective Representation of UML Diagrams. In Tibor Gyimóthy and Fernando Brito e Abreu, editors, Proc. 6th European Conf. Software Maintenance and Reengineering (CSMR'02). IEEE, Los Alamitos, 2002.
(10 pages, gzipped PostScript: 295kb via HTTP, uncompressed PostScript: 1929kb via HTTP)

[Kollmann et al., 2002]
Ralf Kollmann, Petri Selonen, Eleni Stroulia, Tarja Systä, and Albert Zündorf. A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering. In Elizabeth Burd and Arie van Deursen, editors, Proc. 9th Working Conf. Reverse Engineering (WCRE'02). IEEE, Los Alamitos, 2002.
(11 pages, gzipped PostScript: 48kb via HTTP, uncompressed PostScript: 391kb via HTTP)

[Kuske et al., 2002]
Sabine Kuske, Martin Gogolla, Ralf Kollmann, and Hans-Jörg Kreowski. An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation. In Michael Butler and Kaisa Sere, editors, 3rd Int. Conf. Integrated Formal Methods (IFM'02), pages 11-28. Springer, Berlin, LNCS 2335, 2002.
(19 pages, gzipped PostScript: 109kb via HTTP, uncompressed PostScript: 494kb via HTTP)

[Richters, 2002]
Mark Richters. A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin, BISS Monographs, No. 14, 2002.

[Wang et al., 2002]
Rui-Jin Wang, Hui-Chuan Duan, and Martin Gogolla. Unified Modeling Language and Its Application to Modeling. Application Research of Computers, 19(8):80-84, 2002. ISSN 1001-3695.
(5 pages, gzipped PostScript: 1269kb via HTTP, uncompressed PostScript: 3558kb via HTTP)

[Ziemann and Gogolla, 2002]
Paul Ziemann and Martin Gogolla. An Extension of OCL with Temporal Logic. In Jan Jürjens, editor, Proc. UML'2002 Workshop Critical System Development (CSD 2002). Technical Report, Technical University of Munich, 2002.
(10 pages, gzipped PostScript: 139kb via HTTP, uncompressed PostScript: 295kb via HTTP)

[Barbier et al., 2001]
Franck Barbier, Brian Henderson-Sellers, Andreas Opdahl, and Martin Gogolla. The Whole-Part Relationship in Object-Oriented Modeling. In Keng Siau and Terry Halpin, editors, Unified Modeling Language: Systems Analysis, Design, and Development Issues, pages 186-209. Idea Group Publishing, Hershey (PA), USA, 2001.
(20 pages, gzipped PostScript: 414kb via HTTP, uncompressed PostScript: 1058kb via HTTP)

[Gogolla, 2001a]
Martin Gogolla. Formal Methods versus UML's OCL. In Stefan Jähnichen, Jeff Kramer, Michel Lemoine, and Martin Wirsing, editors, Can Formal Methods Cope with Software-Intensive Systems, pages 19-20. Dagstuhl-Seminar-Report 308, 2001.
(2 pages, gzipped PostScript: 60kb via HTTP, uncompressed PostScript: 1314kb via HTTP)

[Gogolla, 2001b]
Martin Gogolla. Using OCL for Defining Precise, Domain-Specific UML Stereotypes. In Aybuke Aurum and Ross Jeffery, editors, Proc. 6th Australian Workshop on Requirements Engineering (AWRE'2001), pages 51-60. Centre for Advanced Software Engineering Research (CAESER), University of New South Wales, Sydney, 2001.
(10 pages, gzipped PostScript: 98kb via HTTP, uncompressed PostScript: 349kb via HTTP)

[Gogolla and Kobryn, 2001]
Martin Gogolla and Cris Kobryn, editors. Proc. 4th Int. Conf. Unified Modeling Language (UML'2001). Springer, Berlin, LNCS 2185, 2001.

[Gogolla and Richters, 2001]
Martin Gogolla and Mark Richters. Expressing UML Class Diagrams Properties with OCL. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 86-115. Springer, Berlin, LNCS 2263, 2001.
(29 pages, gzipped PostScript: 96kb via HTTP, uncompressed PostScript: 747kb via HTTP)

[Kollmann and Gogolla, 2001a]
Ralf Kollmann and Martin Gogolla. Application of the UML Associations and Their Adornments in Design Recovery. In Peter Aiken and Elizabeth Burd, editors, Proc. 8th Working Conference on Reverse Engineering (WCRE'2001). IEEE, Los Alamitos, 2001.
(10 pages, gzipped PostScript: 53kb via HTTP, uncompressed PostScript: 163kb via HTTP)

[Kollmann and Gogolla, 2001b]
Ralf Kollmann and Martin Gogolla. Capturing Dynamic Program Behaviour with UML Collaboration Diagrams. In Pedro Sousa and Jürgen Ebert, editors, Proc. 5th European Conf. Software Maintenance and Reengineering (CSMR'01), pages 58-67. IEEE, Los Alamitos, 2001.
(10 pages, gzipped PostScript: 37kb via HTTP, uncompressed PostScript: 137kb via HTTP)

[Kollmann and Gogolla, 2001c]
Ralf Kollmann and Martin Gogolla. Selektive Darstellung von Programmstrukturen mit UML. In Jürgen Ebert and Franz Lehner, editors, Proc. 3. Workshop Software-Reengineering. Universität Koblenz, Technischer Bericht, http://www.uni-koblenz.de/ ist/WSR2001, 2001.
(6 pages, gzipped PostScript: 54kb via HTTP, uncompressed PostScript: 133kb via HTTP)

[Lindow et al., 2001]
Arne Lindow, Martin Gogolla, and Mark Richters. Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. In K. Bauknecht, W. Brauer, and T. Mück, editors, Proc. GI Jahrestagung (GI'2001), Band 1, Workshop Integrating Diagrammatic and Formal Specification Techniques, pages 662-669. Austrian Computer Society, Wien, 2001.
(8 pages, gzipped PostScript: 111kb via HTTP, uncompressed PostScript: 3854kb via HTTP)

[Richters and Gogolla, 2001]
Mark Richters and Martin Gogolla. OCL - Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 43-69. Springer, Berlin, LNCS 2263, 2001.
(27 pages, gzipped PostScript: 135kb via HTTP, uncompressed PostScript: 524kb via HTTP)

[Warmer et al., 2001]
Jos Warmer, Anneke Kleppe, Tony Clark, Anders Ivner, Jonas Högström, Martin Gogolla, Mark Richters, Heinrich Hussmann, Steffen Zschaler, Simon Johnston, David S. Frankel, and Conrad Bock. Object Constraint Language 2.0. Technical report, Submission to the OMG, 2001.
(155 pages, gzipped PostScript: 889kb via HTTP, uncompressed PostScript: 4317kb via HTTP)

[Gärtner, 2000]
Heino Gärtner. Schematransformationen in objektorientierten Informationssystemen. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Shaker Verlag, Aachen, 2000.

[Gogolla, 2000]
Martin Gogolla. Graph Transformations on the UML Metamodel. In Jose D.P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, and Joe B. Wells, editors, Proc. ICALP Workshop Graph Transformations and Visual Modeling Techniques (GTVMT'2000), pages 359-371. Carleton Scientific, Waterloo, Ontario, Canada, 2000.
(13 pages, gzipped PostScript: 91kb via HTTP, uncompressed PostScript: 371kb via HTTP)

[Gogolla and Kollmann, 2000]
Martin Gogolla and Ralf Kollmann. Re-Documentation of Java with UML Class Diagrams. In Eliot Chikofsky, editor, Proc. 7th Reengineering Forum, Reengineering Week 2000 Zürich, pages REF 41-REF 48. Reengineering Forum, Burlington, Massachusetts, 2000.
(9 pages, gzipped PostScript: 67kb via HTTP, uncompressed PostScript: 199kb via HTTP)

[Gogolla and Richters, 2000]
Martin Gogolla and Mark Richters. Definition von UML mit UML und OCL: Ein Überblick zum Stand der Technik. In Mario Jeckle, Bernhard Rumpe, Andy Schürr, and Andreas Winter, editors, Proc. 7. GROOM-Workshop ``UML - Erweiterungen (Profile) und Konzepte der Metamodellierung''. Universität Koblenz-Landau, Fachbereich Informatik, 2000. Auch: Softwaretechnik-Trends, 20:2, 2000, ISSN 0720-8928.
(2 pages, gzipped PostScript: 17kb via HTTP, uncompressed PostScript: 38kb via HTTP)

[Gogolla et al., 2000]
Martin Gogolla, Oliver Radfelder, Ralf Kollmann, and Mark Richters. Analysing Atomic Dynamic UML Notions by Surfing through the UML Metamodel. In Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, and Roel Wieringa, editors, Proc. UML'00 Workshop Dynamic Behaviour in UML Models, pages 57-62. LMU München, Informatik-Bericht Nr. 0006, 2000.
(6 pages, gzipped PostScript: 44kb via HTTP, uncompressed PostScript: 153kb via HTTP)

[Huge, 2000]
Anne Kathrin Huge. Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Shaker Verlag, Aachen, 2000.

[Radfelder and Gogolla, 2000]
Oliver Radfelder and Martin Gogolla. On Better Understanding UML Diagrams through Interactive Three-Dimensional Visualization and Animation. In Vito Di Gesu, Stefano Levialdi, and Laura Tarantino, editors, Proc. Advanced Visual Interfaces (AVI'2000), pages 292-295. ACM Press, New York, 2000.
(4 pages, gzipped PostScript: 526kb via HTTP, uncompressed PostScript: 851kb via HTTP)

[Radfelder et al., 2000]
Oliver Radfelder, Martin Gogolla, and Volker Behr. Entwurf und Implementierung eines Internet-basierten Material-Informationssystems. Interner Bericht, Universität Bremen, Fachbereich 3, 2000.
(28 pages, gzipped PostScript: 319kb via HTTP, uncompressed PostScript: 969kb via HTTP)

[Richters and Gogolla, 2000a]
Mark Richters and Martin Gogolla. Validating UML Models and OCL Constraints. In Andy Evans and Stuart Kent, editors, Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000), pages 265-277. Springer, Berlin, LNCS 1939, 2000.
(13 pages, gzipped PostScript: 90kb via HTTP, uncompressed PostScript: 377kb via HTTP)

[Richters and Gogolla, 2000b]
Mark Richters and Martin Gogolla. Validierung von UML-Modellen und OCL-Bedingungen. In Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, and Wolfgang Reif, editors, Proc. GI'2000 Workshop Rigorose Entwicklung software-intensiver Systeme, pages 21-32. LMU München, Informatik-Bericht Nr. 0005, 2000.
(12 pages, gzipped PostScript: 83kb via HTTP, uncompressed PostScript: 328kb via HTTP)

[Astesiano et al., 1999]
Egidio Astesiano, Andy Evans, Robert France, Guy Geniloud, Martin Gogolla, Brian Henderson Sellers, John Howse, Heinrich Hussmann, Shusaku Iida, Stuart Kent, Alain Le Guennec, Tom Mens, Richard Mitchell, Oliver Radfelder, Gianna Reggio, Mark Richters, Bernhard Rumpe, Perdita Stevens, Klaas van den Berg, Pim van den Broek, and Roel Wieringa. UML Semantics FAQ. In Ana Moreira and Serge Demeyer, editors, ECOOP'99 Workshop Reader, pages 33-56. Springer, Berlin, LNCS 1743, 1999.
(25 pages, gzipped PostScript: 952kb via HTTP, uncompressed PostScript: 5795kb via HTTP)

[Gogolla, 1999]
Martin Gogolla. Identifying Objects by Declarative Queries. In Mike P. Papazoglou, Stefano Spaccapietra, and Zahir Tari, editors, Advances in Object-Oriented Data Modeling, pages 255-277. MIT Press, 1999.
(25 pages, gzipped PostScript: 138kb via HTTP, uncompressed PostScript: 682kb via HTTP)

[Gogolla and Richters, 1999]
Martin Gogolla and Mark Richters. Transformation Rules for UML Class Diagrams. In Jean Bezivin and Pierre-Alain Muller, editors, Proc. 1st Int. Workshop Unified Modeling Language (UML'98), pages 92-106. Springer, Berlin, LNCS 1618, 1999.
(15 pages, gzipped PostScript: 87kb via HTTP, uncompressed PostScript: 431kb via HTTP)

[Gogolla et al., 1999a]
Martin Gogolla, Oliver Radfelder, and Mark Richters. A UML Semantics FAQ - The View from Bremen. In S.J.H. Kent, A. Evans, and B. Rumpe, editors, Proc. ECOOP'99 Workshop UML Semantics FAQ. University of Brighton, 1999.
(10 pages, gzipped PostScript: 87kb via HTTP, uncompressed PostScript: 523kb via HTTP)

[Gogolla et al., 1999b]
Martin Gogolla, Oliver Radfelder, and Mark Richters. Towards Three-Dimensional Representation and Animation of UML Diagrams. In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), pages 489-502. Springer, Berlin, LNCS 1723, 1999.
(14 pages, gzipped PostScript: 558kb via HTTP, uncompressed PostScript: 1845kb via HTTP)

[Radfelder et al., 1999]
Oliver Radfelder, Martin Gogolla, and Volker Behr. On Designing and Querying a Material Information System. In M. Türksever, N.Y. Topaloglu, N. Zincir-Heywood, A. Kantarci, C.A. Sürgevil, and Ö. Özmen, editors, Proc. 14th Int. Symposium Computer and Information Science (ISCIS'99), pages 132-142. Ege University, Izmir, 1999.
(11 pages, gzipped PostScript: 33kb via HTTP, uncompressed PostScript: 123kb via HTTP)

[Richters and Gogolla, 1999a]
Mark Richters and Martin Gogolla. A Metamodel for OCL. In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), pages 156-171. Springer, Berlin, LNCS 1723, 1999.
(16 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 265kb via HTTP)

[Richters and Gogolla, 1999b]
Mark Richters and Martin Gogolla. On the Need for a Precise OCL Semantics. In Robert France, Bernhard Rumpe, Brian Henderson-Sellers, Jean-Michel Bruel, and Ana Moreira, editors, Proc. OOPSLA Workshop ``Rigorous Modeling and Analysis with the UML: Challenges and Limitations''. Colorado State University, Fort Collins, Colorado, 1999.
(3 pages, gzipped PostScript: 36kb via HTTP, uncompressed PostScript: 84kb via HTTP)

[Wagner and Gogolla, 1999]
Annika Wagner and Martin Gogolla. Semantics of Object-Oriented Languages. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Gregorz Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume II, Applications, Languages, and Tools, pages 181-211. World Scientific, Singapore, 1999.
(16 pages, gzipped PostScript: 312kb via HTTP, uncompressed PostScript: 714kb via HTTP)

[Cerioli et al., 1998]
Maura Cerioli, Martin Gogolla, Helene Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, and Markus Wolf, editors. Algebraic System Specification and Development - Survey and Annotated Bibliography. Monographs of the Bremen Institute of Safe Systems (BISS). Shaker, Aachen, 1998.
(142 pages, gzipped PostScript: 383kb via HTTP, uncompressed PostScript: 1535kb via HTTP)

[Gogolla, 1998]
Martin Gogolla. UML for the Impatient. Research Report 3/98, Universität Bremen, 1998.
(23 pages, gzipped PostScript: 140kb via HTTP, uncompressed PostScript: 886kb via HTTP)

[Gogolla and Parisi-Presicce, 1998]
Martin Gogolla and Francesco Parisi-Presicce. State Diagrams in UML - A Formal Semantics using Graph Transformation. In Manfred Broy, Derek Coleman, Tom Maibaum, and Bernhard Rumpe, editors, Proc. ICSE'98 Workshop on Precise Semantics of Modeling Techniques (PSMT'98), pages 55-72. Technical University of Munich, Technical Report TUM-I9803, 1998.
(18 pages, gzipped PostScript: 111kb via HTTP, uncompressed PostScript: 649kb via HTTP)

[Gogolla and Richters, 1998]
Martin Gogolla and Mark Richters. On Combing Semi-Formal and Formal Object Specification Techniques. In Francesco Parisi-Presicce, editor, Proc. 12th Int. Workshop Abstract Data Types (WADT'97), pages 238-252. Springer, Berlin, LNCS 1376, 1998.
(16 pages, gzipped PostScript: 77kb via HTTP, uncompressed PostScript: 353kb via HTTP)

[Gogolla et al., 1998]
Martin Gogolla, Anne Kathrin Huge, and Bodo Randt. Stepwise Re-Engineering and Development of Object-Oriented Database Schemata. In Roland R. Wagner, editor, Proc. 9th Int. Workshop Database and Expert Systems Applications (DEXA'98). IEEE, Los Alamitos, 1998.
(6 pages, gzipped PostScript: 40kb via HTTP, uncompressed PostScript: 123kb via HTTP)

[Richters and Gogolla, 1998]
Mark Richters and Martin Gogolla. On Formalizing the UML Object Constraint Language OCL. In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER'98), pages 449-464. Springer, Berlin, LNCS 1507, 1998.
(16 pages, gzipped PostScript: 103kb via HTTP, uncompressed PostScript: 472kb via HTTP)

[Richters et al., 1998]
Mark Richters, Martin Gogolla, and Heino Gärtner. SIGN - Software Implementierung durch Graphische Notation. Interner Bericht, Universität Bremen, Fachbereich 3, 1998.
(9 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 480kb via HTTP)

[Buddrus et al., 1997]
Frank Buddrus, Heino Gärtner, and Sven-Eric Lautemann. First Steps to a Formal Framework for Multilevel Database Modifications. In A. Hameurlain and A Min Tjoa, editors, Proc. 8th Int. Conf. Database and Expert Systems Applications (DEXA'97), pages 240-251. Springer, Berlin, LNCS 1308, 1997.
(13 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 383kb via HTTP)

[Gärtner, 1997]
Heino Gärtner. Perspectives for a Formal Framework for Schema Modification in Object Databases. In D.J. Ram, editor, Proc. 8th Int. Conf. Management of Data (COMAD'97), pages 238-249. Narosa, New Delhi, 1997.
(12 pages, gzipped PostScript: 96kb via HTTP, uncompressed PostScript: 476kb via HTTP)

[Gogolla, 1997]
Martin Gogolla. On Behavioral Model Quality and Transformation. In Stephen W. Liddle, Stephen W. Clyde, and Scott N. Woodfield, editors, Proc. 16th Int. Conf. on Conceptual Modeling (ER'97), Workshop on Behavioral Models and Design Transformations. verb !http://osm7.cs.byu.edu/ER97/workshop4!, 1997.
(4 pages, gzipped PostScript: 54kb via HTTP, uncompressed PostScript: 279kb via HTTP)

[Gogolla and Parisi-Presicce, 1997]
Martin Gogolla and Francesco Parisi-Presicce. State Diagrams in UML - A Formal Semantics using Graph Transformation. Rapporto di Ricerca 97/15, University of Rome `La Sapienza', Dipartimento di Scienze dell' Informazione, 1997.
(19 pages, gzipped PostScript: 112kb via HTTP, uncompressed PostScript: 685kb via HTTP)

[Gogolla and Richters, 1997a]
Martin Gogolla and Mark Richters. On Constraints and Queries in UML. In Martin Schader and Axel Korthaus, editors, Proc. UML'97 Workshop `The Unified Modeling Language - Technical Aspects and Applications', pages 109-121. Physica-Verlag, Heidelberg, 1997.
(14 pages, gzipped PostScript: 86kb via HTTP, uncompressed PostScript: 456kb via HTTP)

[Gogolla and Richters, 1997b]
Martin Gogolla and Mark Richters. Web-Based Object Animation. In Hans-Dieter Ehrich, Yulin Feng, and David Kung, editors, Object-Oriented Software Development, pages 16-16. Dagstuhl-Seminar-Report Nr. 174, 1997.
(1 pages, gzipped PostScript: 15kb via HTTP, uncompressed PostScript: 86kb via HTTP)

[Richters, 1997]
Mark Richters. jtrl User Manual. Internal Report, Universität Bremen, 1997.
(26 pages, gzipped PostScript: 162kb via HTTP, uncompressed PostScript: 921kb via HTTP)

[Richters and Gogolla, 1997a]
Mark Richters and Martin Gogolla. A Web-based Animator for Validating Object Specifications. In Bipin C. Desai and Barry Eaglestone, editors, Proc. Int. Database Engineering and Applications Symposium (IDEAS'97), pages 211-219. IEEE, Los Alamitos, 1997.
(9 pages, gzipped PostScript: 106kb via HTTP, uncompressed PostScript: 701kb via HTTP)

[Richters and Gogolla, 1997b]
Mark Richters and Martin Gogolla. A Web User Interface for an Object Specification Language. In Michel Bidoit, editor, Proc. 7th Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT'97), pages 867-870. Springer, Berlin, LNCS 1214, 1997.
(5 pages, gzipped PostScript: 69kb via HTTP, uncompressed PostScript: 436kb via HTTP)

[Claßen et al., 1996]
Ingo Claßen, Martin Gogolla, and Michael Löwe. Dynamics in Information Systems - An Algebraic Approach to Specification, Construction and Correctness. Forschungsbericht 96/01, Technische Universität Berlin, 1996.
(21 pages, gzipped PostScript: 80kb via HTTP, uncompressed PostScript: 225kb via HTTP)

[Gärtner and Gogolla, 1996]
Heino Gärtner and Martin Gogolla. LASSY - A System for Analysing Grammatical Dependencies in Latin. In Roland R. Wagner and Helmut Thoma, editors, Proc. 7th Int. Workshop Database and Expert Systems Applications (DEXA'96), pages 275-284. IEEE, Los Alamitos, 1996.
(10 pages, gzipped PostScript: 105kb via HTTP, uncompressed PostScript: 577kb via HTTP)

[Gogolla, 1996a]
Martin Gogolla. Parameterizing Object Specifications. In Luigia Aiello, editor, Proc. 4th Int. Symposium Design and Implementation of Symbolic Computation Systems (DISCO'96), pages 126-137. Springer, Berlin, LNCS 1128, 1996.
(12 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 152kb via HTTP)

[Gogolla, 1996b]
Martin Gogolla. Towards Object Visualization by Conceptual Graphs. In Peter W. Eklund, Gerard Ellis, and Graham Mann, editors, Proc. 4th Int. Conf. Conceptual Structures (ICCS'96), Auxiliary Proceedings, pages 175-188. University of New South Wales, Sydney, 1996.
(14 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 240kb via HTTP)

[Gogolla and Richters, 1996]
Martin Gogolla and Mark Richters. An Object Specification Language Implementation with Web User Interface based on Tycoon. In Hartmut Ehrig, Friedrich von Henke, Jose Meseguer, and Martin Wirsing, editors, Specification and Semantics, pages 8-11. Dagstuhl-Seminar-Report Nr. 151, 1996.
(3 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 267kb via HTTP)

[Meyer et al., 1996]
Bernd Meyer, Gerhard D. Westerman, and Martin Gogolla. Drafting ER and OO Schemas in Prototyping Environments. Data and Knowledge Engineering, 19(3):201-240, 1996.
(48 pages, gzipped PostScript: 106kb via HTTP, uncompressed PostScript: 353kb via HTTP)

[Wagner and Gogolla, 1996]
Annika Wagner and Martin Gogolla. Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. Fundamenta Informaticae, 3,4:407-431, 1996.
(25 pages, gzipped PostScript: 93kb via HTTP, uncompressed PostScript: 348kb via HTTP)

[Conrad et al., 1995]
Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, and Hans-Dieter Ehrich. Entwicklung zuverlässiger Informationssysteme. GI EMISA-Forum, 2:25-33, 1995.
(9 pages, gzipped PostScript: 90kb via HTTP, uncompressed PostScript: 234kb via HTTP)

[Gogolla, 1995a]
Martin Gogolla. A Declarative Query Approach to Object Identification. In Mike Papazoglou, editor, Proc. 14th Int. Conf. Object-Oriented and Entity-Relationship Modelling (ER'95), pages 65-76. Springer, Berlin, LNCS 1021, 1995.
(12 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 165kb via HTTP)

[Gogolla, 1995b]
Martin Gogolla. Identifying Objects by Declarative Queries. In Jan Chomicki, Gunter Saake, and Christina Sernadas, editors, The Role of Logics in Information Systems. Dagstuhl-Seminar-Report Nr. 121, 1995.
(1 pages, gzipped PostScript: 16kb via HTTP, uncompressed PostScript: 89kb via HTTP)

[Gogolla, 1995c]
Martin Gogolla. Towards Schema Queries for Semantic Data Models. In Norman Revell and A Min Tjoa, editors, Proc. 6th Int. Conf. and Workshop on Database and Expert Systems Applications (DEXA'95), pages 274-283. ONMIPRESS, San Mateo, 1995.
(10 pages, gzipped PostScript: 66kb via HTTP, uncompressed PostScript: 176kb via HTTP)

[Gogolla and Cerioli, 1995a]
Martin Gogolla and Maura Cerioli. What is an Abstract Data Type, after all? Technical Report PDISI-95-01, Dipartimento di Informatica e Scienze dell'Informazione, Universita di Genova, 1995.
(76 pages, gzipped PostScript: 169kb via HTTP, uncompressed PostScript: 784kb via HTTP)

[Gogolla and Cerioli, 1995b]
Martin Gogolla and Maura Cerioli. What is an Abstract Data Type, after all? In Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors, Proc. 10th Int. Workshop Abstract Data Types (WADT'94), pages 499-523. Springer, Berlin, LNCS 906, 1995.
(26 pages, gzipped PostScript: 72kb via HTTP, uncompressed PostScript: 198kb via HTTP)

[Gogolla and Herzig, 1995a]
Martin Gogolla and Rudolf Herzig. An Algebraic Development Technique for Information Systems. In Vangalur S. Alagar and Maurice Nivat, editors, Proc. 4th Int. Conf. Algebraic Methodology and Software Technology (AMAST'95), pages 446-460. Springer, Berlin, LNCS 936, 1995.
(15 pages, gzipped PostScript: 85kb via HTTP, uncompressed PostScript: 222kb via HTTP)

[Gogolla and Herzig, 1995b]
Martin Gogolla and Rudolf Herzig. An Algebraic Semantics for the Object Specification Language TROLL light. In Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors, Proc. 10th Int. Workshop Abstract Data Types (WADT'94), pages 288-304. Springer, Berlin, LNCS 906, 1995.
(17 pages, gzipped PostScript: 97kb via HTTP, uncompressed PostScript: 256kb via HTTP)

[Gogolla et al., 1995a]
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. A Development Environment for an Object Specification Language. IEEE Transactions on Knowledge and Data Engineering, 7(3):505-508, 1995.
(6 pages, gzipped PostScript: 64kb via HTTP, uncompressed PostScript: 300kb via HTTP)

[Gogolla et al., 1995b]
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis, and Hans-Dieter Ehrich. TROLL light - The Language and Its Development Environment. In Manfred Broy and Stefan Jähnichen, editors, KORSO - Methods, Languages, and Tools for the Construction of Correct Software (KORSO'95), pages 204-220. Springer, Berlin, LNCS 1009, 1995.
(16 pages, gzipped PostScript: 84kb via HTTP, uncompressed PostScript: 229kb via HTTP)

[Herzig and Gogolla, 1995]
Rudolf Herzig and Martin Gogolla. An Animator for the Object Specification Language TROLL light. In Vangalur S. Alagar and Rokia Missaoui, editors, Proc. Int Colloquium Object Orientation in Databases and Software Engineering (COODBSE'94), pages 156-170. World Scientific, River Edge (NJ), 1995.
(15 pages, gzipped PostScript: 62kb via HTTP, uncompressed PostScript: 233kb via HTTP)

[Herzig et al., 1995]
Rudolf Herzig, Martin Gogolla, and Grit Denker. KORSO Reference Languages: Concepts and Application Domains - TROLL light. In Manfred Broy and Stefan Jähnichen, editors, KORSO - Methods, Languages, and Tools for the Construction of Correct Software (KORSO'95), pages 156-162. Springer, Berlin, LNCS 1009, 1995.
(23 pages, gzipped PostScript: 61kb via HTTP, uncompressed PostScript: 164kb via HTTP)

[Conrad et al., 1994]
Stefan Conrad, Martin Gogolla, and Rudolf Herzig. Safe Derivations in Object Hierarchies. In D. Patel, Y. Sun, and S. Patel, editors, Proc. Int. Conf. Object-Oriented Information Systems (OOIS'94), pages 306-319. Springer, London, 1994.
(14 pages, gzipped PostScript: 48kb via HTTP, uncompressed PostScript: 126kb via HTTP)

[Denker and Gogolla, 1994]
Grit Denker and Martin Gogolla. Translating TROLL light Concepts to Maude. In Hartmut Ehrig and Fernando Orejas, editors, Proc. 9th Int. Workshop Abstract Data Types (WADT'92), pages 173-187. Springer, Berlin, LNCS 785, 1994.
(16 pages, gzipped PostScript: 66kb via HTTP, uncompressed PostScript: 166kb via HTTP)

[Ehrich et al., 1994]
Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im Januar'94. In Manfred Broy and Stefan Jähnichen, editors, Korrekte Software durch formale Methoden - 6. KORSO-Workshop (KORSO'93), pages 82-94, 1994.

[Gogolla, 1994a]
Martin Gogolla. An Extended Entity-Relationship Model - Fundamentals and Pragmatics. Springer, Berlin, LNCS 767, 1994.
(145 pages, gzipped PostScript: 266kb via HTTP, uncompressed PostScript: 881kb via HTTP)

[Gogolla, 1994b]
Martin Gogolla. An Extended Entity-Relationship Model - Fundamentals and Pragmatics. GI EMISA-Forum, 1:80-80, 1994.
(1 pages, gzipped PostScript: 17kb via HTTP, uncompressed PostScript: 89kb via HTTP)

[Gogolla, 1994c]
Martin Gogolla. An Extended Entity-Relationship Model - Fundamentals and Pragmatics. GI Datenbankrundbrief, 13:86-86, 1994.
(1 pages, gzipped PostScript: 17kb via HTTP, uncompressed PostScript: 89kb via HTTP)

[Gogolla, 1994d]
Martin Gogolla. Grundlagen von Entity-Relationship-Modellen. Informatik-Skript 33, Technische Universität Braunschweig, 1994.
(62 pages, gzipped PostScript: 173kb via HTTP, uncompressed PostScript: 500kb via HTTP)

[Gogolla, 1994e]
Martin Gogolla. On Formal Semantics of Some Semantic Data Models. In Selahattin Kuru, Ufuk Caglayan, Erol Gelenbe, Levent Akin, and Cem Ersoy, editors, Proc. 9th Int. Symposium Computer and Information Science (ISCIS'94), pages 33-40. Bogazici University Printhouse, Istanbul, 1994.
(8 pages, gzipped PostScript: 68kb via HTTP, uncompressed PostScript: 165kb via HTTP)

[Gogolla et al., 1994a]
Martin Gogolla, Sedat Güler, and Rudolf Herzig. From Object Specification to Enhanced Logic Programming. In Selahattin Kuru, Ufuk Caglayan, Erol Gelenbe, Levent Akin, and Cem Ersoy, editors, Proc. 9th Int. Symposium Computer and Information Science (ISCIS'94), pages 423-430. Bogazici University Printhouse, Istanbul, 1994.
(8 pages, gzipped PostScript: 68kb via HTTP, uncompressed PostScript: 165kb via HTTP)

[Gogolla et al., 1994b]
Martin Gogolla, Nikolaos Vlachantonis, Rudolf Herzig, Grit Denker, Stefan Conrad, and Hans-Dieter Ehrich. The KORSO Approach to the Development of Reliable Information Systems. Informatik-Bericht 94-06, Technische Universität Braunschweig, 1994.
(59 pages, gzipped PostScript: 172kb via HTTP, uncompressed PostScript: 468kb via HTTP)

[Herzig and Gogolla, 1994a]
Rudolf Herzig and Martin Gogolla. A SQL-like Query Calculus for Object-Oriented Database Systems. In Elisa Bertino and Susan Urban, editors, Proc. Int. Symposium Object-Oriented Methodologies and Systems (ISOOMS'94), pages 20-39. Springer, Berlin, LNCS 858, 1994.
(20 pages, gzipped PostScript: 68kb via HTTP, uncompressed PostScript: 230kb via HTTP)

[Herzig and Gogolla, 1994b]
Rudolf Herzig and Martin Gogolla. On a Better Formal Basis for Stating SQL-like Queries in Value- And Object-Based Database Systems. Technical Report 9/94, Universität Bremen, 1994.
(26 pages, gzipped PostScript: 83kb via HTTP, uncompressed PostScript: 272kb via HTTP)

[Herzig et al., 1994a]
Rudolf Herzig, Stefan Conrad, and Martin Gogolla. Compositional Description of Object Communities with TROLL light. In Chris Chrisment, editor, Proc. Basque Int. Workshop Information Technology (BIWIT'94), pages 183-194. Cepadues Editions, Toulouse, 1994.
(12 pages, gzipped PostScript: 35kb via HTTP, uncompressed PostScript: 98kb via HTTP)

[Herzig et al., 1994b]
Rudolf Herzig, Heiko Fischer, and Martin Gogolla. Zur Gestaltung der Benutzeroberfläche bei der Animation von Objektspezifikationen. GI Datenbankrundbrief, 13:43-45, 1994. Proc. Workshop GI-Fachgruppe Datenbanken.
(4 pages, gzipped PostScript: 77kb via HTTP, uncompressed PostScript: 279kb via HTTP)

[Conrad et al., 1993]
Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, and Hans-Dieter Ehrich. Zur Entwicklung zuverlässiger Informationssysteme in KORSO. In H. Reichel, editor, Proc. 23. GI Jahrestagung (GI'93) - Informatik - Wirtschaft - Gesellschaft, pages 464-469. Springer, Berlin, Informatik Aktuell, 1993.
(6 pages, gzipped PostScript: 58kb via HTTP, uncompressed PostScript: 144kb via HTTP)

[Ehrich et al., 1993a]
Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. Beiträge zu ``Das BMFT-Verbundprojekt Korrekte Software (KORSO)''. In Manfred Broy and Stefan Jähnichen, editors, Das BMFT-Verbundprojekt Korrekte Software (KORSO), pages 160-161. Informatik - Forschung und Entwicklung, Vol. 8, No. 3, 1993.

[Ehrich et al., 1993b]
Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im Januar'93. In Manfred Broy and Stefan Jähnichen, editors, Korrekte Software durch formale Methoden - 4. KORSO-Workshop (KORSO'93), pages 50-56, 1993.

[Gogolla, 1993a]
Martin Gogolla. A Computational Model for TROLL light. In Hartmut Ehrig, Friedrich von Henke, Jose Meseguer, and Martin Wirsing, editors, Specification and Semantics. Dagstuhl-Seminar-Report Nr. 64, 1993.
(1 pages, gzipped PostScript: 20kb via HTTP, uncompressed PostScript: 118kb via HTTP)

[Gogolla, 1993b]
Martin Gogolla. Some Examples for TROLL light Templates. In Hans-Dieter Ehrich, editor, Beiträge zu KORSO- und TROLL light-Fallstudien, pages 51-62. Technische Universität Braunschweig, Informatik-Bericht Nr. 93-11, 1993.
(68 pages, gzipped PostScript: 191kb via HTTP, uncompressed PostScript: 517kb via HTTP)

[Gogolla, 1993c]
Martin Gogolla. TROLL light - A Core Language for Specifying Objects. In Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban, editors, Formal Aspects of Object Base Dynamics. Dagstuhl-Seminar-Report Nr. 62, 1993.
(1 pages, gzipped PostScript: 31kb via HTTP, uncompressed PostScript: 170kb via HTTP)

[Gogolla and Claßen, 1993]
Martin Gogolla and Ingo Claßen. An Object-Oriented Design for the ACT ONE Environment. In Maurice Nivat, Charles Rattray, Theodor Rus, and Giuseppe Scollo, editors, Proc. 3rd Int. Conf. Algebraic Methodology and Software Technology (AMAST'93), pages 361-368. Springer, London, Workshops in Computing, 1993.
(8 pages, gzipped PostScript: 55kb via HTTP, uncompressed PostScript: 134kb via HTTP)

[Gogolla et al., 1993a]
Martin Gogolla, Stefan Conrad, and Rudolf Herzig. Sketching Concepts and Computational Model of TROLL light. In Alfonso Miola, editor, Proc. 3rd Int. Symposium Design and Implementation of Symbolic Computation Systems (DISCO'93), pages 17-32. Springer, Berlin, LNCS 722, 1993.
(16 pages, gzipped PostScript: 106kb via HTTP, uncompressed PostScript: 264kb via HTTP)

[Gogolla et al., 1993b]
Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, and Nikolaos Vlachantonis. Integrating the ER Approach in an OO Environment. In Ramez Elmasri, Vram Kouramajian, and Bernhard Thalheim, editors, Proc. 12th Int. Conf. Entity-Relationship Approach (ER'93), pages 376-389. Springer, Berlin, LNCS 823, 1993.
(14 pages, gzipped PostScript: 94kb via HTTP, uncompressed PostScript: 231kb via HTTP)

[Vlachantonis et al., 1993]
Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, and Hans-Dieter Ehrich. Towards Reliable Information Systems: The KORSO Approach. In Colette Rolland, Francois Bodart, and Corine Cauvet, editors, Proc. 5th Int. Conf. Advanced Information Systems Engineering (CAiSE'93), pages 463-483. Springer, Berlin, LNCS 685, 1993.
(20 pages, gzipped PostScript: 87kb via HTTP, uncompressed PostScript: 229kb via HTTP)

[Conrad and Gogolla, 1992]
Stefan Conrad and Martin Gogolla. An Annotated Bibliography on Object-Orientation and Deduction. ACM SIGMOD Record, 21(1):123-132, 1992.
(10 pages, gzipped PostScript: 61kb via HTTP, uncompressed PostScript: 150kb via HTTP)

[Conrad et al., 1992]
Stefan Conrad, Martin Gogolla, and Rudolf Herzig. TROLL light - A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universität Braunschweig, 1992.
(26 pages, gzipped PostScript: 114kb via HTTP, uncompressed PostScript: 301kb via HTTP)

[Engels et al., 1992]
Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dieter Ehrich. Conceptual Modelling of Database Applications Using an Extended ER Model. Data and Knowledge Engineering, 9(2):157-204, 1992.
(58 pages, gzipped PostScript: 163kb via HTTP, uncompressed PostScript: 484kb via HTTP)

[Gogolla, 1992a]
Martin Gogolla. Contributions to ``A Framework for Software Development in KORSO''. In Martin Wirsing, editor, A Framework for Software Development in KORSO. Ludwig-Maximilians-Universität München, Institut für Informatik, Bericht 9205, 1992.

[Gogolla, 1992b]
Martin Gogolla. Fundamentals and Pragmatics of an Entity-Relationship Approach. Habilitation thesis, Technische Universität Braunschweig, Naturwissenschaftliche Fakultät, 1992. Submitted November 1992, Accepted May 1993.
(145 pages, gzipped PostScript: 266kb via HTTP, uncompressed PostScript: 881kb via HTTP)

[Herzig and Gogolla, 1992]
Rudolf Herzig and Martin Gogolla. Transforming Conceptual Data Models into an Object Model. In Günter Pernul and A Min Tjoa, editors, Proc. 11th Int. Conf. Entity-Relationship Approach (ER'92), pages 280-298. Springer, Berlin, LNCS 645, 1992.
(19 pages, gzipped PostScript: 108kb via HTTP, uncompressed PostScript: 278kb via HTTP)

[Claßen and Gogolla, 1991]
Ingo Claßen and Martin Gogolla. Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE. Forschungsbericht 91/11, Technische Universität Berlin, 1991.
(24 pages, gzipped PostScript: 100kb via HTTP, uncompressed PostScript: 261kb via HTTP)

[Ehrich et al., 1991]
Hans-Dieter Ehrich, Martin Gogolla, and Amilcar Sernadas. Objects and Their Specification. In Michel Bidoit and Christine Choppy, editors, Proc. 8th Int. Workshop Abstract Data Types (WADT'91), pages 40-65. Springer, Berlin, LNCS 655, 1991.
(26 pages, gzipped PostScript: 97kb via HTTP, uncompressed PostScript: 255kb via HTTP)

[Gogolla and Ehrich, 1991]
Martin Gogolla and Hans-Dieter Ehrich. Contributions to ``COMPASS - A Comprehensive Algebraic Approach to System Specification and Development''. In Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, and Don Sannella, editors, COMPASS - A Comprehensive Algebraic Approach to System Specification and Development. Springer, Berlin, LNCS 501, 1991.

[Gogolla and Hohenstein, 1991]
Martin Gogolla and Uwe Hohenstein. Towards a Semantic View of an Extended Entity-Relationship Model. ACM Transactions on Database Systems, 16(3):369-416, 1991.
(48 pages, gzipped PostScript: 5025kb via HTTP, uncompressed PostScript: 47544kb via HTTP)

[Gogolla et al., 1991]
Martin Gogolla, Bernd Meyer, and Gerhard D. Westerman. Drafting Extended Entity-Relationship Schemas with QUEER. In Toby Teorey, editor, Proc. 10th Int. Conf. Entity-Relationship Approach (ER'91), pages 561-585. ER Institute, San Mateo, 1991.
(25 pages, gzipped PostScript: 111kb via HTTP, uncompressed PostScript: 290kb via HTTP)

[Engels et al., 1990]
Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dieter Ehrich. Conceptual Modelling of Database Applications Using an Extended ER Model. Informatik-Bericht 90-05, Technische Universität Braunschweig, 1990.
(58 pages, gzipped PostScript: 163kb via HTTP, uncompressed PostScript: 484kb via HTTP)

[Gogolla, 1990a]
Martin Gogolla. A Note on the Translation of SQL to Tuple Calculus. Bulletin of the EATCS, 40:231-236, 1990.
(5 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 117kb via HTTP)

[Gogolla, 1990b]
Martin Gogolla. A Note on the Translation of SQL to Tuple Calculus. ACM SIGMOD Record, 19(1):18-22, 1990.
(5 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 117kb via HTTP)

[Gogolla, 1990c]
Martin Gogolla. Datalog - Eine deduktive Datenbanksprache. Informatik-Skript 25, Technische Universität Braunschweig, 1990.

[Gogolla and Karge, 1990]
Martin Gogolla and Ulrich Karge. Zur formalen Semantik von SQL. In Udo Walter Lipeck, Stefan Braß, and Gunter Saake, editors, Kurzfassungen 2. Workshop Grundlagen von Datenbanken (GvD'90), pages 27-29. Technische Universität Braunschweig, Informatik-Bericht Nr. 90-02, 1990.

[Karge and Gogolla, 1990]
Ulrich Karge and Martin Gogolla. Formal Semantics of SQL Queries. Informatik-Bericht 90-02, Technische Universität Braunschweig, 1990.

[Meyer et al., 1990]
Bernd Meyer, Gerhard D. Westerman, and Martin Gogolla. QUEER - A Prolog Based Prototype for an Extended ER Approach. Informatik-Bericht 90-03, Technische Universität Braunschweig, 1990.
(36 pages, gzipped PostScript: 136kb via HTTP, uncompressed PostScript: 367kb via HTTP)

[Ehrich et al., 1989a]
Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, and Gunter Saake, editors. Abstracts Workshop Grundlagen von Datenbanken (GvD'89). Technische Universität Braunschweig, Informatik-Bericht Nr. 89-02, 1989.

[Ehrich et al., 1989b]
Hans-Dieter Ehrich, Martin Gogolla, and Udo Walter Lipeck. Algebraische Spezifikation Abstrakter Datentypen - Eine Einführung in die Theorie. Leitfäden und Monographien der Informatik. Teubner, Stuttgart, 1989.

[Gogolla, 1989a]
Martin Gogolla. Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. In Josep Diaz and Fernando Orejas, editors, Proc. 3rd Int. Joint Conf. Theory and Practice of Software Development (TAPSOFT'89), pages 259-274. Springer, Berlin, LNCS 351, 1989.
(16 pages, gzipped PostScript: 70kb via HTTP, uncompressed PostScript: 186kb via HTTP)

[Gogolla, 1989b]
Martin Gogolla. Zur Übersetzung eines ER-Kalküls nach Prolog. In Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, and Gunter Saake, editors, Abstracts Workshop Grundlagen von Datenbanken (GvD'89). Technische Universität Braunschweig, Informatik-Bericht Nr. 89-02, 1989.

[Gogolla and Ehrich, 1989]
Martin Gogolla and Hans-Dieter Ehrich. Contributions to ``COMPASS - A Comprehensive Algebraic Approach to System Specification and Development''. In Bernd Krieg-Brückner, editor, COMPASS - A Comprehensive Algebraic Approach to System Specification and Development. Universität Bremen, Informatik-Bericht 6/89, 1989.

[Ehrich et al., 1988]
Hans-Dieter Ehrich, Klaus Drosten, and Martin Gogolla. Towards an Algebraic Semantics for Database Specification. In Robert A. Meersman and Amilcar C. Sernadas, editors, Proc. 2nd IFIP 2.6 Working Conf. Database Semantics (DS-2'86), pages 119-135. North Holland, Amsterdam, 1988.

[Hohenstein and Gogolla, 1988a]
Uwe Hohenstein and Martin Gogolla. A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. In Carlo Battini, editor, Proc. 7th Int. Conf. Entity-Relationship Approach (ER'88), pages 129-148. North-Holland, Amsterdam, 1988.

[Hohenstein and Gogolla, 1988b]
Uwe Hohenstein and Martin Gogolla. Towards a Semantic View of an Extended Entity-Relationship Model. Informatik-Bericht 88-02, Technische Universität Braunschweig, 1988.

[Gogolla, 1987]
Martin Gogolla. On Parametric Algebraic Specifications with Clean Error Handling. In Hartmut Ehrig, Robert Kowalski, and Giorgio Levi, editors, Proc. 2nd Int. Joint Conf. Theory and Practice of Software Development (TAPSOFT'87), pages 81-95. Springer, Berlin, LNCS 249, 1987.

[Ehrich et al., 1986]
Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla, and Udo Walter Lipeck, editors. Abstracts 4th Int. Workshop Abstract Data Types (WADT'86). Technische Universität Braunschweig, Informatik-Bericht Nr. 86-09, 1986.

[Gogolla, 1986a]
Martin Gogolla. Exception Handling and Subsorts. In Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla, and Udo Walter Lipeck, editors, Abstracts 4th Int. Workshop Abstract Data Types (WADT'86). Technische Universität Braunschweig, Informatik-Bericht Nr. 86-09, 1986.

[Gogolla, 1986b]
Martin Gogolla. Über Partiell Geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in Abstrakten Datentypen. PhD thesis, Technische Universität Braunschweig, Naturwissenschaftliche Fakultät, 1986. Mainly material from the CAAP'84, TCS'84, WADT'84 and TAPSOFT'87 papers.

[Gogolla, 1985a]
Martin Gogolla. A Final Algebra Semantics for Errors and Exceptions. Informatik-Bericht 85-06, Technische Universität Braunschweig, 1985.

[Gogolla, 1985b]
Martin Gogolla. A Final Algebra Semantics for Errors and Exceptions. In Hans-Jörg Kreowski, editor, Proc. 3rd Int. Workshop Abstract Data Types (WADT'84), pages 89-103. Springer Berlin, Informatik Fachberichte 116, 1985.

[Lipeck et al., 1985]
Udo Walter Lipeck, Hans-Dieter Ehrich, and Martin Gogolla. Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. In Amilcar Sernadas, Janis Bubenko, and Antoni Olive, editors, Proc. IFIP Working Conf. Theoretical and Formal Aspects of Information Systems (TFAIS'85), pages 145-157. North Holland, Amsterdam, 1985.
(13 pages, gzipped PostScript: 1606kb via HTTP, uncompressed PostScript: 20511kb via HTTP)

[Ehrich et al., 1984]
Hans-Dieter Ehrich, Udo Walter Lipeck, and Martin Gogolla. Specification, Semantics and Enforcement of Dynamic Database Constraints. In Umeshwar Dayal, Gunter Schlageter, and Lim Huat Seng, editors, Proc. 10th Int. Conf. Very Large Data Bases (VLDB'84), pages 310-318. Morgan Kaufmann, San Mateo, 1984.
(8 pages, gzipped PostScript: 1153kb via HTTP, uncompressed PostScript: 12773kb via HTTP)

[Gogolla, 1984a]
Martin Gogolla. A Final Algebra Semantics for Errors and Exceptions. In Hans-Jörg Kreowski and Anne Wilharm, editors, Abstracts 3rd Int. Workshop Abstract Data Types (WADT'84). Universität Bremen, Informatik-Bericht 9/84, 1984.

[Gogolla, 1984b]
Martin Gogolla. Partially Ordered Sorts in Algebraic Specifications. In Bruno Courcelle, editor, Proc. 9th Int. Colloquium Trees in Algebra and Programming (CAAP'84), pages 139-153. Cambridge University Press, Cambridge, 1984.
(15 pages, gzipped PostScript: 1584kb via HTTP, uncompressed PostScript: 20309kb via HTTP, PDF: 1179kb via HTTP)

[Gogolla et al., 1984]
Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter Ehrich. Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theoretical Computer Science, 34:289-313, 1984.
(25 pages, gzipped PostScript: 1749kb via HTTP, uncompressed PostScript: 22673kb via HTTP)

[Gogolla, 1983a]
Martin Gogolla. Algebraic Specification of Subsorts. In Manfred Broy and Martin Wirsing, editors, Abstracts 2nd Int. Workshop Abstract Data Types (WADT'83). Universität Passau, Informatik-Bericht, 1983.

[Gogolla, 1983b]
Martin Gogolla. Algebraic Specifications with Partially Ordered Sorts and Declarations. Forschungsbericht 169, Universität Dortmund, Abteilung Informatik, 1983.

[Gogolla and Ehrich, 1983]
Martin Gogolla and Hans-Dieter Ehrich. Algebraic Specifications with Subsorts Using Declarations. Bulletin of the EATCS, 21:31-38, 1983.

[Drosten et al., 1982]
Klaus Drosten, Martin Gogolla, Hans-Dieter Ehrich, and Udo Lipeck. A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications. Forschungsbericht 144, Universität Dortmund, Abteilung Informatik, 1982.

[Gogolla et al., 1982a]
Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter Ehrich. Algebraic and Operational Semantics of Exceptions and Errors. In Armin B. Cremers and Hans-Peter Kriegel, editors, Proc. 6th GI Conf. Theoretical Computer Science, pages 141-151. Springer, Berlin, LNCS 145, 1982.

[Gogolla et al., 1982b]
Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter Ehrich. Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Forschungsbericht 140, Universität Dortmund, Abteilung Informatik, 1982.

[Gogolla, 1980]
Martin Gogolla. Eine Charakterisierung von nicht-strukturierten Flußdiagrammen. Master's thesis, Universität Dortmund, Abteilung Informatik, 1980.

[Coy et al., 1979]
Wolfgang Coy, Claudio Moraga, Friedrich Abraham, Angelika Beese, Werner Bielefeld, Magdalena Bonsiepen, Martin Gogolla, Michael Land, and Manfred Siebert. Adaptive und Lernende Systeme - Bericht einer Projektgruppe Wintersemester 1978 - Sommersemester 1979. Interne Berichte und Skripten, Universität Dortmund, Abteilung Informatik, 1979.


Home|People|Teaching|Publications
Last change: 07.03.2017