...
Das erste Blockseminar findet am Montag, den 5. Februar 2018 im Ostseejugenddorf Falckenstein, Falkenhorst 6, 24159 Kiel-Friedrichsort statt, und zwar im Raum "Fördeblick". Bitte wetterfeste Kleidung und passendes Schuhwerk für einen Spaziergang in der Mittagspause mitbringen!
Zeit | Tagesordnungspunkt | |
---|---|---|
8:20 | Begrüßung | |
8:30 | LibGALS: A library for GALS systems design and modeling | Florian Scheurer |
9:00 | Java Embedded Processors specialized for GALS Programs | Dennis Smolka |
9:30 | Energie- und zeitabhängige synchrone Programmierung | |
10:00 | Kaffeepause | |
10:30 | A Formally Verified Compiler for Lustre | Philip Eumann |
11:15 | Modular Verification of Synchronous Programs | Sören Domrös |
12:00 | Mittagessen | |
14:00 | Temporal Properties for Neuronal Archetypes using Synchronous Models | Lena Grimm |
14:45 | The Dynamic Synchronous Language DSL | Andreas Stange |
15:30 | Kaffeepause | |
16:00 | WCET Semantics for Synchronous Programs | Niklas Rentz |
16:45 | Relaxing the Synchronous Approach for Mixed-Criticality Systems | Lewe Andersen |
17:30 | Schlusswort |
Das zweite Blockseminar findet am Dienstag, den 6. Februar 2018 in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
Zeit | Tagesordnungspunkt | |
---|---|---|
10:10 | Begrüßung | |
10:15 | Eine Einordnung der Sprache Zélus | Julian Pleines |
10:45 | Symbolic Simulation of Dataflow Synchronous Programs with Timers | Lennart Ideler |
11:15 | Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen | Felix von der Heide |
11:45 | Synchronous-Reactive Web Programming | Yannic Borgfeld |
12:15 | Mittagessen | |
13:00 | ReactiveML, 10 Years Later - Ein Überblick | |
13:30 | Reactive Languages and Complex Event Processing | Lars Viertel |
14:00 | Koordination mehrerer Autonomer Manager | Dennis Pehlke |
14:30 | Schlusswort |
Ausarbeitung, Vortrag, Review
...