# Jeff W. Sanders

According to our database

Collaborative distances:

^{1}, Jeff W. Sanders authored at least 50 papers between 1986 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Modelling the Transition to Distributed Ledgers.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2015

A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage.

Proceedings of the 38th Australasian Computer Science Conference, 2015

2014

Designing Adaptive Systems Using Teleo-Reactive Agents.

Trans. Computational Collective Intelligence, 2014

A macro-level model for investigating the effect of directional bias on network coverage.

CoRR, 2014

On Directional Bias for Network Coverage.

Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

2013

Formal Modelling and Analysis of AODV.

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.

J. Log. Algebr. Program., 2012

Emergence and refinement.

Formal Asp. Comput., 2012

Denotational Semantics for a Probabilistic Timed Shared-Variable Language.

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Using conventional reasoning techniques for self-organising systems.

Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

Reasoning About Adaptivity of Agents and Multi-agent Systems.

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2010

UTP and Sustainability.

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Assuring Adaptive Behaviour in Self-Organising Systems.

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Abstraction of Object Graphs in Program Verification.

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Refining Emergent Properties.

Electr. Notes Theor. Comput. Sci., 2009

Data Refinement with Probability in Mind.

Electr. Notes Theor. Comput. Sci., 2009

Refinement Algebra with Explicit Probabilism.

Proceedings of the TASE 2009, 2009

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.

Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Modelling and Verification of Web Navigation.

Proceedings of the Web Engineering, 9th International Conference, 2009

Unifying Probability with Nondeterminism.

Proceedings of the FM 2009: Formal Methods, 2009

Reasoning about a Distributed Probabilistic System.

Proceedings of the Theory of Computing 2009, 2009

Formal Development of Self-organising Systems.

Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

2008

Formal Ensemble Engineering.

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Involutions on Relational Program Calculi.

Sci. Ann. Comp. Sci., 2008

2007

Dynamics of Control.

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Specification for Testing.

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Unifying Probability.

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Compositional Reasoning for Pointer Structures.

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Computations and Relational Bundles.

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

2005

The weakest specifunction.

Acta Inf., 2005

2004

Logic of global synchrony.

ACM Trans. Program. Lang. Syst., 2004

On the Morality of Artificial Agents.

Minds and Machines, 2004

Heuristics for Refinement Relations.

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Idempotent Relations in Isabelle/HOL.

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Top-Down Design of Bulk-Synchronous Parallel Programs.

Parallel Processing Letters, 2003

2001

Weakest Specifunctions for BSP.

Parallel Processing Letters, 2001

On the antisymmetry of Galois embeddings.

Inf. Process. Lett., 2001

Logic of Global Synchrony.

Proceedings of the CONCUR 2001, 2001

2000

Quantum Programming.

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1997

A Refinement Calculus for Communicating Processes with State.

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

1996

Refinement-Oriented Probability for CSP.

Formal Asp. Comput., 1996

1995

Specification by Interface Separation.

Formal Asp. Comput., 1995

1991

An Incremental Specification of the Sliding-Window Protocol.

Distributed Computing, 1991

On the Refinement of Non-Interference.

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

1990

The Projection of Systolic Programs.

Formal Asp. Comput., 1990

1989

The Projection of Systolic Programs.

Proceedings of the Mathematics of Program Construction, 1989

A Hierarchical Approach to Hardware Design.

Proceedings of the Concurrency: Theory, 1989

1987

Prespecification in Data Refinement.

Inf. Process. Lett., 1987

Laws of Programming.

Commun. ACM, 1987

1986

Data Refinement Refined.

Proceedings of the ESOP 86, 1986