Arbeitsgruppe Datenbanken und Software Engineering

Technische Berichte

2023

Rick Adamy, Elias Kuiter, and Gunter Saake. Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas. Technical report, Qeios, September 2023.

2022

Elias Kuiter and Gunter Saake. A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines. Technical report, arXiv, December 2022.

2020

Andreas Meister and Gunter Saake. Dependency-aware parallel enumeration for join order optimization: Search for the best design options. Technical Report FIN-01-2020, Otto-von-Guericke University Magdeburg, January 2020.
Andreas Meister and Gunter Saake. GPU-accelerated dynamic programming for join-order optimization. Technical Report FIN-02-2020, Otto-von-Guericke University Magdeburg, January 2020.

2019

Andreas Meister and Gunter Saake. Finding the best design options for the parallel dynamic programming approach with skip vector arrays for join-order optimization. Technical Report FIN-01-2019, Otto-von-Guericke University Magdeburg, September 2019.
Roman Zoun, Kay Schallert, David Broneske, Sören Falkenberg, Robert Heyer, Sabine Wehnert, Sven Brehmer, Dirk Benndorf, and Gunter Saake. MStream: Proof of Concept of an Analytic Cloud Platform for Near-Real-Time Diagnostics using Mass Spectrometry Data. 002-2019, Otto-von-Guericke-University Magdeburg, 2019.

2018

Jens Meinicke, Chu-Pan Wong, Christian Kästner, and Gunter Saake. Understanding Differences among Executions with Variational Traces. Technical report, arXiv, 2018. (PDF)
Robert Jendersie, Johannes Wuensche, Johann Wagner, Marten Wallewein-Eising, Marcus Pinnecke, and Gunter Saake. Thread Management for High Performance Database Systems - Design and Implementation. Technical report, Arbeitsgruppe Database and Software Engineering, Otto-von-Guericke-Universität Magdeburg, 2018.
Robert Jendersie, Johannes Wuensche, Johann Wagner, Marten Wallewein-Eising, Marcus Pinnecke, and Gunter Saake. Thread Management for High Performance Database Systems - Design and Implementation. Technical report, Arbeitsgruppe Database and Software Engineering, Otto-von-Guericke-Universität Magdeburg, 2018.

2016

Sebastian Krieter, Reimar Schröter, Thomas Thüm, and Gunter Saake. An Efficient Algorithm for Feature-Model Slicing. Technical Report FIN-01-2016, Otto-von-Guericke-University Magdeburg, Magdeburg, 2016.

2015

Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, and Gunter Saake. Feature-Model Interfaces for Compositional Analyses. Technical Report 1, University of Magdeburg, Germany, May 2015.
Veit Köppen, David Broneske, Gunter Saake, and Martin Schäler. Elf: A Main-Memory Structure for Efficient Multi-Dimensional Range and Partial Match Queries. Technical Report 002-2015, Otto-von-Guericke-University Magdeburg, Magdeburg, #dec# 2015. (PDF)

2014

Mustafa Al-Hajjaji. Scalable and Efficient Sampling for Product-Line Testing. Technical Report FIN-003-2014, School of Computer Science, University of Magdeburg, Germany, October 2014.
Reimar Schröter. Using Multi-Level Interfaces to Improve Analyses of Multi Product Lines. Technical Report 4, University of Magdeburg, Germany, October 2014.
Florian Proksch and Stefan Krüger. Tool Support for Contracts in FeatureIDE. Technical Report FIN-001-2014, School of Computer Science, University of Magdeburg, Germany, April 2014.

2013

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, and Thomas Thüm. AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. Technical Report CS-TR-13-07, University of Central Florida, Computer Science, Orlando, FL, USA, September 2013.
Andreas Lübcke, Martin Schäler, and Gunter Saake. Dynamic Relational Data Management for Technical Applications. Technical Report 2, University of Magdeburg, Germany, March 2013.

2012

