Page tree

Versions Compared

Key

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

...

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!

ZeitTagesordnungspunkt
8:20Begrüßung
8:30LibGALS: A library for GALS systems design and modelingFlorian Scheurer
9:00Java Embedded Processors specialized for GALS ProgramsDennis Smolka
9:30Energie- und zeitabhängige synchrone ProgrammierungNils Sauer
10:00Kaffeepause
10:30A Formally Verified Compiler for LustrePhilip Eumann
11:15Modular Verification of Synchronous ProgramsSören Domrös
12:00Mittagessen
14:00

Temporal Properties for Neuronal Archetypes using Synchronous Models

Lena Grimm
14:45The Dynamic Synchronous Language DSLAndreas Stange
15:30Kaffeepause
16:00WCET Semantics for Synchronous ProgramsNiklas Rentz
16:45Relaxing the Synchronous Approach for Mixed-Criticality SystemsLewe Andersen
17:30Schlusswort


Das zweite Blockseminar findet am Dienstag, den 6. Februar 2018 in der Uni in CAP4 R.1115 (RTSYS Labor) statt.

ZeitTagesordnungspunkt
10:10Begrüßung
10:15Eine Einordnung der Sprache ZélusJulian Pleines
10:45Symbolic Simulation of Dataflow Synchronous Programs with TimersLennart Ideler
11:15Synchrone Programme für Echtzeitsysteme mittels dynamischer TickfunktionenFelix von der Heide
11:45Synchronous-Reactive Web ProgrammingYannic Borgfeld
12:15Mittagessen
13:00ReactiveML, 10 Years Later - Ein ÜberblickThies Weber
13:30Reactive Languages and Complex Event ProcessingLars Viertel
14:00Koordination mehrerer Autonomer ManagerDennis Pehlke
14:30Schlusswort


Ausarbeitung, Vortrag, Review

...