| 2021 | CONCUR | Enabling Preserving Bisimulation Equivalence. | Rob van Glabbeek, Peter Hfner, Weiyou Wang |
| 2021 | LICS | Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. | Rob van Glabbeek, Peter Hfner, Ross Horne |
| 2019 | ESOP | A Process Algebra for Link Layer Protocols. | Rob van Glabbeek, Peter Hfner, Michael Markl |
| 2018 | IFM | Analysing AWN-Specifications Using mCRL2 (Extended Abstract). | Rob J. van Glabbeek, Peter Hfner, Djurre van der Wal |
| 2018 | ITP | Backwards and Forwards with Separation Logic. | Callum Bannister, Peter Hfner, Gerwin Klein |
| 2016 | ESOP | A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). | Emile Bres, Rob J. van Glabbeek, Peter Hfner |
| 2015 | SEFM | Formal Analysis of Proactive, Distributed Routing. | Mojgan Kamali, Peter Hfner, Maryam Kamali, Luigia Petre |
| 2014 | ATVA | A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. | Timothy Bourke, Rob J. van Glabbeek, Peter Hfner |
| 2014 | ITP | Showing Invariance Compositionally for a Process Algebra for Network Protocols. | Timothy Bourke, Rob J. van Glabbeek, Peter Hfner |
| 2013 | GPCE | Features, modularity, and variation points. | Don S. Batory, Peter Hfner, Bernhard Mller, Andreas Zelend |
| 2013 | MSWIM | Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. | Rob J. van Glabbeek, Peter Hfner, Wee Lum Tan, Marius Portmann |
| 2012 | ESOP | A Process Algebra for Wireless Mesh Networks. | Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2012 | ICNP | Towards a rigorous analysis of AODVv2 (DYMO). | Sarah Edenhofer, Peter Hfner |
| 2012 | MSWIM | A rigorous analysis of AODV and its variants. | Peter Hfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker |
| 2012 | TACAS | Automated Analysis of AODV Using UPPAAL. | Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2011 | GPCE | Feature interactions, products, and composition. | Don S. Batory, Peter Hfner, Jongwook Kim |
| 2010 | CADE | Automated Higher-order Reasoning about Quantales. | Han-Hing Dang, Peter Hfner |
| 2009 | MODELS | An extension for feature algebra. | Peter Hfner, Bernhard Mller |
| 2008 | CADE | On Automating the Calculus of Relations. | Peter Hfner, Georg Struth |
| 2008 | SEFM | Algebraic View Reconciliation. | Peter Hfner, Ridha Khdri, Bernhard Mller |
| 2007 | CADE | Automated Reasoning in Kleene Algebra. | Peter Hfner, Georg Struth |
| 2006 | FM | Feature Algebra. | Peter Hfner, Ridha Khdri, Bernhard Mller |