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.

[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.

[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). Springer, Berlin, LNCS, 2008.
(2 pages, gzipped PostScript: 104kb via HTTP, FTP, uncompressed PostScript: 1693kb via HTTP, FTP)

[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), 2008. ISSN 0295-6322.
(3 pages, gzipped PostScript: 175kb via HTTP, FTP, uncompressed PostScript: 528kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 4735kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 28464kb via HTTP, FTP)

[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, 2008. Published online 13 March 2008. DOI 10.1109/TKDE.2008.28.
(14 pages, gzipped PostScript: 5437kb via HTTP, FTP, uncompressed PostScript: 24166kb via HTTP, FTP)

[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). Springer, Berlin, LNCS, 2008.
(26 pages, gzipped PostScript: 1011kb via HTTP, FTP, uncompressed PostScript: 17896kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 157kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 181kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 122kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 3118kb via HTTP, FTP)

[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). LNCS 4199, Springer, Berlin, 2006.
(15 pages, gzipped PostScript: 330kb via HTTP, FTP, uncompressed PostScript: 7278kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 421kb via HTTP, FTP)

[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. LNCS 4178, Springer, Berlin, 2006.
(15 pages, gzipped PostScript: 200kb via HTTP, FTP, uncompressed PostScript: 2004kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 185kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 4842kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 2505kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 12636kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 227kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 67kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 190kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 95kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 948kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 1000kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 1582kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 731kb via HTTP, FTP)

[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, LNCS 3844. Long Version: EPFL (Switzerland), Technical Report LGL-REPORT-2005-001, 2005.
(14 pages, gzipped PostScript: 206kb via HTTP, FTP, uncompressed PostScript: 4894kb via HTTP, FTP)

[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. LNCS 3679, Springer, Berlin, 2005.
(16 pages, gzipped PostScript: 791kb via HTTP, FTP, uncompressed PostScript: 6131kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 131kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 158kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 5587kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 362kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 8829kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 168kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 877kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 288kb via HTTP, FTP)

[Gogolla and Ziemann, 2004]

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

[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, Lecture Notes in Informatics 45, 2004.
(2 pages, gzipped PostScript: 11kb via HTTP, FTP, uncompressed PostScript: 25kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 102kb via HTTP, FTP)

[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, Lecture Notes in Informatics 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, Lecture Notes in Informatics 52, 2004.
(2 pages, gzipped PostScript: 10kb via HTTP, FTP, uncompressed PostScript: 24kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 549kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 808kb via HTTP, FTP)

[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, 2003.
(15 pages, gzipped PostScript: 124kb via HTTP, FTP, uncompressed PostScript: 1519kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 462kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 2858kb via HTTP, FTP)

[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, LNCS 2755, 2003.
(38 pages, gzipped PostScript: 1452kb via HTTP, FTP, uncompressed PostScript: 8909kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 884kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 444kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 231kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 695kb via HTTP, FTP)

[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). Springer, Berlin, LNCS, 2002.
(15 pages, gzipped PostScript: 235kb via HTTP, FTP, uncompressed PostScript: 3535kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 5467kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 947kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 328kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 1929kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 391kb via HTTP, FTP)

[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). Springer, Berlin, LNCS, 2002.
(19 pages, gzipped PostScript: 109kb via HTTP, FTP, uncompressed PostScript: 494kb via HTTP, FTP)

[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.
( pages, gzipped PostScript: 1269kb via HTTP, FTP, uncompressed PostScript: 3558kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 295kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 1058kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 1314kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 349kb via HTTP, FTP)

[Gogolla and Kobryn, 2001]

Martin Gogolla and Cris Kobryn, editors. Proc. 4th Int. Conf. Unified Modeling Language (UML'2001). Springer, 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, FTP, uncompressed PostScript: 747kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 163kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 137kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 133kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 3854kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 524kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 4317kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 371kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 199kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 38kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 153kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 851kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 969kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 377kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 328kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 5795kb via HTTP, FTP)

[Gogolla, 1999]

Martin Gogolla. Identifying Objects by Declarative Queries. Advances in Object-Oriented Data Modeling. M.P. Papazoglou, S. Spaccapietra, Z. Tari (Eds.), MIT Press. pages 255-277, 1999.
(25 pages, gzipped PostScript: 138kb via HTTP, FTP, uncompressed PostScript: 682kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 431kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 523kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 1845kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 123kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 265kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 84kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 714kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 1535kb via HTTP, FTP)

[Gogolla, 1998]

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

[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, FTP, uncompressed PostScript: 649kb via HTTP, FTP)

[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, LNCS 1376, 1998.
(16 pages, gzipped PostScript: 77kb via HTTP, FTP, uncompressed PostScript: 353kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 123kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 472kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 480kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 383kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 476kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 279kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 685kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 456kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 86kb via HTTP, FTP)

[Richters, 1997]

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

[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, FTP, uncompressed PostScript: 701kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 436kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 225kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 577kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 152kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 240kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 267kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 353kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 348kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 234kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 165kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 89kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 176kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 784kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 198kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 222kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 256kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 300kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 229kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 233kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 164kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 126kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 166kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 881kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 89kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 89kb via HTTP, FTP)

[Gogolla, 1994d]

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

[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, FTP, uncompressed PostScript: 165kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 165kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 468kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 230kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 272kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 98kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 279kb via HTTP, FTP)

[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, FTP, uncompressed PostScript: 144kb via HTTP, FTP)

[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 Man