Martin Schäler, Sandro Schulze, Alexander Grebhahn, Veit Köppen, Andreas Lübcke, and Gunter Saake (Hrsg.). Techniken zur forensischen Datenhaltung - Ausgewählte studentische Beiträge. Collection FIN-05-2012, University of Magdeburg, Germany, October 2012. In German.
Thomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, and Gunter Saake. Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012, School of Computer Science, University of Magdeburg, Germany, April 2012. (PDF)
Martin Schäler, Sandro Schulze, and Gunter Saake. A Hierarchical Framework for Provenance Based on Fragmentation and Uncertainty. Technical Report FIN-01-2012, School of Computer Science, University of Magdeburg, Germany, 2012.
Thorsten Winsemann and Veit Köppen. Persistence in Enterprise Data Warehouses. Technical Reports 2-2012, Otto-von-Guericke University Magdeburg, March 2012.
Janet Feigenspan, Don Batory, and Taylor Riché. Material and Detailed Results of Experiment on Model Comprehension. Technical Report TR-12-01, University of Texas at Austin, Department for Computer Science, 2012.

2011

Andreas Lübcke, Veit Köppen, and Gunter Saake. A Query Decomposition Approach for Relational DBMS using Different Storage Architectures. Technical Report 11, University of Magdeburg, Germany, December 2011.
Ateeq Khan, Christian Kästner, Veit Köppen, and Gunter Saake. Service Variability Patterns in SOC. Technical Report 5, University of Magdeburg, Germany, May 2011.
Marko Rosenmüller, Norbert Siegmund, Mario Pukall, and Sven Apel. Combining Runtime Adaptation and Static Binding in Dynamic Software Product Lines. Technical Report 02, School of Computer Science, University of Magdeburg, February 2011.
Azeem Lodhi, Veit Köppen, and Gunter Saake. Business Process Modeling: Active Research Areas and Challenges. Technical Report 1, Faculty of Computer Science, University of Magdeburg, 2011.
Syed Saif ur Rahman, Eike Schallehn, and Gunter Saake. ECOS: Evolutionary Column-Oriented Storage. Technical Report FIN-03-2011, Department of Technical and Business Information Systems, Faculty of Computer Science, University of Magdeburg, 2011.
Mario Pukall, Christian Kästner, Walter Cazzola, Sebastian Götz, Alexander Grebhahn, Reimar Schröter, and Gunter Saake. Flexible Dynamic Software Updates of Java Applications: Tool Support and Case Study. Technical Report 04, School of Computer Science, University of Magdeburg, April 2011.
Martin Kuhlemann, Christian Kästner, Sven Apel, and Gunter Saake. An algebra for refactoring and feature-oriented programming. Technical Report FIN-006-2011, University of Magdeburg, Germany, 2011.
Thomas Thüm, Sandro Schulze, Mario Pukall, Gunter Saake, and Sebastian Günther. AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management. Technical Report FIN-008-2011, School of Computer Science, University of Magdeburg, November 2011. (PDF)

2010

Andreas Lübcke, Veit Köppen, and Gunter Saake. Towards Selection of Optimal Storage Architecture for Relational Databases. Technical Report 11, University of Magdeburg, Germany, December 2010.
M. Kuhlemann, L. Liang, and G. Saake. Algebraic and cost-based optimization of refactoring sequences. Technical Report 5, Faculty of Computer Science, University of Magdeburg, 2010.
M. Kuhlemann and M. Sturm. Debugging Product Line Programs. Technical Report 6, Faculty of Computer Science, University of Magdeburg, 2010.
H. Schink and M. Kuhlemann. Hurdles in refactoring multi-language programs. Technical Report 7, University of Magdeburg, Germany, 2010.
Azeem Lodhi, Veit Köppen, and Gunter Saake. Post Execution Analysis of Business Processes: Taxonomy and Challenges. Technical Report 9, Faculty of Computer Science, University of Magdeburg, 2010.
Sebastian Günther, Maximilian Haupt, and Matthias Splieth. Utilizing Internal Domain-Specific Languages for Deployment and Maintenance of IT Infrastructures. Technical report (Internet) FIN-004-2010, Otto-von-Guericke-Universität Magdeburg, 2010.
Veit Köppen, Andreas Meier, Michael Soffner, and Norbert Siegmund. Grundlagen und Einsatz von Jini für serviceorientierte Architekturen. Technical Report 10, University of Magdeburg, Germany, 2010.

