Peter Höfner

Ross Horne

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Enabling Preserving Bisimulation Equivalence.

[BibT_eX]

[DOI]

Weiyou Wang

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Effect Algebras, Girard Quantales and Complementation in Separation Logic.

[BibT_eX]

[DOI]

Callum Bannister

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

2020

Relational characterisations of paths.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Formal Models of the OSPF Routing Protocol.

[BibT_eX]

[DOI]

Jack Drury

Weiyou Wang

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Formalising the Optimised Link State Routing Protocol.

[BibT_eX]

[DOI]

Ryan Barry

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Relational Characterisations of Paths.

[BibT_eX]

[DOI]

Walter Guttmann

Arch. Formal Proofs, 2020

Preface.

[BibT_eX]

[DOI]

Carroll Morgan

Vaughan R. Pratt

Acta Informatica, 2020

2019

Relational and algebraic methods in computer science.

[BibT_eX]

[DOI]

Damien Pous

J. Log. Algebraic Methods Program., 2019

Progress, Justness, and Fairness.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

A Process Algebra for Link Layer Protocols.

[BibT_eX]

[DOI]

Michael Markl

Proceedings of the Programming Languages and Systems, 2019

2018

Backwards and Forwards with Separation Logic.

[BibT_eX]

[DOI]

Callum Bannister

Gerwin Klein

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

Analysing AWN-Specifications Using mCRL2 (Extended Abstract).

[BibT_eX]

[DOI]

Djurre van der Wal

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

False Failure: Creating Failure Models for Separation Logic.

[BibT_eX]

[DOI]

Callum Bannister

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

2017

Analysing Mutual Exclusion using Process Algebra with Signals.

[BibT_eX]

[DOI]

Victor Dyseryn

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

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

[BibT_eX]

[DOI]

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

2016

Extended Feature Algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Relational and algebraic methods in computer science.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Cardinality of relations and relational approximation algorithms.

[BibT_eX]

[DOI]

Rudolf Berghammer

Insa Stucke

J. Log. Algebraic Methods Program., 2016

Mechanizing a Process Algebra for Network Protocols.

[BibT_eX]

[DOI]

J. Autom. Reason., 2016

Cardinality of relations with applications.

[BibT_eX]

[DOI]

Discret. Math., 2016

Modelling and verifying the AODV routing protocol.

[BibT_eX]

[DOI]

Distributed Comput., 2016

A Timed Process Algebra for Wireless Networks.

[BibT_eX]

[DOI]

Emile Bres

CoRR, 2016

Kleene Algebras with Domain.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2016

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

[BibT_eX]

[DOI]

Emile Bres

Proceedings of the Programming Languages and Systems, 2016

2015

Relational and algebraic methods in computer science.

[BibT_eX]

[DOI]

Wolfram Kahl

Timothy G. Griffin

J. Log. Algebraic Methods Program., 2015

Progress, Fairness and Justness in Process Algebra.

[BibT_eX]

[DOI]

CoRR, 2015

Modelling and Analysis of AODV in UPPAAL.

[BibT_eX]

[DOI]

CoRR, 2015

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

[BibT_eX]

[DOI]

Acta Informatica, 2015

Formal Analysis of Proactive, Distributed Routing.

[BibT_eX]

[DOI]

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

Structured Document Algebra in Action.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

Tool-Based Verification of a Relational Vertex Coloring Program.

[BibT_eX]

[DOI]

Rudolf Berghammer

Insa Stucke

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

2014

Hopscotch - reaching the target hop by hop.

[BibT_eX]

[DOI]

Annabelle McIver

J. Log. Algebraic Methods Program., 2014

Loop freedom of the (untimed) AODV routing protocol.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2014

Showing Invariance Compositionally for a Process Algebra for Network Protocols.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

Automated Verification of Relational While-Programs.

[BibT_eX]

[DOI]

Rudolf Berghammer

Insa Stucke

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.

[BibT_eX]

[DOI]

CoRR, 2013

Topology-Based Mobility Models for Wireless Networks.

[BibT_eX]

[DOI]

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

Statistical Model Checking of Wireless Mesh Routing Protocols.

[BibT_eX]

[DOI]

Annabelle McIver

Proceedings of the NASA Formal Methods, 2013

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

[BibT_eX]

[DOI]

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

Features, modularity, and variation points.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Maryam Kamali

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

2012

Dijkstra, Floyd and Warshall meet Kleene.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Preface.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Automated Analysis of AODV Using UPPAAL.

[BibT_eX]

[DOI]

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

A rigorous analysis of AODV and its variants.

[BibT_eX]

[DOI]

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

Towards a rigorous analysis of AODVv2 (DYMO).

[BibT_eX]

[DOI]

Sarah Edenhofer

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

A Process Algebra for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

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

[BibT_eX]

[DOI]

Andreas Zelend

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

2011

Fixing Zeno gaps.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

An algebra of product families.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Algebraic separation logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Supplementing Product Families with Behaviour.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Feature interactions, products, and composition.

[BibT_eX]

[DOI]

Don S. Batory

Jongwook Kim

Proceedings of the Generative Programming And Component Engineering, 2011

Towards an Algebra of Routing Tables.

[BibT_eX]

[DOI]

Annabelle McIver

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

Variable Side Conditions and Greatest Relations in Algebraic Separation Logic.

[BibT_eX]

[DOI]

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

2010

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

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Automated Higher-order Reasoning about Quantales.

[BibT_eX]

[DOI]

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

2009

Algebraic calculi for hybrid systems.

[BibT_eX]

[DOI]

PhD thesis, 2009

An algebra of hybrid systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Automated verification of refinement laws.

[BibT_eX]

[DOI]

Geoff Sutcliffe

Ann. Math. Artif. Intell., 2009

An extension for feature algebra.

[BibT_eX]

[DOI]

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

Towards Algebraic Separation Logic.

[BibT_eX]

[DOI]

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

2008

Algebraic Neighbourhood Logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Algebraic View Reconciliation.

[BibT_eX]

[DOI]

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

On Automating the Calculus of Relations.

[BibT_eX]

[DOI]

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

Non-termination in Idempotent Semirings.

[BibT_eX]

[DOI]

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

Automated Reasoning for Hybrid Systems - Two Case Studies -.

[BibT_eX]

[DOI]

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

2007

Can Refinement be Automated?

[BibT_eX]

[DOI]

Proceedings of the BCS-FACS Refinement Workshop, 2007

Algebraic Structure of Web Services.

[BibT_eX]

[DOI]

Florian Lautenbacher

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Automated Reasoning in Kleene Algebra.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

2006

Feature Algebra.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

Quantales and Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

Omega Algebra, Demonic Refinement Algebra and Commands.

[BibT_eX]

[DOI]

Kim Solin

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

Lazy Semiring Neighbours and Some Applications.

[BibT_eX]

[DOI]

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

2005

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

[BibT_eX]

[DOI]

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

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

[BibT_eX]

[DOI]

Alfons Huhn

Werner Kießling

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

Towards an Algebra of Hybrid Systems.

[BibT_eX]

[DOI]