# Peter Höfner

According to our database

Collaborative distances:

^{1}, Peter Höfner authored at least 64 papers between 2005 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

Backwards and Forwards with Separation Logic.

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Analysing AWN-Specifications Using mCRL2 (Extended Abstract).

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

False Failure: Creating Failure Models for Separation Logic.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Analysing Mutual Exclusion using Process Algebra with Signals.

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, 2017

Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack.

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

2016

Extended Feature Algebra.

J. Log. Algebr. Meth. Program., 2016

Relational and algebraic methods in computer science.

J. Log. Algebr. Meth. Program., 2016

Cardinality of relations and relational approximation algorithms.

J. Log. Algebr. Meth. Program., 2016

Mechanizing a Process Algebra for Network Protocols.

J. Autom. Reasoning, 2016

Cardinality of relations with applications.

Discrete Mathematics, 2016

Modelling and verifying the AODV routing protocol.

Distributed Computing, 2016

Kleene Algebras with Domain.

Archive of Formal Proofs, 2016

A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract).

Proceedings of the Programming Languages and Systems, 2016

2015

Relational and algebraic methods in computer science.

J. Log. Algebr. Meth. Program., 2015

CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.

Acta Inf., 2015

Formal Analysis of Proactive, Distributed Routing.

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Structured Document Algebra in Action.

Proceedings of the Software, 2015

Tool-Based Verification of a Relational Vertex Coloring Program.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Hopscotch - reaching the target hop by hop.

J. Log. Algebr. Meth. Program., 2014

Loop freedom of the (untimed) AODV routing protocol.

Archive of Formal Proofs, 2014

Showing Invariance Compositionally for a Process Algebra for Network Protocols.

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.

Proceedings of the Automated Technology for Verification and Analysis, 2014

Automated Verification of Relational While-Programs.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Topology-Based Mobility Models for Wireless Networks.

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Statistical Model Checking of Wireless Mesh Routing Protocols.

Proceedings of the NASA Formal Methods, 2013

Sequence numbers do not guarantee loop freedom: AODV can yield routing loops.

Proceedings of the 16th ACM International Conference on Modeling, 2013

Features, modularity, and variation points.

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Dijkstra, Floyd and Warshall meet Kleene.

Formal Asp. Comput., 2012

Preface.

Formal Asp. Comput., 2012

Automated Analysis of AODV Using UPPAAL.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

A rigorous analysis of AODV and its variants.

Proceedings of the 15th ACM International Conference on Modeling, 2012

Towards a rigorous analysis of AODVv2 (DYMO).

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

A Process Algebra for Wireless Mesh Networks.

Proceedings of the Programming Languages and Systems, 2012

Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Fixing Zeno gaps.

Theor. Comput. Sci., 2011

An algebra of product families.

Software and System Modeling, 2011

Algebraic separation logic.

J. Log. Algebr. Program., 2011

Supplementing Product Families with Behaviour.

Int. J. Software and Informatics, 2011

Feature interactions, products, and composition.

Proceedings of the Generative Programming And Component Engineering, 2011

Towards an Algebra of Routing Tables.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Variable Side Conditions and Greatest Relations in Algebraic Separation Logic.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Algebraic notions of nontermination: Omega and divergence in idempotent semirings.

J. Log. Algebr. Program., 2010

Automated Higher-order Reasoning about Quantales.

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2009

Algebraic calculi for hybrid systems.

PhD thesis, 2009

An algebra of hybrid systems.

J. Log. Algebr. Program., 2009

Automated verification of refinement laws.

Ann. Math. Artif. Intell., 2009

An extension for feature algebra.

Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Towards Algebraic Separation Logic.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Algebraic Neighbourhood Logic.

J. Log. Algebr. Program., 2008

Can Refinement be Automated?

Electr. Notes Theor. Comput. Sci., 2008

Algebraic Structure of Web Services.

Electr. Notes Theor. Comput. Sci., 2008

Algebraic View Reconciliation.

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

On Automating the Calculus of Relations.

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Non-termination in Idempotent Semirings.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Automated Reasoning for Hybrid Systems - Two Case Studies -.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic.

Electr. Notes Theor. Comput. Sci., 2007

Automated Reasoning in Kleene Algebra.

Proceedings of the Automated Deduction, 2007

2006

Feature Algebra.

Proceedings of the FM 2006: Formal Methods, 2006

Quantales and Temporal Logics.

Proceedings of the Algebraic Methodology and Software Technology, 2006

Omega Algebra, Demonic Refinement Algebra and Commands.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Lazy Semiring Neighbours and Some Applications.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System.

Proceedings of the Research and Advanced Technology for Digital Libraries, 2005

Towards an Algebra of Hybrid Systems.

Proceedings of the Relational Methods in Computer Science, 2005