Publications

You can also check out my Google scholar profile and DBLP probile.

Conference Publications

  • Speicher, P., Steinmetz, M., Hoffmann, J., Backes, M., & Künnemann, R. (2019, April). Towards automated network mitigation analysis. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (pp. 1971-1978). ACM. PDF download
  • Fickert, M., Gnad, D., Speicher, P., & Hoffmann, J. (2018). Saarplan: Combining saarland’s greatest planning techniques. IPC2018–Classical Tracks, 10-15. PDF download
  • Speicher, P., Steinmetz, M., Künnemann, R., Simeonovski, M., Pellegrino, G., Hoffmann, J., & Backes, M. (2018, April). Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. In 2018 IEEE European Symposium on Security and Privacy (EuroS&P) (pp. 77-91). IEEE. PDF download
  • Speicher, P., Steinmetz, M., Backes, M., Hoffmann, J., & Künnemann, R. (2018, April). Stackelberg planning: Towards effective leader-follower state space search. In Thirty-Second AAAI Conference on Artificial Intelligence. PDF download
  • Speicher, P., Steinmetz, M., Gnad, D., Hoffmann, J., & Gerevini, A. (2017, June). Beyond Red-Black Planning: Limited-Memory State Variables. In Twenty-Seventh International Conference on Automated Planning and Scheduling. PDF download