Communication in Massively-Parallel SAT Solving. - Thorsten Ehlers; Dirk Nowotka; Philipp Sieweck (ICTAI, 2014)

Formal software verification for the migration of embedded code from single- to multicore systems. - Thorsten Ehlers; Dirk Nowotka; Philipp Sieweck; Johannes Traub (Software Engineering, 2014)

PrETi: Predicting Execution Time in Early Stage with LLVM and Machine Learning. - Risheng Xu; Philipp Sieweck; Hermann von Hasseln; Dirk Nowotka (CoRR, 2025)