Kilian Kempf

According to our database, Kilian Kempf authored at least 4 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Program transformations in the POLCA project.

Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2014

Direct handling of infeasible paths in the event dependency analysis.

Kilian Kempf, Frank Slomka

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

2011

Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs.

Kilian Kempf, Steffen Kollmann, Victor Pollex, Frank Slomka

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010

A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems.

Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010