Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Der Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der synchronen Sprachen und angrenzenden Themen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.

Dieses Seminar wird in zwei Varianten angeboten, als Bachelor-Modul und als Master-Modul. Im Vergleich zum Bachelorseminar erwartet das Masterseminar eine größere Einbeziehung von verwandten Arbeiten, und dementsprechend eine umfangreichere Ausarbeitung und Präsentation (siehe unten).

Voraussetzungen

Das Seminar baut auf Inhalten aus der Vorlesung "Synchrone Sprachen" auf. Seminarteilnehmern, welche diese Vorlesung noch nicht gehört haben, wird als Einstieg folgendes Überblickspapier empfohlen, zumindest hiervon die Abschnitte I und II:

Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," Proceedings of the IEEE , vol.91, no.1, pp.64,83, Jan 2003 (pdf).


Wir empfehlen zudem den Besuch der Blockveranstaltung Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten von Frau Peters.

Dozenten

Reinhard von Hanxleden (rvh@informatik.uni-kiel.de) 
Alexander Schulz-Rosengarten (als@informatik.uni-kiel.de)

Themen

Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.

Die aktuelle Auswahl ist vorläufig! Die Themen können bereits gewählt werden, aber bis zum Beginn des Semesters wird die Liste ggf. noch erweitert.
Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben vermerken wir das hier.

Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.

Bachelor Empfehlung

Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., Constructive Polychronous Systems, Logical Foundations of Computer Science. vol. 7734, 2013.

D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, Synchronous-reactive Semantic Modelling and Verification for Function Block Networks, in IEEE Transactions on Industrial Informatics

...

A. Graillat, M. Moy, P. Raymond and B. D. de Dinechin, Parallel code generation of synchronous programs for a many-core architecture, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Colin Vidal, Gérard Berry, Manuel Serrano. Hiphop.js: a language to orchestrate web applica-tions. SAC: Symposium on Applied Computing, Apr 2018

Master Empfehlung

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. In CoRR, vol. abs/1612.05030, 2016.

...

Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, and Arno Luppold. 2018. Automated generation of time-predictable executables on multicore. In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18)

Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., Constructive Polychronous Systems, Logical Foundations of Computer Science. vol. 7734, 2013.


Termine (Vorläufig)

DatumMeilenstein
Mi, 10.04.Ende der Frist für die Themenauswahl (per Email an Alexander)
Mi, 10.04., 9:45 UhrVorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115
Di, 30.04., 8:00 UhrAbgabe Ausarbeitungsgerüst in EasyChair. Dies umfasst einen ersten Abstract und eine Einleitung, sowie eine Gliederung mit Stichworten zum Inhalt der Kapitel. Weiterhin auch eine Bibliographie Liste zur Übersicht über verwandte Arbeiten.
anschließendIndividualtermine, CAP 4, R. 1113
Di, 21.05., 8:00 UhrAbgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair)
anschließendIndividualtermine, CAP 4, R. 1113
Di, 04.06., 8:00 UhrAbgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair)
anschließendZuordnung Ausarbeitungen/Reviewer (per Email)
Di, 11.06., 8:00 UhrAbgabe der Reviews (in EasyChair)
tbaevtl. Vortrag zur Gestaltung einer guten Präsentation
Di, 25.06., 8:00 UhrAbgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
anschließendIndividualtermine, CAP 4, R. 1113
tbaAbgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)
tbaGanztägiges Blockseminar mit Vorträgen

...