Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie (HPSV)

Publikationen

2018

Thorsten Ehlers, Max Jonas Friese, Dirk Nowotka: Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs (SIES 2018)

2016

Thorsten Ehlers, Peter J. Stuckey: Parallelizing Constraint Programming with Learning (CPAIOR 2016)