Technical Reports and Project Reports

Bissendorf, B., Bredereke, J., Brumund, J., Knobloch, J., Pfennig, S., Seeliger, N.:
FPGA Based Active Camera Stabilization for a Small Satellite. Designing a Digital Control.
Technical Report. City University of Applied Sciences Bremen, Germany (Mar. 2024). DOI: 10.26092/elib/2851. (abstract - PDF)

Burggräf, J., Jahns, N., Kröger, H., Last, C., Luther, F., Senft, C., Voigt, M., Bredereke, J.:
Neuronale Netze auf einem FPGA zur Sprachkommandoerkennung.
Technical Report. City University of Applied Sciences Bremen, Germany (Mar. 2023). (abstract - PDF)

Hagen, F., Hartig, J., Helmich, R., Mahnke, M., Schade, D.-N., Sommerfeld, F., Stöver, H., Wittje, P., Bredereke, J.:
Neural Network on an FPGA for Speech Command Recognition on an Autonomous Vehicle .
Technical Report. City University of Applied Sciences Bremen, Germany (Mar. 2022). (abstract - PDF)

Altnickel, P., Cansu, F., Sastim, I., Steffen, J., Uhlenbrock, M., Bredereke, J.:
Personenerkennung durch schwache FPGAs in autonomen Fahrzeugen mittels Neuronaler Netze.
Technical Report. City University of Applied Sciences Bremen, Germany (Mar. 2022). (abstract - PDF)

Altnickel, P., Catalkaya, T., Bredereke, J. und andere:
Gesten- und Objekterkennung durch schwache FPGAs in autonomen Fahrzeugen mittels neuronaler Netze.
Technical Report. City University of Applied Sciences Bremen, Germany (Sep. 2021). (abstract - PDF)

Müller, F., Krekel, N., Navarro, P., Kaehn, R., Bredereke, J.:
Applying Binarized Neural Networks on FPGAs to an Autonomous Driving Problem.
Technical Report. City University of Applied Sciences Bremen, Germany (Mar. 2021). (abstract - PDF)

von Huth, C., Soldin, M., Tingoh Kingsley, N., von Minden, S., Wieborg, T., Bredereke, J.:
Bericht zum Projekt "Neuronale Netze auf strahlungstoleranten FPGAs für die Raumfahrt".
Technical Report. City University of Applied Sciences Bremen, Germany (Feb. 2020). (abstract - PDF)

Bredereke, J. and others:
A Distributed System with Guaranteed Temporal Properties For Attitude Control.
Technical Report. City University of Applied Sciences Bremen, Germany (Oct. 2018). (abstract - PDF/A)

Bredereke, J. and others:
A Distributed, Time-Triggered Architecture For an Attitude Control System.
Technical Report. City University of Applied Sciences Bremen, Germany (Mar. 2018). (abstract - PDF/A)

Bredereke, J. and others:
A Time-Triggered Architecture For an Attitude Control System With Space Technology.
Technical Report. City University of Applied Sciences Bremen, Germany (Feb. 2017). (abstract - PDF/A)

Bredereke, J.:
A Survey of Time and Space Partitioning for Space Avionics.
Technical Report. Version 1.1. City University of Applied Sciences Bremen, Germany (Feb. 2017). urn:nbn:de:gbv:46-00105751-11. (abstract - PDF/A)

The links on this page are currently still under construction. Please send me an email if you need something specific.

Bredereke, J.:
genFamMem 2.0 Manual - a Specification Generator and Type Checker for Families of Formal Requirements.
University of Bremen, Germany (Oct. 2000). (ps/gzip - genFamMem home page)

Bredereke, J.:
Modular, changeable requirements for telephone switching in CSP-OZ.
Tech. Rep. IBS-99-1, Univ. of Oldenburg, Oldenburg, Germany (Oct. 1999). (abstract - ps/gzip)

Bredereke, J.:
Vermeidung von Feature-Interaktionen in Intelligenten Netzwerken durch ein modulares Architekturmodell.
Abschlußbericht DFG-Forschungsstipendium Br 1797/1-1 (Feb. 1999). (abstract - ps/gzip - PDF)

Bredereke, J.:
Requirements specification and design of a simplified telephone network by functional documentation.
CRL Report 367, McMaster University, Hamilton, Ontario, Canada (Dec. 1998). (abstract - ps/gzip-letter - ps/gzip-A4)

Bredereke, J.:
Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems.
Tech. Rep. 273/95, Univ. of Kaiserslautern, Dept. of Comp. Sce. (Dec. 1995). (ps/gzip)

Gotzhein, R., Bredereke, J., Effelsberg, W., Fischer, S., Held, T., König, H.:
Improving the Efficiency of Automated Protocol Implementation Using Estelle.
Tech. Rep. 274/95, Univ. of Kaiserslautern, Dept. of Comp. Sce. (Sept. 1995). (abstract - ps/gzip)

Bredereke, J. and Gotzhein, R.:
A case study on specification, detection and resolution of IN feature interactions with Estelle.
Tech. Rep. 245/94, Univ. of Kaiserslautern, Dept. of Comp. Sce. (May 1994). (ps/gzip)

Bredereke, J.:
Entwurf eines parallelisierten OSI-TP in Estelle .
Tech. Rep. FBI-HH-M-234/93, Univ. of Hamburg, Dept. of Comp. Sce. (Dec. 1993). (ps/gzip)

Bredereke, J. and Gotzhein, R.:
Eine Estelle-Erweiterung zur Steigerung der Nebenläufigkeit.
Tech. Rep. FBI-HH-M-219/93, Univ. of Hamburg, Dept. of Comp. Sce. (Feb. 1993). (ps/gzip)

Andrae, C., Bredereke, J., Hille, C., et. al.:
Praktischer Einsatz und Weiterentwicklung von Estelle.
Tech. Rep. FBI-HH-M-150/91, Univ. of Hamburg, Dept. of Comp. Sce. (Feb. 1991).