Simulation-based verification for parallelization of model-based applications. - Claus B. Koch; Umut Durak; David Müller 005 (SummerSim, 2018)

Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets. - Umut Durak; David Müller 005; Florian Möcke; Claus B. Koch (SpringSim (Mod4Sim), 2018)