Hendrik Speidel

According to our database, Hendrik Speidel authored at least 2 papers in 2011.

Collaborative distances:

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

2011

Feature-Aware Verification

Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer

CoRR, 2011

Detection of feature interactions using feature-aware verification.

Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011