Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar
Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Bildinformationen anzeigen

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Research Papers

In the 2nd part of this course each participant registered under the new examination regulations has to summarize one research paper. The summary should be less than or equal to two pages long and summarize the most important contributions of the paper. This is a mandatory task (new examination regulations).

Write your summary in LaTeX and use the template provided in PANDA (Submissions that do not use this template will not be accepted): Lecture/template.zip (or ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip)

The summary has to be submitted until the 06.01.2020 via e-mail to Jürgen König.

The contents of the paper will be part of the exam for every participant registered under the new examination regulations.

Research Paper:

  • Galeotti JP, Furia CA, May E, Fraser G, Zeller A. Inferring loop invariants by mutation, dynamic analysis, and static checking. IEEE Transactions on Software Engineering. 2015 May 11;41(10):1019-37. (Link)
Kontakt

Jürgen König

Spezifikation und Modellierung von Softwaresystemen

Jürgen König
Telefon:
+49 5251 60-1715
Büro:
O4.134

Felix Pauck

Spezifikation und Modellierung von Softwaresystemen

Felix Pauck
Telefon:
+49 5251 60-1765
Fax:
+49 5251 60-3993
Büro:
O4.128

Sprechzeiten:

Verfügbarkeit (Arbeitszeit):
Montag - Freitag
07:00 bis ~15:30

Die Universität der Informationsgesellschaft