Philipp Sieweck

According to our database, Philipp Sieweck authored at least 2 papers in 2014.

Collaborative distances:

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

2014

Formal software verification for the migration of embedded code from single- to multicore systems.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Communication in Massively-Parallel SAT Solving.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014