Testing Implementation Soundness of a WCET Tool (Prof. Reinhard Wilhelm, Saarland University)

Controlling Concurrent Change - Automating Critical Systems Integration (Prof. Rolf Ernst, TU Braunschweig)

The (DRAM) Memory Challenge in Embedded Computing Systems (Prof. Norbert Wehn, TU Kaiserslautern)

https://ls12-www.cs.tu-dortmund.de/daes/de/events/70th-marwedel-birthday-workshop.html