Albert-Ludwigs-Universität Freiburg
Software Engineering
Logo
Advanced Search…
You are here: Home › resources › TeamSummaryPageImages
Info

TeamSummaryPageImages

AlexMalkis.jpg
AmalindaPost.jpg
AndreasPodelski.jpg
BeritBrauer.jpg
BerndWestphal.jpg
BrunoBerstel.jpg
CorinaMitrohin.jpg
DanielDietsch.jpg
EvrenErmis.jpg
HaraldFecher.jpg
JochenHoenicke.jpg
JürgenChrist.jpg
MarcoMuniz.jpg
MarlisJost.jpg
MatthiasHeizmann.jpg
MartinMehlmann.jpg
MartinPreen.jpg
MartinSchäf.jpg
MartinWehrle.jpg
NassimSeghir.jpg
OlenaBarth.jpg
SergioFeo.jpg
SergiyBogomolov.jpg
StefanMaus.jpg
StephanArlt.jpg
ThomasWies.jpg
TobiasMorciniec.jpg
BerndWestphalFix
AndreasDereani.jpg
ChristianHerrera.jpg
Evren Ermis
Evren Ermis.jpg
MariusGreitschus.jpg
ChristianSchilling.jpg
Christian Reuter
Vincent Langenfeld
TanjaSchindler.jpg
Anna Liolios-Zimmermann
DominikKlumpp.jpg
FrankSchuessele.jpg
ElisabethHenkel.jpg
NicoHauff.jpg
« May 2025 »
May
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
  • Home
  • Quick Access
    • Team
      • Andreas Podelski
      • Daniel Dietsch
      • Matthias Heizmann
      • Jochen Hoenicke
      • Bernd Westphal
      • Anna Liolios-Zimmermann
      • Marlis Jost
      • Martin Preen
      • Andreas Dereani
      • Sergio Feo-Arenis
      • Marius Greitschus
      • Nico Hauff
      • Elisabeth Henkel
      • Dominik Klumpp
      • Vincent Langenfeld
      • Alexander Nutz
      • Christian Reuter
      • Tanja Schindler
      • Frank Schüssele
      • Marcel Ebbinghaus
      • Rebecca Albrecht
        • visual_impedance_model
      • Stephan Arlt
      • Jelena Barth
      • Bruno Berstel-Da Silva
      • Sergiy Bogomolov
      • Berit Brauer
      • Jürgen Christ
      • Evren Ermis
      • Harald Fecher
      • Christian Herrera
        • resources
      • Jan Leike
      • Stefan Maus
      • Corina Mitrohin
      • Tobias Morciniec
      • Marco Muniz
      • Amalinda Post
      • Martin Schäf
      • Christian Schilling
      • Mohammed Nassim Seghir
      • Martin Wehrle
      • Manuel Bentele
      • Enrique Román Calvo
    • Teaching
      • Student Projects and Thesis Topics
        • Available
        • In progress
        • Finished
      • Summer Term 2025
        • Automatentheorie (Proseminar)
        • Softwaretechnik / Software Engineering (Lecture)
        • Theoretische Informatik (Lecture)
      • Winter Term 2024/25
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Softwarepraktikum
        • Advanced Topics in Requirements Engineering (Seminar)
        • Automatentheorie (Proseminar)
      • Summer Term 2024
        • Automatentheorie (Proseminar)
        • Softwaretechnik / Software Engineering (Lecture)
        • Program Verification (Lecture)
      • Winter Term 2023/24
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Softwarepraktikum
      • Summer Term 2023
        • Automatentheorie (Proseminar)
        • Softwaretechnik / Software Engineering (Lecture)
        • Theoretische Informatik (Lecture)
      • Winter Term 2022/23
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Softwarepraktikum
        • Automatentheorie (Proseminar)
        • Programanalysis and Verification (Seminar)
      • Summer Term 2022
        • Decision Procedures (Lecture)
        • Theoretische Informatik (Lecture)
        • Program Verification (Lecture)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2021/22
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Softwarepraktikum
        • Programmanalyse (Proseminar)
      • Summer Term 2021
        • Automata Theory (Seminar)
        • Automata Theory (Proseminar)
        • Program Verification (Lecture)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2020/21
        • Advanced Topics in Program Analysis (Seminar)
        • Softwarepraktikum
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Programmanalyse (Proseminar)
      • Summer Term 2020
        • Automata Theory (Seminar, Proseminar)
        • Program Verification (Lecture)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2019/20
        • Automata Theory (Seminar)
        • Decision Procedures (Lecture)
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Programmanalyse (Proseminar)
      • Summer Term 2019
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Program Verification (Lecture)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2018/19
        • Automata Theory (Seminar)
        • Program Analysis (Seminar)
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Informatik III (Lecture)
        • Programmanalyse (Proseminar)
      • Summer Term 2018
        • Automata Theory (Seminar, Proseminar)
        • Decision Procedures (Lecture)
        • Program Analysis (Seminar)
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Program Verification (Lecture)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2017/18
        • Automata Theory (Seminar, Proseminar)
        • Program Analysis & Software Testing (Seminar)
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Informatik III (Lecture)
        • Real-Time Systems (Lecture)
      • Summer Term 2017
        • Automata Theory (Seminar, Proseminar)
        • Program Analysis & Software Testing (Seminar)
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Cyber-Physical Systems - Hybrid Models (Lecture)
        • Formal Methods for Java (Lecture)
        • Program Verification (Lecture)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2016/17
        • Advanced Topics in Requirements Engineering (Seminar)
        • Automata Theory (Seminar, Proseminar)
        • Decision Procedures (Lecture)
        • Program Analysis & Software Testing (Seminar)
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Cyber-Physical Systems I - Discrete Models (Lecture)
        • Software Design, Modelling, and Analysis in UML (Lecture)
      • Summer Term 2016
        • Automata Theory (Seminar, Proseminar)
        • Program Analysis & Software Testing (Seminar)
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Cyber-Physical Systems - Hybrid Models (Lecture)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2015/16
        • Automata Theory (Seminar, Proseminar)
        • Decision Procedures (Lecture)
        • Program Analysis & Software Testing (Seminar)
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Software Design, Modelling, and Analysis in UML (Lecture)
      • Summer Term 2015
        • Automata Theory (Seminar, Proseminar)
        • Program Analysis (Seminar)
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Softwaretechnik / Software Engineering (Lecture)
      • Winter Term 2014/2015
        • Automatentheorie (Proseminar)
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Informatik III
        • Software Design, Modelling, and Analysis in UML (Lecture)
      • Summer Term 2014
        • Automata Theory (Seminar)
        • Einführung in die Informatik (Vorlesung)
        • Seminar Formal Methods for C
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Computer Science Theory (Bridging Course) (Tutorial)
        • Real-Time Systems (Lecture)
      • Winter Term 2013/2014
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Design and Analysis of Cyber Physical Systems (Seminar)
        • Computer Supported Modeling and Reasoning
        • Informatik III
        • Static Code Analysis (Seminar)
        • Software Design, Modelling, and Analysis in UML (Lecture)
        • Software Testing (Seminar)
      • Summer Term 2013
        • Seminar Automata Theory
        • Decision Procedures (Lecture)
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Seminar Advanced Topics in Requirements Engineering
        • Seminar Advanced Topics in Software Engineering
        • Cyber-Physical Systems - Hybrid Models
        • Seminar Hybrid Systems
        • Real-Time Systems (Lecture)
        • Proseminar Topics in Software Engineering
      • Winter Term 2012/2013
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Design and Analysis of Cyber Physical Systems (Seminar)
        • Cyber-Physical Systems I - Model Checking (Lecture)
        • Formal Methods for Java (Lecture)
        • Software Design, Modelling, and Analysis in UML (Lecture)
        • Software Testing (Seminar)
        • Testverfahren für Softwaretechnik (Proseminar)
      • Summer Term 2012
        • Automata Theory
        • Decision Procedures
        • Seminar / Proseminar (Advanced) Topics in Requirements Engineering
        • Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
        • Cyber-Physical Systems - Hybrid Models
        • Seminar Hybrid Systems
        • Model-based Testing and Analysis
        • Real-Time Systems (Lecture)
        • Theory I
      • Winter Term 2011/2012
        • Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
        • Design and Anaylsis of Cyber Physical Systems
        • Formal Methods for Java
        • Program Verification
        • Static Code Analysis
        • Software Design, Modelling, and Analysis in UML
        • Software Testing
    • Tools
      • Ultimate
      • SMTInterpol
      • Hanfor
      • Gazoo
      • Hybrid systems
        • Assume-Guarantee Abstraction Refinement in SpaceEx
        • Benchmark Generator for Stratified Controllers of Tank Networks
        • FMI Co-Simulation
        • Guided Model Checking for Hybrid Systems
        • Hybrid automata: from verification to implementation
        • Abstraction-based Parameter Synthesis for Multiaffine Systems
        • Direction Refinement Framework
      • ACSAR
      • AMTV
      • Bohne
      • Exorcise
      • MCTA
    • Projects
      • AVACS
      • Salomo
      • Verisoft XT
      • Graduiertenkolleg
      • Case Study Repository
        • Wireless Fire Alarm System
        • Quasi-Dependent Variables
        • Quasi-equal Clocks Reduction
    • Research Data Base
    • Service
    • Gallery
    • Contact
