A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems. - Steffen Kollmann; Victor Pollex; Kilian Kempf; Frank Slomka (ISoLA (2), 2010)

Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs. - Kilian Kempf; Steffen Kollmann; Victor Pollex; Frank Slomka (RTNS, 2011)

Direct handling of infeasible paths in the event dependency analysis. - Kilian Kempf; Frank Slomka (RTCSA, 2014)

Program transformations in the POLCA project. - Jan Kuper; Lutz Schubert; Kilian Kempf; Colin W. Glass; Daniel Rubio Bonilla; Manuel Carro (DATE, 2016)