...
Colin Vidal, Gérard Berry, Manuel Serrano. Hiphop.js: a language to orchestrate web applica-tions. SAC: Symposium on Applied Computing, Apr 2018
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, and Alexander Schramm. 2018. TeSSLa: runtime verification of non-synchronized real-time streams. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18)
Heinzcmann, C., & Lange, R. vTSL-A Formally Verifiable DSL for Specifying Robot Tasks. In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
...
Yu Bai, Desynchronization: From Macro-step to Micro-step, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, and Alexander Schramm. 2018. TeSSLa: runtime verification of non-synchronized real-time streams. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18)
Termine (Vorläufig)
| Datum | Meilenstein |
|---|---|
| Mi, 10.04. | Ende der Frist für die Themenauswahl (per Email an Alexander) |
| Mi, 10.04., 9:45 Uhr | Vorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115 |
| Di, 30.04., 8:00 Uhr | Abgabe 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ßend | Individualtermine, CAP 4, R. 1113 |
| Di, 21.05., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair) |
| anschließend | Individualtermine, CAP 4, R. 1113 |
| Di, 04.06., 8:00 Uhr | Abgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair) |
| anschließend | Zuordnung Ausarbeitungen/Reviewer (per Email) |
| Di, 11.06., 8:00 Uhr | Abgabe der Reviews (in EasyChair) |
| tba | evtl. Vortrag zur Gestaltung einer guten Präsentation |
| Di, 25.06., 8:00 Uhr | Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten) |
| anschließend | Individualtermine, CAP 4, R. 1113 |
| tba | Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien) |
| tba | Ganztägiges Blockseminar mit Vorträgen |
...