Towards an Algebra of Hybrid Systems. - Peter Höfner; Bernhard Möller (RelMiCS, 2005)

Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System. - Alfons Huhn; Peter Höfner; Werner Kießling (ECDL, 2005)

Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. - Peter Höfner (IFM Doctoral Symposium, 2005)

Lazy Semiring Neighbours and Some Applications. - Peter Höfner; Bernhard Möller (RelMiCS, 2006)

Omega Algebra, Demonic Refinement Algebra and Commands. - Peter Höfner; Bernhard Möller; Kim Solin (RelMiCS, 2006)

Quantales and Temporal Logics. - Bernhard Möller; Peter Höfner; Georg Struth (AMAST, 2006)

Feature Algebra. - Peter Höfner; Ridha Khédri; Bernhard Möller (FM, 2006)

Automated Reasoning in Kleene Algebra. - Peter Höfner; Georg Struth (CADE, 2007)

Algebraic Structure of Web Services. - Peter Höfner; Florian Lautenbacher (WWV, 2007)

Can Refinement be Automated? - Peter Höfner; Georg Struth (REFINE@IFM, 2007)

Automated Reasoning for Hybrid Systems - Two Case Studies -. - Peter Höfner (RelMiCS, 2008)

Non-termination in Idempotent Semirings. - Peter Höfner; Georg Struth (RelMiCS, 2008)

On Automating the Calculus of Relations. - Peter Höfner; Georg Struth (IJCAR, 2008)

Algebraic View Reconciliation. - Peter Höfner; Ridha Khédri; Bernhard Möller (SEFM, 2008)

Algebraic Neighbourhood Logic. - Peter Höfner; Bernhard Möller (J. Log. Algebraic Methods Program., 2008)

Towards Algebraic Separation Logic. - Han-Hing Dang; Peter Höfner; Bernhard Möller (RelMiCS, 2009)

An extension for feature algebra. - Peter Höfner; Bernhard Möller (FOSD, 2009)

Automated verification of refinement laws. - Peter Höfner; Georg Struth; Geoff Sutcliffe (Ann. Math. Artif. Intell., 2009)

An algebra of hybrid systems. - Peter Höfner; Bernhard Möller (J. Log. Algebraic Methods Program., 2009)

Algebraic calculi for hybrid systems. - Peter Höfner (2009)

Automated Higher-order Reasoning about Quantales. - Han-Hing Dang; Peter Höfner (PAAR@IJCAR, 2010)

Algebraic notions of nontermination: Omega and divergence in idempotent semirings. - Peter Höfner; Georg Struth (J. Log. Algebraic Methods Program., 2010)

Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. - Han-Hing Dang; Peter Höfner (RAMiCS, 2011)

Towards an Algebra of Routing Tables. - Peter Höfner; Annabelle McIver (RAMiCS, 2011)

Feature interactions, products, and composition. - Don S. Batory; Peter Höfner; Jongwook Kim (GPCE, 2011)

Supplementing Product Families with Behaviour. - Peter Höfner; Ridha Khédri; Bernhard Möller (Int. J. Softw. Informatics, 2011)

Algebraic separation logic. - Han-Hing Dang; Peter Höfner; Bernhard Möller (J. Log. Algebraic Methods Program., 2011)

An algebra of product families. - Peter Höfner; Ridha Khédri; Bernhard Möller (Softw. Syst. Model., 2011)

Fixing Zeno gaps. - Peter Höfner; Bernhard Möller (Theor. Comput. Sci., 2011)

Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. - Peter Höfner; Bernhard Möller; Andreas Zelend (RAMiCS, 2012)

A Process Algebra for Wireless Mesh Networks. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (ESOP, 2012)

Towards a rigorous analysis of AODVv2 (DYMO). - Sarah Edenhofer; Peter Höfner (ICNP, 2012)

A rigorous analysis of AODV and its variants. - Peter Höfner; Rob J. van Glabbeek; Wee Lum Tan; Marius Portmann; Annabelle McIver; Ansgar Fehnker (MSWiM, 2012)

Automated Analysis of AODV Using UPPAAL. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (TACAS, 2012)

Preface. - Peter Höfner (Formal Aspects Comput., 2012)

Dijkstra, Floyd and Warshall meet Kleene. - Peter Höfner; Bernhard Möller (Formal Aspects Comput., 2012)

Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. - Peter Höfner; Maryam Kamali (FORMATS, 2013)

Features, modularity, and variation points. - Don S. Batory; Peter Höfner; Bernhard Möller; Andreas Zelend (FOSD, 2013)

Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. - Rob J. van Glabbeek; Peter Höfner; Wee Lum Tan; Marius Portmann (MSWiM, 2013)

Statistical Model Checking of Wireless Mesh Routing Protocols. - Peter Höfner; Annabelle McIver (NASA Formal Methods, 2013)

Topology-Based Mobility Models for Wireless Networks. - Ansgar Fehnker; Peter Höfner; Maryam Kamali; Vinay Mehta (QEST, 2013)

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (CoRR, 2013)

Automated Verification of Relational While-Programs. - Rudolf Berghammer; Peter Höfner; Insa Stucke (RAMiCS, 2014)

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. - Timothy Bourke; Rob J. van Glabbeek; Peter Höfner (ATVA, 2014)

Showing Invariance Compositionally for a Process Algebra for Network Protocols. - Timothy Bourke; Rob J. van Glabbeek; Peter Höfner (ITP, 2014)

Loop freedom of the (untimed) AODV routing protocol. - Timothy Bourke; Peter Höfner (Arch. Formal Proofs, 2014)

Hopscotch - reaching the target hop by hop. - Peter Höfner; Annabelle McIver (J. Log. Algebraic Methods Program., 2014)

