Christian Scholer

Computing optimal communication schedules for time-triggered networks using an SMT solver

Roman Obermaisser, Rene Krenz-Baath, Ayman Murshed, 2016, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).

Optimal SAT-based scheduler for time-triggered networks-on-a-chip

Roman Obermaisser, Rene Krenz-Baath, Ayman Murshed, 2015, 10th IEEE International Symposium on Industrial Embedded Systems (SIES).