Navigation
  • Team
  • Teaching
  • Tools
  • Projects
  • Research Data Base
  • Service
  • Gallery
  • Contact
  • resources
    • Project Logos
    • gallery
    • TeamSummaryPageImages
      • AlexMalkis.jpg
      • AmalindaPost.jpg
      • AndreasPodelski.jpg
      • BeritBrauer.jpg
      • BerndWestphal.jpg
      • BrunoBerstel.jpg
      • CorinaMitrohin.jpg
      • DanielDietsch.jpg
      • EvrenErmis.jpg
      • HaraldFecher.jpg
      • JochenHoenicke.jpg
      • JürgenChrist.jpg
      • MarcoMuniz.jpg
      • MarlisJost.jpg
      • MatthiasHeizmann.jpg
      • MartinMehlmann.jpg
      • MartinPreen.jpg
      • MartinSchäf.jpg
      • MartinWehrle.jpg
      • NassimSeghir.jpg
      • OlenaBarth.jpg
      • SergioFeo.jpg
      • SergiyBogomolov.jpg
      • StefanMaus.jpg
      • StephanArlt.jpg
      • ThomasWies.jpg
      • TobiasMorciniec.jpg
      • BerndWestphalFix
      • AndreasDereani.jpg
      • ChristianHerrera.jpg
      • Evren Ermis
      • MariusGreitschus.jpg
      • ChristianSchilling.jpg
      • Christian Reuter
      • Vincent Langenfeld
      • TanjaSchindler.jpg
      • Anna Liolios-Zimmermann
      • DominikKlumpp.jpg
      • FrankSchuessele.jpg
      • ElisabethHenkel.jpg
      • NicoHauff.jpg
    • contact
    • TeamPagesImages
    • Screenshots for instructions
    • hanfor.png
« May 2025 »
May
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
  • Site Map
  • Accessibility
  • Contact
  • Legal Information
  • Site Map
  • Accessibility
  • Contact
  • Legal Information
A A A
Copyright © 2025 Universität Freiburg
  • Log in
Quelle: TeamSummaryPageImages — Software Engineering
https://swt.informatik.uni-freiburg.de/resources/teamsummarypageimages/ ( Jun 06, 2025 )