2009

Sebastian Günther and Sagar Sunkle. Enabling Feature-Oriented Programming in Ruby. Technical Report 16, Very Large Business Application Lab, University of Magdeburg, Magdeburg, Germany, November 2009.
Sagar Sunkle, Sebastian Günther, and Gunter Saake. Representing and Composing First-class Features with FeatureJ. Technical Report 17, Department of Computer Science, Otto-von-Guericke University of Magdeburg, Magdeburg, Germany, November 2009.
Mario Pukall, Christian Kästner, Sebastian Götz, Walter Cazzola, and Gunter Saake. Flexible Runtime Program Adaptations in Java - A Comparison. Technical Report 14, School of Computer Science, University of Magdeburg, November 2009.
Marko Rosenmüller, Norbert Siegmund, Gunter Saake, and Sven Apel. Combining Static and Dynamic Feature Binding in Software Product Lines. Technical Report 13, Fakultät für Informatik, Universität Magdeburg, September 2009.
Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Type-Safe Feature-Oriented Product Lines. Technical Report MIP-0909, Department of Informatics and Mathematics, University of Passau, Germany, June 2009.
Christian Kästner, Sven Apel, and Martin Kuhlemann. LJ^A^R: A Model of Refactoring Physically and Virtually Separated Features. Technical Report 08, School of Computer Science, University of Magdeburg, Germany, May 2009.
Syed Saif ur Rahman and Gunter Saake. Cellular DBMS: An Attempt Towards Biologically-Inspired Data Management. Technical Report FIN-012-2009, Department of Technical and Business Information Systems, Faculty of Computer Science, University of Magdeburg, 2009.
M. Kuhlemann, D. Batory, and C. Kästner. Safe composition of refactoring feature modules. Technical Report 7, Faculty of Computer Science, University of Magdeburg, 2009.
Sebastian Günther. Agile DSL-Engineering with Patterns in Ruby. Technical report (Internet) FIN-018-2009, Otto-von-Guericke-Universität Magdeburg, 2009.

2008

Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. On Feature Orientation and Functional Programming. Technical Report MIP-0806, Department of Informatics and Mathematics, University of Passau, November 2008.
Sven Apel, Christian Kästner, and Christian Lengauer. An Overview of Feature Featherweight Java. Technical Report MIP-0802, Department of Informatics and Mathematics, University of Passau, Germany, April 2008.
Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. Language-Independent Safe Decomposition of Legacy Applications into Features. Technical Report 2, School of Computer Science, University of Magdeburg, Germany, March 2008. (PDF)
M. Kuhlemann. Transforming Object-Oriented Design Pattern Structures into Layers. Technical Report 9, Fakultaet fuer Informatik, Universitaet Magdeburg, 2008.
M. Kuhlemann, D. Batory, and S. Apel. Refactoring feature modules. Technical Report 15, Faculty of Computer Science, University of Magdeburg, 2008.
Sven Lindenhahn, Sebastian Günther, and Eberhard Huber. Einfluss agilerPraktiken auf Teammerkmale und Erfolg von Softwareprojekten. Technical Report FIN-14-2008, Otto-von-Guericke-Universität Magdeburg, 2008.

2007

S. Apel, C. Lengauer, D. Batory, B. Möller, and C. Kästner. An Algebra for Feature-Oriented Software Development. Technical Report MIP-0706, Department of Informatics and Mathematics, University of Passau, July 2007.
M. Kuhlemann. Design Patterns Revisited. Technical Report 2, Fakultät für Informatik, Universität Magdeburg, 2007.

2006

