...
Gamatié, A.; Gonnord, L., Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems, Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80.
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden, Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018
Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler, On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel, 2018 18th International Conference on Application of Concurrency to System Design (ACSD)
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 |
...