Bereichsnavigation

• Personen
• Mitarbeiter
• •        Prof. Dr. Jan Jürjens
  •        Anne Heibel (Sekretariat)
  •        Dr. Volker Riediger
  •        Dr. Marco Konersmann
  •        Amir Shayan Ahmadian
  •        Jens Bürger
  •        Julian Flake
  •        Katharina Großer
  •        Sven Peldszus
  •        Qusai Ramadan
• Externe Mitarbeiter
• •        Dr. Thomas Ruhroth
• Externe Doktoranden
• Kooperationen und Ehemalige Mitarbeiter

Nebeninhalt

Infomenü

• Prof. Dr. Jan Jürjens
• Lebenslauf
  • Lebenslauf (Text Version)
• Lehre
• Veröffentlichungen
  • Druckfrisch
  • Chronologisch
  • Thematisch
    • Sichere Softwareentwicklung
    • Programmverständnis
    • Code-Analyse
    • Verlässliche Systeme
    • UML-Modell-Analyse
    • Mathematische Logik
    • Andere
  • Nach Veröffentlichungsart
    • Buch, eingeladene Papiere
    • Zeitschriften / Buchkapitel
    • Internationale Konferenzen
    • Industriekonferenzen / Workshops
    • Editorials / Proceedings
    • Diverses
  • Software
  • Tutorials
• Organisation
• In den Medien
• Forschung
• Kontakt