Sven Apel, Christian Kästner, Thomas Leich, and Gunter Saake. Aspect Refinement. Technical Report 10, School of Computer Science, University of Magdeburg, Germany, August 2006.

2005

S. Apel, T. Leich, M. Rosenmüller, and G. Saake. FeatureC++: Feature-Oriented and Aspect-Oriented Programming in C++. Technical Report 3, Fakultät für Informatik, Universität Magdeburg, 2005.
I. Schmitt. Basic Concepts for Unifying Queries of Database and Retrieval Systems. Technical Report 7, Fakultät für Informatik, Universität Magdeburg, 2005.
S. Apel, T. Leich, and G. Saake. Aspectual Mixin Layers. Technical Report 8, Fakultät für Informatik, Universität Magdeburg, 2005.
W. Cazzola, S. Chiba, G. Saake, and T. Tourwe. RAM-SE'05 – ECOOP'05 Workshop on Reflection, AOP, and Meta-Data for Software Evolution (Proceedings), Glasgow, UK, 25th of July 2005. Technical Report 9, Fakultät für Informatik, Universität Magdeburg, 2005.

2004

I. Schmitt and N. Schulz. Safe Reduction of Similarity Calculus to Similarity Algebra. Technical Report 1, Fakultät für Informatik, Universität Magdeburg, 2004.
H. Höpfner, S. Schosser, and K. Sattler. Toward Trie-based Indexing of Mobile Clients in Large Mobile Information Systems. Preprint 02, Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik, Institut für Technische und Betriebliche Informationssysteme, January 2004.
I. Schmitt and S. Balko. Filter-Ranking in High-Dimensional Space. Preprint 9, Fakultät für Informatik, Universität Magdeburg, 2004.
W. Cazzola, S. Chiba, and G. Saake. RAM-SE'04 – ECOOP'04 Workshop on Reflection, AOP, and Meta-Data for Software Evolution. Technical Report 10, Fakultät für Informatik, Universität Magdeburg, 2004.
S. Apel, H. Sichting, and K. Böhm. Configurable Binding: How to Exploit Mixins and Design Patterns for Resource-Constrained Environments. Technical Report 14, Fakultät für Informatik, Universität Magdeburg, 2004.

2003

K. Sattler, I. Geist, and E. Schallehn. Concept-based Querying in Mediator Systems. Technical Report 2, Dept. of Computer Science, University of Magdeburg, 2003.
N. Schulz and I. Schmitt. Logical Transformation Rules for Complex Weighted Queries. Preprint 3, Fakultät für Informatik, Universität Magdeburg, 2003.
I. Geist, T. Declercq, K. Sattler, and E. Schallehn. Query Reformulation for Keyword Searching in Mediator Systems. Technical Report 8, Fakultät für Informatik, Universität Magdeburg, 2003.
I. Schmitt, D. Jesko, and G. Saake. Multimediaunterstützung von Vorlesungen - Ein Erfahrungsbericht -. Preprint 14, Fakultät für Informatik, Universität Magdeburg, 2003.

2002

S. Balko and I. Schmitt. Efficient Nearest Neighbor Retrieval by Using a Local Approximation Technique - the Active Vertice Approach. Preprint 2, Fakultät für Informatik, Universität Magdeburg, 2002.
S. Balko and I. Schmitt. Hierarchical Simplex Approximation - Towards Improved Index Compression for Efficient Nearest-Neighbor Retrieval. Preprint 6, Fakultät für Informatik, Universität Magdeburg, 2002.
N. Schulz and I. Schmitt. A Survey of Weighted Scoring Rules in Multimedia Database Systems. Preprint 7, Fakultät für Informatik, Universität Magdeburg, 2002.

2001

