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.

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)
Contact

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

Heike Wehrheim
Phone:
+49 5251 60-4331
Office:
O4.225
Web:

Jürgen König

Specification and Modelling of Software Systems

Jürgen König
Phone:
+49 5251 60-1715
Office:
O4.134
Web:

Felix Pauck

Specification and Modelling of Software Systems

Felix Pauck
Phone:
+49 5251 60-1765
Fax:
+49 5251 60-3993
Office:
O4.122
Web:

Office hours:

Availability (Working hours):
Monday - Friday
07:00 am until ~03:30 pm

The University for the Information Society