Tool-Based Verification of a Relational Vertex Coloring Program. - Rudolf Berghammer; Peter Höfner; Insa Stucke (RAMiCS, 2015)

Structured Document Algebra in Action. - Don S. Batory; Peter Höfner; Dominik Köppl; Bernhard Möller; Andreas Zelend (Software, Services, and Systems, 2015)

Formal Analysis of Proactive, Distributed Routing. - Mojgan Kamali; Peter Höfner; Maryam Kamali; Luigia Petre (SEFM, 2015)

CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. - Rob J. van Glabbeek; Peter Höfner (Acta Informatica, 2015)

Modelling and Analysis of AODV in UPPAAL. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (CoRR, 2015)

Progress, Fairness and Justness in Process Algebra. - Rob J. van Glabbeek; Peter Höfner (CoRR, 2015)

Relational and algebraic methods in computer science. - Wolfram Kahl; Timothy G. Griffin; Peter Höfner (J. Log. Algebraic Methods Program., 2015)

A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). - Emile Bres; Rob J. van Glabbeek; Peter Höfner (ESOP, 2016)

Kleene Algebras with Domain. - Victor B. F. Gomes; Walter Guttmann; Peter Höfner; Georg Struth; Tjark Weber (Arch. Formal Proofs, 2016)

A Timed Process Algebra for Wireless Networks. - Emile Bres; Rob J. van Glabbeek; Peter Höfner (CoRR, 2016)

Modelling and verifying the AODV routing protocol. - Rob J. van Glabbeek; Peter Höfner; Marius Portmann; Wee Lum Tan (Distributed Comput., 2016)

Cardinality of relations with applications. - Rudolf Berghammer; Nikita Danilenko; Peter Höfner; Insa Stucke (Discret. Math., 2016)

Mechanizing a Process Algebra for Network Protocols. - Timothy Bourke; Rob J. van Glabbeek; Peter Höfner (J. Autom. Reason., 2016)

Cardinality of relations and relational approximation algorithms. - Rudolf Berghammer; Peter Höfner; Insa Stucke (J. Log. Algebraic Methods Program., 2016)

Relational and algebraic methods in computer science. - Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller (J. Log. Algebraic Methods Program., 2016)

Extended Feature Algebra. - Peter Höfner; Bernhard Möller (J. Log. Algebraic Methods Program., 2016)

Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. - Rob J. van Glabbeek; Peter Höfner (MARS@ETAPS, 2017)

Analysing Mutual Exclusion using Process Algebra with Signals. - Victor Dyseryn; Rob J. van Glabbeek; Peter Höfner (EXPRESS/SOS, 2017)

False Failure: Creating Failure Models for Separation Logic. - Callum Bannister; Peter Höfner (RAMiCS, 2018)

Analysing AWN-Specifications Using mCRL2 (Extended Abstract). - Rob J. van Glabbeek; Peter Höfner; Djurre van der Wal (IFM, 2018)

Backwards and Forwards with Separation Logic. - Callum Bannister; Peter Höfner; Gerwin Klein (ITP, 2018)

A Process Algebra for Link Layer Protocols. - Rob van Glabbeek; Peter Höfner; Michael Markl 002 (ESOP, 2019)

Progress, Justness, and Fairness. - Rob van Glabbeek; Peter Höfner (ACM Comput. Surv., 2019)

Relational and algebraic methods in computer science. - Peter Höfner; Damien Pous; Georg Struth (J. Log. Algebraic Methods Program., 2019)

Preface. - Peter Höfner; Carroll Morgan; Vaughan R. Pratt (Acta Informatica, 2020)

Relational Characterisations of Paths. - Walter Guttmann; Peter Höfner (Arch. Formal Proofs, 2020)

Formalising the Optimised Link State Routing Protocol. - Ryan Barry; Rob van Glabbeek; Peter Höfner (MARS@ETAPS, 2020)

Formal Models of the OSPF Routing Protocol. - Jack Drury; Peter Höfner; Weiyou Wang (MARS@ETAPS, 2020)

Relational characterisations of paths. - Rudolf Berghammer; Hitoshi Furusawa; Walter Guttmann; Peter Höfner (J. Log. Algebraic Methods Program., 2020)

Effect Algebras, Girard Quantales and Complementation in Separation Logic. - Callum Bannister; Peter Höfner; Georg Struth (RAMiCS, 2021)

Enabling Preserving Bisimulation Equivalence. - Rob van Glabbeek; Peter Höfner; Weiyou Wang (CONCUR, 2021)

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. - Rob van Glabbeek; Peter Höfner; Ross Horne (LICS, 2021)

Algorithmics. - Richard S. Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert G. L. T. Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra; Nicolas Wu (IFIP's Exciting First 60+ Years, 2021)

Advanced Models for the OSPF Routing Protocol. - Courtney Darville; Peter Höfner; Franc Ivankovic; Adam Pam (MARS@ETAPS, 2022)

A Lean-Congruence Format for EP-Bisimilarity. - Rob van Glabbeek; Peter Höfner; Weiyou Wang (EXPRESS/SOS, 2023)

Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting. - Xueying Qin; Liam O'Connor; Rob van Glabbeek; Peter Höfner; Ohad Kammar; Michel Steuwer (Zenodo, 2023)

Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting. - Xueying Qin; Liam O'Connor; Rob van Glabbeek; Peter Höfner; Ohad Kammar; Michel Steuwer (Zenodo, 2023)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (CoRR, 2024)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (The Practice of Formal Methods (I), 2024)

Shoggoth: A Formal Foundation for Strategic Rewriting. - Xueying Qin; Liam O'Connor; Rob van Glabbeek; Peter Höfner; Ohad Kammar; Michel Steuwer (Proc. ACM Program. Lang., 2024)