Search Site
only in current section
Advanced Search…
Home
Quick Access
Team
Andreas Podelski
Jochen Hoenicke
Bernd Westphal
Berit Brauer
Marlis Jost
Martin Preen
Stephan Arlt
Sergiy Bogomolov
Jürgen Christ
Andreas Dereani
Daniel Dietsch
Evren Ermis
Sergio Feo-Arenis
Marius Greitschus
Matthias Heizmann
Christian Herrera
Tobias Morciniec
Marco Muniz
Alexander Nutz
Jelena Barth
Bruno Berstel-Da Silva
Harald Fecher
Stefan Maus
Corina Mitrohin
Amalinda Post
Martin Schäf
Mohammed Nassim Seghir
Martin Wehrle
Teaching
Student Projects and Thesis Topics
Available
In progress
Finished
Summer Term 2013
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Decision Procedures (Lecture)
Real-Time Systems (Lecture)
Seminar Automata Theory
Seminar Hybrid Systems
Proseminar Topics in Software Engineering
Seminar Advanced Topics in Software Engineering
Seminar Advanced Topics in Requirements Engineering
Cyber-Physical Systems - Hybrid Models
Winter Term 2012/2013
Cyber-Physical Systems I - Model Checking (Lecture)
Formal Methods for Java (Lecture)
Software Design, Modelling, and Analysis in UML (Lecture)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Testverfahren für Softwaretechnik (Proseminar)
Software Testing (Seminar)
Design and Analysis of Cyber Physical Systems (Seminar)
Summer Term 2012
Theory I
Real-Time Systems (Lecture)
Automata Theory
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems - Hybrid Models
Seminar Hybrid Systems
Seminar / Proseminar (Advanced) Topics in Requirements Engineering
Model-based Testing and Analysis
Decision Procedures
Winter Term 2011/2012
Program Verification
Formal Methods for Java
Software Design, Modelling, and Analysis in UML
Static Code Analysis
Software Testing
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Design and Anaylsis of Cyber Physical Systems
Tools
ACSAR
AMTV
Bohne
Exorcise
Gazoo
MCTA
SMTInterpol
Ultimate
Projects
AVACS
Salomo
Verisoft XT
Graduiertenkolleg
Service
Gallery
Contact
Team
Teaching
Tools
Projects
Service
Gallery
Contact
«
May 2013
»
May
Mo
Tu
We
Th
Fr
Sa
Su
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Software Engineering
University of Freiburg
You are here:
Home
›
Gallery
Document Actions
Print this
Info
Gallery
Personal tools
Log in