Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Jörg Hoffmann

Jörg Hoffmann (Professor)
 
 Campus E1 1 | 66123 Saarbrücken | 3.18

Publications:

Title Date Date Meta
Stackelberg Planning: Towards Effective Leader-Follower State Space Search 2018  2018   Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann  The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure 2018  2018   Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes  2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure (full version) [TechReport] 2018  2018   Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
State Space Search Nogood Learning: Online Refinement of Critical-Path Dead-End Detectors in Planning 2017  2017   Marcel Steinmetz, Jörg Hoffmann
Practical Undoability Checking via Contingent Planning 2016  2016   Jeanette Daum, Àlvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber  Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16)
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications 2016  2016   Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini  Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16)
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art 2016  2016   Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
Revisiting Goal Probability Analysis in Probabilistic Planning 2016  2016   Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet  Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16)
PriCL: Creating a Precedent. A Framework for Reasoning about Privacy Case Law 2015  2015   Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau  Proceedings of the 4th Conference on Principles of Security and Trust (POST)
Red-black planning: A new systematic approach to partial delete relaxation 2015  2015   Carmel Domshlak, Jörg Hoffmann, Michael Katz
Red-Black Planning: A New Tractability Analysis and Heuristic Function 2015  2015   Daniel Gnad, Jörg Hoffmann  Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15)
Simulated Penetration Testing: From Dijkstra to Turing Test++ 2015  2015   Jörg Hoffmann  Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015)
Optimizing Planning Domains by Automatic Action Schema Splitting 2014  2014   Carlos Areces, Facundo Bustos, Martín Ariel Dominguez, Jörg Hoffmann  Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2014)
Improved Features for Runtime Prediction of Domain-Independent Planners 2014  2014   Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown  Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2014)
Learning Pruning Rules for Heuristic Search Planning 2014  2014   Michal Krajnanský, Jörg Hoffmann, Olivier Buffet, Alan Fern  Proc. of the 21st European Conference on Artificial Intelligence (ECAI 2014)