N. Aoumeur and G. Saake. Distributed Systems Specification and Runtime Manipulation of their Features using sc Co-Nets: Application to a System with Several Lifts. Preprint Nr. 12, Fakultät für Informatik, Universität Magdeburg, 2001.
N. Aoumeur and G. Saake. On the Benefits of Rewrite Logic as a Semantics for Algebraic Petri Nets in Computing Siphons and Traps. Preprint Nr. 13, Fakultät für Informatik, Universität Magdeburg, 2001.
S. Balko. Adaption von Auftragsvergabestrategien in der Referenzfallstudie Produktionstechnik. Preprint ITI 1, Fakultät für Informatik, Universität Magdeburg, 2001.
H. Höpfner and M. Plack. Eigenschaftsbasierte Replikation in mobilen Datenbanksystemen. Preprint 19, Fakultät für Informatik, Universität Magdeburg, 2001.
I. Schmitt. Nearest Neighbor Search in High Dimensional Space by Using Convex Hulls. Preprint 6, Fakultät für Informatik, Universität Magdeburg, 2001.
R. Jesse, I. Geist, and O. Dunemann. Konzeption einer datenbankbasierten Plattform f"ur die Informationsfusion. Preprint 9, Fakultät für Informatik, Universität Magdeburg, Magdeburg, 2001.
G. Saake, K. Sattler, and S. Balko. Proceedings 1st Int. Workshop on Databases, Documents, and Information Fusion DBFusion 2001, Gommern, 3./4. May 2001. Preprint 8, Fakultät für Informatik, Universität Magdeburg, Magdeburg, 2001.
K. Sattler, S. Conrad, and G. Saake. Interactive Example-driven Integration and Reconciliation for Accessing Database Federations. Preprint 11, Fakultät für Informatik, Universität Magdeburg, Magdeburg, 2001.
S. Balko and I. Schmitt. Concave Cluster Shapes for Efficient Nearest Neighbor Search in High Dimensional Space. Preprint 23, Fakultät für Informatik, Universität Magdeburg, 2001.
O. Dunemann. Anforderungen an eine Workbench für die Informationsfusion anhand des Beispiels der Kreditrisikomessung. Preprint 21, Fakultät für Informatik, Universität Magdeburg, 2001.
S. Balko and I. Schmitt. Active Vertice Clusters – A Sophisticated Concave Cluster Shape Approach for Efficient High Dimensional Nearest Neighbor Retrieval. Preprint 24, Fakultät für Informatik, Universität Magdeburg, 2001.

2000

N. Aoumeur and G. Saake. sc Co-Nets: A Formal OO Framework for Specifying and Validating Distributed Information Systems. Preprint Nr. 2, Fakultät für Informatik, Universität Magdeburg, 2000.
G. Saake and K. Sattler. Proceedings GI-Workshop Internet Datenbanken, Berlin, 19.September 2000. Preprint 12, Fakultät für Informatik, Universität Magdeburg, 2000.
N. Aoumeur, S. Balko, and G. Saake. Towards a Three-Level Methodology for Developing Cooperative Information Systems. Preprint nr. 5, Fakultät für Informatik, Universität Magdeburg, 2000.

1999

C. Türker, K. Schwarz, and G. Saake. Commit Protocols for Global Transactions in Federated Database Systems. Preprint 2, Fakultät für Informatik, Universität Magdeburg, 1999.
K. Sattler and G. Saake. Knowledge Discovery zur Unterstützung des dezentralisierten Fehlermanagements in Mobilfunksystemen. Technical Report 3, Fakultät für Informatik, Universität Magdeburg, 1999.
N. Aoumeur. On the Semantics of Mondel Specification Using a Concurrent Object Petri Net-Based Approach. Preprint 7, Fakultät für Informatik, Universität Magdeburg, 1999.
K. Schwarz, I. Schmitt, C. Türker, M. Höding, E. Hildebrandt, S. Balko, S. Conrad, and G. Saake. Tool Support for the Design of Database Federations in SIGMA_FDB. Preprint 14, Fakultät für Informatik, Universität Magdeburg, 1999.
I. Schmitt and G. Saake. Integrating Database Schemata using the GIM Method. Preprint 20, Fakultät für Informatik, Universität Magdeburg, 1999.
H. Oakasha, S. Conrad, and G. Saake. Consistency Control in Object-Oriented Databases. Preprint 22, Fakultät für Informatik, Universität Magdeburg, 1999.
Jörg Fischer. Specification of Communication Protocols: Extending timing diagrams for that purpose. Preprint 12, Fakultät für Informatik, Universität Magdeburg, 1999.
Jörg Fischer. Concepts of object paradigm for an approach to modular specification of communication protocols. Preprint 11, Fakultät für Informatik, Universität Magdeburg, 1999.

