...
Hyunuk Jung, Kangnyoung Lee, and Soonhoi Ha. 2000. Efficient hardware controller synthesis for synchronous dataflow graph in system level design. In Proceedings of the 13th international symposium on System synthesis (ISSS '00)
Laure Gonnord and Sébastien Mosser. 2018. Practicing domain-specific languages: from code to models. In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS '18),
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.
...
Spencer P. Florence, Shu-Hung You, Jesse A. Tov, and Robert Bruce Findler. 2019. A Calculus for Esterel: “If can, can. If no can, no can.” —Hawaiian pidgin proverb. Proc. ACM Program. Lang.3, POPL,Article 61 (January 2019),
Anoop Bhagyanath, Tripti Jain, and Klaus Schneider, Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures, MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
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 |
...