Prof. Dr. Jan Bredereke

-> English

Seit September 2008 arbeite ich als Professor an der Hochschule Bremen und vertrete dort das Fach Eingebettete Systeme. Davor arbeitete ich zuletzt bei der Astrium GmbH in Bremen, im Bereich Space Transportation, Abteilung GNC & On-Board Software-Engineering.

Meine Webseite an der Hochschule Bremen ist noch im Aufbau, solange präsentiert diese Webseite weiterhin meine wissenschaftlichen Ergebnisse und wird noch gepflegt.

• Forschungsinteressen
• Veröffentlichungen (auf separater Seite)
• Lehre an der Universität Bremen
• Einige aktuelle Vorträge (auf separater Seite)
• Lebenslauf (auf separater Seite)
• Einige verwandte Konferenzen und Workshops
• Software
• Adressen
• Privates (auf separater Seite)

Forschungsinteressen

• Familien von präzisen Anforderungen für eingebettete Software-Systeme
• Mode-Confusions in Benutzerschnittstellen
• Feature-Interaktions-Probleme in Telefonsystemen
• Formale Beschreibungstechnik Estelle für Kommunikationssysteme (abgeschlossen)
• Spezifikationsbasiertes, automatisches Testen

Ich bin Mitglied der IFIP TC6 Working Group 6.1 "Architectures and Protocols for Distributed Systems".

Ich war Mitglied der Arbeitsgruppe "Betriebssysteme und verteilte Systeme" von Prof. Dr. Jan Peleska am Fachbereich Mathe&Informatik der Universität Bremen.

Lehre an der Universität Bremen

• Vorlesung "Übersetzergenerierung mit lex und yacc" im WiSe 2007/08
• Vorlesung "Übersetzergenerierung mit lex und yacc" im WiSe 2006/07
• Vorlesung "Übersetzergenerierung mit lex und yacc" im SoSe 2004
• Projekt "TRACS - Train Control Systems", WiSe 2003/04-SoSe 2005
• Übungen zu "Safety-Critical Systems 3: Methods and Tools" im SoSe 2003
• Übungen zu "Praktischer Informatik 2" im SoSe 2003
• Vorlesung "Safety-Critical Systems 4: Engineering of Embedded Software Systems" im WS 2002/03 (in Englisch)
• Übungen zu "Praktischer Informatik 2" im SoSe 2002
• Übungen zu "Grundlagen der Informatik 2" (für SG E-Technik) im SoSe 2002
• Vorlesung "Unix-Tools" im WS 2001/02
• Übungen zu "Grundlagen der Informatik 1" (für SG E-Technik) im WS 2001/02

Einige verwandte Konferenzen und Workshops

• ICFI 2009 - 10th Int'l Conf. on Feature Interactions, Lissabon, Portugal, 11.-12.6.2009
• SAFECOMP 2007 - 26th Int'l Conf. on Computer Safety, Reliability and Security, Nürnberg, 18.-21.9.2007
• SEFM 2007 - 5th IEEE Int'l Conf. on Software Engineering and Formal Methods, London, UK, 10.-14.9.2007
• ICFI 2007 - 9th Int'l Conf. on Feature Interactions in Software and Communication Systems, Grenoble, Frankreich, 3.-5.9.2007
• FORTE'07 - 27th IFIP WG 6.1 Int'l Conf. on Formal Methods for Networked and Distributed Systems, Tallinn, Estland, 27.-29.6.2007
• DAIS 2007 - 7th IFIP Int'l Conf. on Distributed Applications and Interoperable Systems, Paphos, Zypern, 6.-8.6.2007
• FMOODS 2007 - 9th IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems, Paphos, Zypern, 6.-8.6.2007
• FORTE 2006 - 26th IFIP WG 6.1 Int'l Conf. on Formal Methods for Networked and Distributed Systems, Paris, Frankreich, 26.-29.9.2006
• DAIS 2006 - 6th IFIP Int'l Conf. on Distributed Applications and Interoperable Systems, Bologna, Italien, 14.-16.6.2006
• FMOODS 2006 - 8th IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems, Bologna, Italy, 14.-16.6.2006
• TestCom 2006 - 18th IFIP Int'l Conf. on Testing Communicating Systems, New York City, USA, 16.-18.5.2006
• ICFI'05 - 8th Int'l Conf. on Feature Interactions in Telecommunications and Software Systems, Leicester, UK, 28.-30.6.2005
• Dagstuhl Seminar Nr. 04511 - Architecting Systems with Trustworthy Components, Dagstuhl, 12.-17.12.2004
• FORTE 2003 - 23rd IFIP Int'l Conf. on Formal Techniques for Networked and Distributed Systems, Berlin, Sept. 29.9.-2.10.2003
• SafeComp 2003 - Computer Safety, Reliability and Security, Edinburgh, Schottland, 23.-26.9.2003
• FM 2003 - 12th Int'l FME Symp. (Formal Methods Europe), Pisa, Italien, 8.-14.9.2003
  • SBSE'03 - Int'l Workshop on Service-Based Software Engineering, 8.-9.9.2003
• FIW 2003 - 7th Int'l Workshop on Feature Interactions in Telecommunications and Software Systems, Ottawa, Kanada, 11.-13.6.2003

Software

• genFamMem Home-Page - Ein Spezifikationsgenerator und Type-Checker für Familien von formalen Anforderungen. (in Englisch)
• Setzen und Drucken von Z-Spezifikationen mit Familienkonstrukten (in Englisch)
• Download: Syntax-Highlighting für CSP und für Z im vim-Editor. (in Englisch)
• Installing SuSE Linux 9.3 (and 8.2 and 7.0) on an Acer Travelmate 522TX (in Englisch)
• Bugfix for Gnu "tar" concerning multiple volumes and reading from pipes (in Englisch)
• Knetmasse selbst gemacht - Rezept (richtige Software :-) )

Adressen

e-mail:

vorname.nachname@hs-bremen.de   (bitte einsetzen...)

GnuPG / PGP:

Öffentlicher Schlüssel für GnuPG 1.0.7 erhältlich.

Es ist auch weiterhin mein alter öffentlicher Schlüssel für PGP 2.6.3ia erhältlich.

WWW:

http://www.informatik.uni-bremen.de/~brederek/

[Uni Bremen, FB Informatik] - [AG BS] - [Prof. Dr. Jan Bredereke]