Prof. Dr. Jan Bredereke

-> Deutsch

Since September 2008, I work as a professor with the University of Applied Sciences Bremen. My area there are Embedded Systems. Before that, I last worked with Astrium GmbH at Bremen, Space Transportation division, GNC & On-Board Software-Engineering group.

My Web page at the University of Applied Sciences Bremen is still under construction; during this time this Web page continues to present my scientific results, and I still continue to maintain it.

• research interests
• publications (on separate page)
• teaching at the University of Bremen
• some recent talks (on separate page)
• Curriculum Vitae (on separate page)
• some related conferences and workshops
• software
• contact
• private interests (on separate page)

Research Interests

• families of rigorous requirements for embedded software systems
• mode confusions in user interfaces
• feature interaction problems in telephone switching systems
• formal description technique Estelle for communication systems (former interest)
• specification based, automatic testing

I am member of the IFIP TC6 Working Group 6.1 "Architectures and Protocols for Distributed Systems".

I was member of the group "operating systems and distributed systems" of Prof. Dr. Jan Peleska at the department of mathematics&computer science of the University of Bremen, Germany.

Teaching at the University of Bremen

• lecture "Übersetzergenerierung mit lex und yacc" in winter term 2007/08 (in German)
• lecture "Übersetzergenerierung mit lex und yacc" in winter term 2006/07 (in German)
• lecture "Übersetzergenerierung mit lex und yacc" in summer term 2004 (in German)
• project "TRACS - Train Control Systems", winter term 2003/04 - summer term 2005 (in German)
• "Übung"-type seminar for "Safety-Critical Systems 3: Methods and Tools" in summer term 2003 (in German)
• "Übung"-type seminar for "Praktische Informatik 2" in summer term 2003 (in German)
• lecture "Safety-Critical Systems 4: Engineering of Embedded Software Systems" in winter term 2002/03 (in English)
• "Übung"-type seminar for "Praktische Informatik 2" in summer term 2002 (in German)
• "Übung"-type seminar for "Grundlagen der Informatik 2" (for Electrical Engineers) in summer term 2002 (in German)
• lecture "Unix-Tools" in winter term 2001/02 (in German)
• "Übung"-type seminar for "Grundlagen der Informatik 1" (for Electrical Engineers) in winter term 2001/02 (in German)

Some Related Conferences and Workshops

• ICFI 2009 - 10th Int'l Conf. on Feature Interactions, Lisbon, Portugal, Jun. 11-12, 2009
• SAFECOMP 2007 - 26th Int'l Conf. on Computer Safety, Reliability and Security, Nuremberg, Germany, Sep. 18-21, 2007
• SEFM 2007 - 5th IEEE Int'l Conf. on Software Engineering and Formal Methods, London, UK, Sep. 10-14, 2007
• ICFI 2007 - 9th Int'l Conf. on Feature Interactions in Software and Communication Systems, Grenoble, France, Sep. 3-5, 2007
• FORTE'07 - 27th IFIP WG 6.1 Int'l Conf. on Formal Methods for Networked and Distributed Systems, Tallinn, Estonia, June 27-29, 2007
• DAIS 2007 - 7th IFIP Int'l Conf. on Distributed Applications and Interoperable Systems, Paphos, Cyprus, June 6-8, 2007
• FMOODS 2007 - 9th IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems, Paphos, Cyprus, June 6-8, 2007
• FORTE 2006 - 26th IFIP WG 6.1 Int'l Conf. on Formal Methods for Networked and Distributed Systems, Paris, France, Sep. 26-29, 2006
• DAIS 2006 - 6th IFIP Int'l Conf. on Distributed Applications and Interoperable Systems, Bologna, Italy, June 14-16, 2006
• FMOODS 2006 - 8th IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems, Bologna, Italy, June 14-16, 2006
• TestCom 2006 - 18th IFIP Int'l Conf. on Testing Communicating Systems, New York City, USA, May 16-18, 2006
• ICFI'05 - 8th Int'l Conf. on Feature Interactions in Telecommunications and Software Systems, Leicester, UK, June 28-30, 2005
• Dagstuhl Seminar No. 04511 - Architecting Systems with Trustworthy Components, Dagstuhl, Germany, Dec. 12-17, 2004
• FORTE 2003 - 23rd IFIP Int'l Conf. on Formal Techniques for Networked and Distributed Systems, Berlin, Germany, Sept. 29 - Oct. 2, 2003
• SafeComp 2003 - Computer Safety, Reliability and Security, Edinburgh, Scotland, Sept. 23-26, 2003
• FM 2003 - 12th Int'l FME Symp. (Formal Methods Europe), Pisa, Italy, Sept. 8-14, 2003
  • SBSE'03 - Int'l Workshop on Service-Based Software Engineering, Sept. 8-9, 2003
• FIW 2003 - 7th Int'l Workshop on Feature Interactions in Telecommunications and Software Systems, Ottawa, Canada, Jun. 11-13, 2003

Software

• genFamMem home page - A specification generator and type checker for families of formal requirements.
• Typesetting Z Specifications with Family Constructs
• Download: vim editor syntax highlighting for CSP and for Z.
• Installing SuSE Linux 9.3 (and 8.2 and 7.0) on an Acer Travelmate 522TX
• Bugfix for Gnu "tar" concerning multiple volumes and reading from pipes
• making modelling clay yourself - recipe (real software :-) )

Contact

E-mail:

firstname.lastname@hs-bremen.de   (please replace...)

GnuPG / PGP:

Public key for GnuPG 1.0.7 available.

My old public key for PGP 2.6.3ia is still available, too.

WWW:

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

[Univ. of Bremen, Dept. of Comp. Sce.] - [AG BS] - [Prof. Dr. Jan Bredereke]