[English]
[Deutsch]

Lehrstuhl Software Engineering: Dependability
Prof. Dr.-Ing. Liggesmeyer

Home

Research

Teaching

Staff

Publications

Contact


Impressum

SS 2014

Inhalt des Seminars

Ausgewählte Themen aus dem Bereich Software Engineering, insbesondere

Organisation

Update: Die Präsentation der Seminararbeiten wird in zwei Blöcken stattfinden. Die Zuordnung kann der Tabelle entnommen werden.

Material

Für die Präsentationen dürfen ausschließlich die bereitgestellten Vorlagen verwendet werden:

Die Folien der Seminarvorbesprechung finden Sie hier.

Bitte verwenden Sie das angepasste LNCS Template für die Seminararbeiten. Die offiziellen LNCS Proceeding-Templates finden Sie hier.

Wichtig: Die Studenten werden gebeten, sich bei dem Betreuer ihres Wunschthemas schon im Vorfeld zu melden, um einen Konflikt bei der Vergabe der Themen bei der Vorbesprechung zu verhindern.

Falls das Feld "Teilnehmer" in den folgenden Tabellen einen Eintrag enthält, wurde das zugehörige Thema schon gewählt und ist für andere Seminarteilnehmer nicht mehr verfügbar.

Update: Alle freien Themen wurden bereits zugewiesen.

Themenliste

Teilnehmer Thema Verfügbar für Betreuer Emailaddresse des Betreuers Präsentation
Patrick Vonwirth Transient Analysis Technics of Deterministic and Stochastic Petri-Nets Bachelor Michael Roth michael.roth@cs.uni-kl.de Session 1
Anna Schmitt Approximation of Markov Models using Fault Trees Bachelor Alexander Prohaska prohaska@cs.uni-kl.de Session 1
Nicole Muskalla Dependability Modeling with Petri Nets Bachelor Alexander Prohaska prohaska@cs.uni-kl.de Session 1
Florian Beno Kallweit Software Security Metrics Bachelor Kai Bizik bizik@cs.uni-kl.de Session 2
Pascal May A Survey of Petri-Net Applications in Software Engineering Master Michael Roth michael.roth@cs.uni-kl.de Session 1
Srinath Mosale Ramesh Hacking Cars Master Max Steiner steiner@cs.uni-kl.de Session 2
Jan Reich Fault Tree Analysis Master Max Steiner steiner@cs.uni-kl.de Session 1
Abhijot Mann Secure Systems Engineering Master Kai Bizik bizik@cs.uni-kl.de Session 2
Sheikh Mustaq Ahmmed Software Security Metrics Master Kai Bizik bizik@cs.uni-kl.de Session 2
Syeda Sonia Yeasmin BDD Based Analysis of Redundant Systems Master Alexander Prohaska prohaska@cs.uni-kl.de Session 1
Razan Jaber Variable Ordering Optimization in BDDs Master Alexander Prohaska prohaska@cs.uni-kl.de Session 1
Steffen Hupp A Framework for Comparing Reliability Measurement and Analysis Techniques Master Adrien Mouaffo adrien.mouaffo@cs.uni-kl.de Session 2

Anforderung an Bachelor-Studenten: ca. 10 Seiten Ausarbeitung.
Anforderung an Master-Studenten: ca. 15 Seiten Ausarbeitung.

Dozent

Prof. Dr. Peter Liggesmeyer

Termine

Organisator

Alexander Prohaska
Raum: 32-431
Telefon: +49 (631) 205-5098
Sprechzeiten: Nach Vereinbarung