1998

I. Schmitt and C. Türker. Refining Extensional Relationships and Existence Requirements for Incremental Schema Integration. Preprint 6, Fakultät für Informatik, Universität Magdeburg, 1998.
K. Schwarz, C. Türker, and G. Saake. Specifying Advanced Transaction Models as Transaction Closures with Special Transaction Dependency Combinations. Preprint 5, Fakultät für Informatik, Universität Magdeburg, 1998.
K. Schwarz, C. Türker, and G. Saake. Derived Transaction Termination Dependencies: An Algorithm for Computing Transitivity Rules. Preprint 7, Fakultät für Informatik, Universität Magdeburg, 1998.
J. Fischer. Some equation-less constructions in double categories. Preprint 12, Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik, 1998.
H. Oakasha and G. Saake. Compiling State Constraints. Technical Report 11, Fakultät für Informatik, Universität Magdeburg, 1998.
C. Türker and G. Saake. Exploiting Integrity Constraints and Extensional Relationships for Semantic Schema Integration. Preprint 15, Fakultät für Informatik, Universität Magdeburg, 1998.
M. Endig, D. Jesko, and G. Paul. Konzepte zur Prozeßintegration in Rechnerunterstützten Ingenieursystemen. Preprint 17, Fakultät für Informatik, Universität Magdeburg, 1998.

1997

M. Spiliopoulou and S. Conrad. FACE: A Flexible Approach for Constraint Enforcement and Compensation of Constraint Violations in Federated Databases. Technical Report 97-01, Universität Magdeburg, Institut für Technische Informationssysteme, 1997.
K. Schwarz and C. Türker. Investigating Advanced Transaction Models for Federated Database Systems. Preprint 7, Fakultät für Informatik, Universität Magdeburg, 1997.
I. Schmitt and G. Saake. Merging Inheritance Hierarchies for Schema Integration based on Concept Lattices. Preprint 2, Fakultät für Informatik, Universität Magdeburg, 1997. Also available via http://wwwiti.cs.uni-magdeburg.de/publikationen/97/SS97.ps.gz.
S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving Logical Specification in Information Systems. Preprint 5, Universität Magdeburg, Fakultät für Informatik, 1997.
J. Elkner, S. Geschke, O. Kunert, and F.K. Zbrog. MBone - Systemspezifische Gestaltung und erste Erfahrungen mit Videokonferenzen. Preprint 8, Universität Magdeburg, 1997.
M. Höding, G. Grohmann, and E. Hildebrandt. Die FDBS-Demonstrationssoftware SIGMA_Demo. Preprint 3, Fakultät für Informatik, Universität Magdeburg, 1997.
A. Köller. Dateien in föderierten Datenbanksystemen - Untersuchungen an Systemen zur Fabrikplanung. Preprint 4, Fakultät für Informatik, Universität Magdeburg, 1997.

1996

S. Conrad, M. Höding, S. Janssen, G. Saake, I. Schmitt, and C. Türker. Integrity Constraints in Federated Database Design. Preprint 2, Fakultät für Informatik, Universität Magdeburg, 1996.
J. Kusch and G. Saake. Verteilungstransparenz in Datenbanksystemen. Preprint 1, Fakultät für Informatik, Universität Magdeburg, 1996.
I. Schmitt. Operations of Homogenizing and Heterogenizing in Federated Database Systems. Preprint 5, Fakultät für Informatik, Universität Magdeburg, 1996.

1995

