Peter Höfner

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 35

Top Venues

CoRR

J. Log. Algebraic Methods Program.

MARS@ETAPS

RAMiCS

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. CoRR (2024)
Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8 (POPL) (2024)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
A Lean-Congruence Format for EP-Bisimilarity. CoRR (2023)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS (2023)
Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam
Advanced Models for the OSPF Routing Protocol. MARS@ETAPS (2022)
Rob van Glabbeek, Peter Höfner, Ross Horne
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR (2021)
Callum Bannister, Peter Höfner, Georg Struth
Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS (2021)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling Preserving Bisimulation Equivalence. CoRR (2021)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling Preserving Bisimulation Equivalence. CONCUR (2021)
Rob van Glabbeek, Peter Höfner, Ross Horne
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS (2021)
Ryan Barry, Rob van Glabbeek, Peter Höfner
Formalising the Optimised Link State Routing Protocol. MARS@ETAPS (2020)
Walter Guttmann, Peter Höfner
Relational Characterisations of Paths. Arch. Formal Proofs 2020 (2020)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational characterisations of paths. J. Log. Algebraic Methods Program. 117 (2020)
Peter Höfner, Carroll Morgan, Vaughan R. Pratt
Preface. Acta Informatica 57 (3-5) (2020)
Jack Drury, Peter Höfner, Weiyou Wang
Formal Models of the OSPF Routing Protocol. MARS@ETAPS (2020)
Rob van Glabbeek, Peter Höfner, Michael Markl
A Process Algebra for Link Layer Protocols. ESOP (2019)
Peter Höfner, Damien Pous, Georg Struth
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 106 (2019)
Rob van Glabbeek, Peter Höfner
Progress, Justness, and Fairness. ACM Comput. Surv. 52 (4) (2019)
Rob van Glabbeek, Peter Höfner, Michael Markl
A Process Algebra for Link Layer Protocols. CoRR (2019)
Rob van Glabbeek, Peter Höfner
Progress, Justness and Fairness. CoRR (2018)
Callum Bannister, Peter Höfner, Gerwin Klein
Backwards and Forwards with Separation Logic. ITP (2018)
Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal
Analysing AWN-Specifications Using mCRL2 (Extended Abstract). IFM (2018)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational Characterisations of Paths. CoRR (2018)
Callum Bannister, Peter Höfner
False Failure: Creating Failure Models for Separation Logic. RAMiCS (2018)
Rob J. van Glabbeek, Peter Höfner
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. MARS@ETAPS (2017)
Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner
Analysing Mutual Exclusion using Process Algebra with Signals. EXPRESS/SOS (2017)
Peter Höfner, Bernhard Möller
Extended Feature Algebra. J. Log. Algebraic Methods Program. 85 (5) (2016)
Emile Bres, Rob J. van Glabbeek, Peter Höfner
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). ESOP (2016)
Emile Bres, Rob J. van Glabbeek, Peter Höfner
A Timed Process Algebra for Wireless Networks. CoRR (2016)
Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke
Cardinality of relations with applications. Discret. Math. 339 (12) (2016)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. 56 (3) (2016)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Cardinality of relations and relational approximation algorithms. J. Log. Algebraic Methods Program. 85 (2) (2016)
Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan
Modelling and verifying the AODV routing protocol. Distributed Comput. 29 (4) (2016)
Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 85 (4) (2016)
Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
Kleene Algebras with Domain. Arch. Formal Proofs 2016 (2016)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
Automated Analysis of AODV using UPPAAL. CoRR (2015)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
A Process Algebra for Wireless Mesh Networks. CoRR (2015)
Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann
Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops. CoRR (2015)
Wolfram Kahl, Timothy G. Griffin, Peter Höfner
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 84 (3) (2015)
Rob J. van Glabbeek, Peter Höfner
Progress, Fairness and Justness in Process Algebra. CoRR (2015)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS (2015)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Mechanizing a Process Algebra for Network Protocols. CoRR (2015)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
Modelling and Analysis of AODV in UPPAAL. CoRR (2015)
Rob J. van Glabbeek, Peter Höfner
CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Acta Informatica 52 (2-3) (2015)
Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan
Modelling and Verifying the AODV Routing Protocol. CoRR (2015)
Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
A Rigorous Analysis of AODV and its Variants. CoRR (2015)
Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
Structured Document Algebra in Action. Software, Services, and Systems (2015)
Rob J. van Glabbeek, Peter Höfner
CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. CoRR (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Formal Analysis of Proactive, Distributed Routing. SEFM (2015)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR (2015)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Automated Verification of Relational While-Programs. RAMiCS (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Showing invariance compositionally for a process algebra for network protocols. CoRR (2014)
Peter Höfner, Annabelle McIver
Hopscotch - reaching the target hop by hop. J. Log. Algebraic Methods Program. 83 (2) (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA (2014)
Timothy Bourke, Peter Höfner
Loop freedom of the (untimed) AODV routing protocol. Arch. Formal Proofs 2014 (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP (2014)
Peter Höfner, Maryam Kamali
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. FORMATS (2013)
Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend
Features, modularity, and variation points. FOSD (2013)
Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta
Topology-Based Mobility Models for Wireless Networks. QEST (2013)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR (2013)
Peter Höfner, Annabelle McIver
Statistical Model Checking of Wireless Mesh Routing Protocols. NASA Formal Methods (2013)
Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. MSWiM (2013)
Sarah Edenhofer, Peter Höfner
Towards a rigorous analysis of AODVv2 (DYMO). ICNP (2012)
Peter Höfner, Bernhard Möller, Andreas Zelend
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMiCS (2012)
Peter Höfner
Preface. Formal Aspects Comput. 24 (4-6) (2012)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
Automated Analysis of AODV Using UPPAAL. TACAS (2012)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
A Process Algebra for Wireless Mesh Networks. ESOP (2012)
Peter Höfner, Bernhard Möller
Dijkstra, Floyd and Warshall meet Kleene. Formal Aspects Comput. 24 (4-6) (2012)
Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
A rigorous analysis of AODV and its variants. MSWiM (2012)
Peter Höfner, Ridha Khédri, Bernhard Möller
An algebra of product families. Softw. Syst. Model. 10 (2) (2011)
Peter Höfner, Bernhard Möller
Fixing Zeno gaps. Theor. Comput. Sci. 412 (28) (2011)
Han-Hing Dang, Peter Höfner
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMiCS (2011)
Don S. Batory, Peter Höfner, Jongwook Kim
Feature interactions, products, and composition. GPCE (2011)
Peter Höfner, Annabelle McIver
Towards an Algebra of Routing Tables. RAMiCS (2011)
Han-Hing Dang, Peter Höfner, Bernhard Möller
Algebraic separation logic. J. Log. Algebraic Methods Program. 80 (6) (2011)
Peter Höfner, Ridha Khédri, Bernhard Möller
Supplementing Product Families with Behaviour. Int. J. Softw. Informatics 5 (1-2) (2011)
Peter Höfner, Georg Struth
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebraic Methods Program. 79 (8) (2010)
Han-Hing Dang, Peter Höfner
Automated Higher-order Reasoning about Quantales. PAAR@IJCAR (2010)
Peter Höfner, Bernhard Möller
An extension for feature algebra. FOSD (2009)
Han-Hing Dang, Peter Höfner, Bernhard Möller
Towards Algebraic Separation Logic. RelMiCS (2009)
Peter Höfner, Georg Struth, Geoff Sutcliffe
Automated verification of refinement laws. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Peter Höfner, Bernhard Möller
An algebra of hybrid systems. J. Log. Algebraic Methods Program. 78 (2) (2009)
Peter Höfner, Bernhard Möller
Algebraic Neighbourhood Logic. J. Log. Algebraic Methods Program. 76 (1) (2008)
Peter Höfner, Georg Struth
On Automating the Calculus of Relations. IJCAR (2008)
Peter Höfner
Automated Reasoning for Hybrid Systems - Two Case Studies -. RelMiCS (2008)
Peter Höfner, Florian Lautenbacher
Algebraic Structure of Web Services. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Peter Höfner, Georg Struth
Can Refinement be Automated? Electron. Notes Theor. Comput. Sci. 201 (2008)
Peter Höfner, Georg Struth
Non-termination in Idempotent Semirings. RelMiCS (2008)
Peter Höfner, Ridha Khédri, Bernhard Möller
Algebraic View Reconciliation. SEFM (2008)
Peter Höfner
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. Electron. Notes Theor. Comput. Sci. 191 (2007)
Peter Höfner, Georg Struth
Automated Reasoning in Kleene Algebra. CADE (2007)
Peter Höfner, Bernhard Möller, Kim Solin
Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS (2006)
Bernhard Möller, Peter Höfner, Georg Struth
Quantales and Temporal Logics. AMAST (2006)
Peter Höfner, Bernhard Möller
Lazy Semiring Neighbours and Some Applications. RelMiCS (2006)
Peter Höfner, Ridha Khédri, Bernhard Möller
Feature Algebra. FM (2006)
Peter Höfner, Bernhard Möller
Towards an Algebra of Hybrid Systems. RelMiCS (2005)
Alfons Huhn, Peter Höfner, Werner Kießling
Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System. ECDL (2005)

Peter Höfner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Höfner