David Müller

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 4

Top Topics

Concurrent Execution

Greedy Algorithm

Computational Modeling

Top Venues

J. Aerosp. Inf. Syst.

SpringSim (Mod4Sim)

Publications

Simon Reder, Fabian Kempf, Harald Bucher, Jürgen Becker, Panayiotis Alefragis, Nikolaos S. Voros, Stefanos Skalistis, Steven Derrien, Isabelle Puaut, Oliver Oey, Timo Stripf, Christian Ferdinand, Clément David, Peer Ulbig, David Müller, Umut Durak
Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications. J. Aerosp. Inf. Syst. 16 (11) (2019)
Claus B. Koch, Umut Durak, David Müller
Simulation-based verification for parallelization of model-based applications. SummerSim (2018)
Umut Durak, David Müller, Florian Möcke, Claus B. Koch
Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets. SpringSim (Mod4Sim) (2018)
Panayiotis Alefragis, George Theodoridis, Merkourios Katsimpris, Christos Valouxis, Christos Gogos, George Goulas, Nikolaos S. Voros, Simon Reder, Koray Kasnakli, Marcus Bednara, David Müller, Umut Durak, Jürgen Becker
Mapping and Scheduling Hard Real Time Applications on Multicore Systems - The ARGO Approach. ARC (2018)