Kelter, Timon2015-04-082015-04-082015http://hdl.handle.net/2003/3399210.17877/DE290R-7209enWCETReal-timeEchtzeitCompilerProgrammanalyseData-flow analysisDatenflussanalyseVerifikation004WCET analysis and optimization for multi-core real-time systemsdoctoral thesis