C. Caleiro, G. Saake, and A. Sernadas. Goal-Driven Operational Semantics of Temporal Specification of Reactive Systems Behaviour. Technical Report, Departamento de Matemática, IST 16/95, Instituto Superior Técnico, Lisbon, Portugal, 1995.
S. Conrad and C. Türker. Active Integrity Maintenance in Federated Database Systems. Preprint 9, Fakultät für Informatik, Universität Magdeburg, 1995.
P. Gouveia, R. Jungclaus, G. Saake, and C. Sernadas. Feasible Object Certification. Technical Report, Departamento de Matemática, IST 14/95, Instituto Superior Técnico, Lisbon, Portugal, 1995.
M. Höding, C. Türker, S. Janssen, K.-U. Sattler, S. Conrad, G. Saake, and I. Schmitt. Föderierte Datenbanksysteme — Grundlagen und Ziele des Projektes SIGMA_FDB. Preprint 12, Fakultät für Informatik, Universität Magdeburg, 1995.
J. Kusch, P. Hartel, T. Hartmann, and G. Saake. mbox sl TBench – Integration einer Prototyping-Umgebung durch objektorientierte Spezifikation. Preprint 5, Fakultät für Informatik, Universität Magdeburg, 1995.
I. Schmitt. Flexible Integration and Derivation of Heterogeneous Schemata in Federated Database Systems. Preprint 10, Fakultät für Informatik, Universität Magdeburg, 1995.
R. J. Wieringa and G. Saake. A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM. Rapport IR-393, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1995. Also appeared as: Preprint Nr. 11, Fakultät für Informatik, Universität Magdeburg, 1995.
G. Paul, F. Kreutzmann, K. Sattler, R. Meyer, A. Hein, and F. Trinka. Integriertes, featurebasiertes System. Technical Report 13, Fakultät Informatik, Universität Magdeburg, 1995.

1994

S. Conrad, P. Löhr, and G. Saake. Kurzfassungen des 6. Workshops ``Grundlagen von Datenbanken'', Bad Helmstedt, 19.-22. September 1994. Informatik-Bericht ITI–94–01, Institut für Technische Informationssysteme, Universität Magdeburg, 1994.
S. Conrad. A Basic Calculus for Verifying Properties of Synchronously Interacting Objects. Informatik-Bericht 94–5, Technische Universität Braunschweig, 1994.
V. Dobrowolny. Über Semantische Modellierung einer Produktewelt in Raum und Zeit. Preprint 8, Fakultät für Informatik, Universität Magdeburg, 1994.
M. Gogolla, N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, and H.-D. Ehrich. The KORSO Approach to the Development of Reliable Information Systems. Technical Report 94-06, Technische Universität Braunschweig, 1994.
T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language sc Troll (Version 2.0). Informatik-Bericht 94–03, Technische Universität Braunschweig, 1994.
G. Paul, H. Wierschin, R. Paul, and M. Hofmann. Produktdatenverwaltungssystem - Methode und Werkzeug zur Unternehmensintegration. Bericht ITI 94–2, Universität Magdeburg, 1994.
K. Retzke and H. Weber. Strukturtransformation semantischer Modelle — Analyse typischer Sprachkonstrukte. Interner bericht, Universität Magdeburg, 1994.
Ch. Tietz. Möglichkeiten und Grenzen von NIAM — eine kritische Analyse von NIAM aus Sicht der semantischen Modellierung. Interner bericht, Universität Magdeburg, 1994.

1993

K.-U. Griebel and G. Paul. GRAMOS 16 - Ein Referenzbeispiel für die Ableitung einer allgemeinen Entwurfsstrategie für Ingenieursysteme. Preprint 3, Fakultät für Informatik, Universität Magdeburg, 1993.
T. Hartmann and G. Saake. Abstract Specification of Object Interaction. Informatik-Bericht 93–08, Technische Universität Braunschweig, 1993.
G. Paul. Produkt(daten)modellierung als Grundlage der Integration von CAx– und PPS–Komponenten. Preprint ITI 93–1, Fakultät für Informatik, Universität Magdeburg, 1993.
G. Paul. Aktueller Stand der CAD-Technik zur rechnergestützten Konstruktion und Projektierung. Preprint ITI 93–2, Fakultät für Informatik, Universität Magdeburg, 1993.
S. Schwiderski, T. Hartmann, and G. Saake. Monitoring Temporal Preconditions in a Behaviour Oriented Object Model. Informatik-Bericht 93–7, Technische Universität Braunschweig, 1993.

