Jeff W. Sanders
According to our database1, Jeff W. Sanders authored at least 47 papers between 1986 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Modelling the Transition to Distributed Ledgers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage.
Proceedings of the 38th Australasian Computer Science Conference, 2015
Designing Adaptive Systems Using Teleo-Reactive Agents.
Trans. Computational Collective Intelligence, 2014
On Directional Bias for Network Coverage.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014
Formal Modelling and Analysis of AODV.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
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
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
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
Formal Ensemble Engineering.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008
Involutions on Relational Program Calculi.
Sci. Ann. Comp. Sci., 2008
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
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
The weakest specifunction.
Acta Inf., 2005
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
Top-Down Design of Bulk-Synchronous Parallel Programs.
Parallel Processing Letters, 2003
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
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000
A Refinement Calculus for Communicating Processes with State.
Proceedings of the 1st Irish Workshop on Formal Methods, 1997
Refinement-Oriented Probability for CSP.
Formal Asp. Comput., 1996
Specification by Interface Separation.
Formal Asp. Comput., 1995
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
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
Prespecification in Data Refinement.
Inf. Process. Lett., 1987
Laws of Programming.
Commun. ACM, 1987
Data Refinement Refined.
Proceedings of the ESOP 86, 1986