| Stackelberg planning: Towards effective leader-follower state space search P Speicher, M Steinmetz, M Backes, J Hoffmann, R Künnemann Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 45 | 2018 |
| Towards automated network mitigation analysis P Speicher, M Steinmetz, J Hoffmann, M Backes, R Künnemann Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1971-1978, 2019 | 32 | 2019 |
| Towards Automated Network Mitigation Analysis (extended) P Speicher, M Steinmetz, J Hoffmann, M Backes, R Künnemann arXiv preprint arXiv:1705.05088, 2017 | 31* | 2017 |
| SaarPlan: Combining Saarland’s Greatest Planning Techniques M Fickert, D Gnad, P Speicher, J Hoffmann | 21* | |
| Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure P Speicher, M Steinmetz, R Künnemann, M Simeonovski, G Pellegrino, ... | 19 | 2018 |
| Faster Stackelberg Planning via Symbolic Search and Information Sharing À Torralba, P Speicher, R Künnemann, M Steinmetz, J Hoffmann Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11998 …, 2021 | 14 | 2021 |
| Pareto-Optimal Defenses for the Web Infrastructure: Theory and Practice G Di Tizio, P Speicher, M Simeonovski, M Backes, B Stock, R Künnemann ACM Transactions on Privacy and Security 26 (2), 1-36, 2023 | 6 | 2023 |
| Simulated penetration testing and mitigation analysis P Speicher Saarländische Universitäts-und Landesbibliothek, 2022 | 4 | 2022 |
| Beyond Red-Black Planning: Limited-Memory State Variables P Speicher, M Steinmetz, D Gnad, J Hoffmann, M Steinmetz, G Alfonso | 4 | 2017 |
| Planning in the Browser N Tran, P Speicher, R Künnemann, M Backes, A Torralba, J Hoffmann System Demonstration at the 30th International Conference on Automated …, 2020 | 2 | 2020 |
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