1992

S. Conrad, M. Gogolla, and R. Herzig. sc TROLL em light: A Core Language for Specifying Objects. Informatik-Bericht 92–2, Technische Universität Braunschweig, 1992.
M. Wirsing (ed.), H. Brix, M. Broy, S. Conrad, S. Gastinger, M. Gogolla, H. Hußmann, M. Jatzeck, B. Krieg-Brückner, J. Liu, P. Pepper, H. Peterreins, A. Poigné, W. Reif, B. Reus, G. Schellhorn, and B. Wolff and. A Framework for Software Development in sc KorSo. Technical Report 92–05, LMU München, 1992.
G. Saake. Objektorientierte Modellierung von Informationssystemen. Informatik-Skripten 28, Technische Universität Braunschweig, 1992.

1991

A. Dyballa, H. Toben, V. Linnemann, and G. Saake. Integration geometrischer Daten in ein erweiterbares Datenbanksystem. Technical Report TR 75.91.12, IBM Germany, Heidelberg Scientific Center, May 1991.
V. Dobrowolny. Über Produktbeschreibungssprachen in CIM-Systemen und die Generierung zugehöriger Systeme. KfK–Bericht 4912, Kernforschungszentrum Karlsruhe, IRE, 1991.
R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The sc Troll Language. Informatik-Bericht 91-4, Technische Universität Braunschweig, 1991.

1990

G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H.-D. Ehrich. Conceptual Modelling of Database Applications Using an Extended ER Model. Informatik-Bericht 90–5, Technische Universität Braunschweig, 1990.
U. W. Lipeck, S. Braß, and G. Saake. Kurzfassungen des 2. Workshops ``Grundlagen von Datenbanken'', Volkse, 5.–8. Juni 1990. Informatik-Bericht 90–02, Technische Universität Braunschweig, 1990.

1989

V. Dobrowolny. Über Grundstrukturen prädikatierter Produktmodelle. Wiss. zeitung, heft 7, Technische Universität Magdeburg, 1989.
V. Dobrowolny, H. Kupper, A. Basteck, B. Schütze, U. Grabbert, and R. Keil. Produktmodelle für CAD/CAM-Systeme im Maschinenbau, Grundlagen einer einheitlichen Produktbeschreibung auf der Basis prädikatierter Unit-Relationship-Modelle. Forschungsbericht, Technische Universität Magdeburg, 1989.
K. Hülsmann and G. Saake. Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Informatik-Bericht 89–4, Technische Universität Braunschweig, 1989.
G. Saake. On First Order Temporal Logics with Changing Domains for Information System Specification. Informatik-Bericht 89–1, Technische Universität Braunschweig, 1989.

1988

K. Küspert, G. Saake, and L. Wegner. Duplicate Detection and Deletion in the Extended NF² Data Model. Technical Report TR 88.11.012, IBM Wissenschaftliches Zentrum Heidelberg, 1988.

1987

G. Saake, L. Neugebauer, U. Hohenstein, and H.-D. Ehrich. Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung. Informatik-Bericht 87–5, Technische Universität Braunschweig, 1987.

1986

U. W. Lipeck, G. Saake, and H.-D. Ehrich. Monitoring Dynamic Database Integrity by Transition Graphs. Informatik-Bericht 86-8, Technische Universität Braunschweig, 1986.

1981

V. Dobrowolny. Über die Erfassung von Zeichnungsdaten mittels Zeichentisch und Digitalsiergerät, Rechentechnik Datenverarbeitung. 3. beiheft, Technische Universität Magdeburg, 1981.