Peter Höfner

According to our database1, Peter Höfner
  • authored at least 74 papers between 2005 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

A Timed Process Algebra for Wireless Networks.
CoRR, 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

A Rigorous Analysis of AODV and its Variants.
CoRR, 2015

Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops.
CoRR, 2015

Modelling and Verifying the AODV Routing Protocol.
CoRR, 2015

CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.
CoRR, 2015

Progress, Fairness and Justness in Process Algebra.
CoRR, 2015

Automated Analysis of AODV using UPPAAL.
CoRR, 2015

A Process Algebra for Wireless Mesh Networks.
CoRR, 2015

Modelling and Analysis of AODV in UPPAAL.
CoRR, 2015

Mechanizing a Process Algebra for Network Protocols.
CoRR, 2015

A mechanized proof of loop freedom of the (untimed) AODV routing protocol.
CoRR, 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

Showing invariance compositionally for a process algebra for network protocols.
CoRR, 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
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.
CoRR, 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


  Loading...