Jeff W. Sanders

According to our database, Jeff W. Sanders authored at least 56 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

The Evolving Conscious Agent, I.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2023

A modal approach to conscious social agents.

Yifeng Chen, Jeff W. Sanders

Int. J. Softw. Tools Technol. Transf., December, 2023

Consciousness by Degree.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

A Modal Approach to Consciousness of Agents.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2018

Modelling the Transition to Distributed Ledgers.

Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders

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.

Graeme Smith, Jeff W. Sanders, Qin Li

Proceedings of the 38th Australasian Computer Science Conference, 2015

2014

Designing Adaptive Systems Using Teleo-Reactive Agents.

Graeme Smith, Jeff W. Sanders, Kirsten Winter

Trans. Comput. Collect. Intell., 2014

Compensation by design.

Xi Liu, Shaofa Yang, Jeff W. Sanders

Formal Aspects Comput., 2014

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

Graeme Smith, Jeff W. Sanders, Qin Li

CoRR, 2014

On Directional Bias for Network Coverage.

Graeme Smith, Jeff W. Sanders, Qin Li

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

2013

Formal Modelling and Analysis of AODV.

Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu

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.

Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin

J. Log. Algebraic Methods Program., 2012

Emergence and refinement.

Jeff W. Sanders, Graeme Smith

Formal Aspects Comput., 2012

Denotational Semantics for a Probabilistic Timed Shared-Variable Language.

Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin

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

Using conventional reasoning techniques for self-organising systems.

Graeme Smith, Jeff W. Sanders

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

Reasoning About Adaptivity of Agents and Multi-agent Systems.

Graeme Smith, Jeffrey W. Sanders, Kirsten Winter

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

2010

UTP and Sustainability.

Yifeng Chen, Jeff W. Sanders

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

Simulating Truly Concurrent CSP.

Moritz Kleine, Jeff W. Sanders

Proceedings of the Formal Methods: Foundations and Applications, 2010

Assuring Adaptive Behaviour in Self-Organising Systems.

Jeff W. Sanders, Graeme Smith

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

Abstraction of Object Graphs in Program Verification.

Yifeng Chen, Jeff W. Sanders

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

2009

Refining Emergent Properties.

Jeff W. Sanders, Graeme Smith

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Data Refinement with Probability in Mind.

T. M. Rabehaja, Jeff W. Sanders

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement Algebra with Explicit Probabilism.

T. M. Rabehaja, Jeff W. Sanders

Proceedings of the TASE 2009, 2009

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

Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders

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

Modelling and Verification of Web Navigation.

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders

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

Unifying Probability with Nondeterminism.

Yifeng Chen, Jeff W. Sanders

Proceedings of the FM 2009: Formal Methods, 2009

Reasoning about a Distributed Probabilistic System.

Ukachukwu Ndukwu, Jeff W. Sanders

Proceedings of the Theory of Computing 2009, 2009

Formal Development of Self-organising Systems.

Graeme Smith, Jeffrey W. Sanders

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

2008

Formal Ensemble Engineering.

Jeffrey W. Sanders, Graeme Smith

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

Involutions on Relational Program Calculi.

Ingrid Rewitzky, Jeff W. Sanders

Sci. Ann. Comput. Sci., 2008

2007

Dynamics of Control.

Jeff W. Sanders, Matteo Turilli

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

Specification for Testing.

Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders

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

2006

Unifying Probability.

Jifeng He, Jeff W. Sanders

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

Compositional Reasoning for Pointer Structures.

Yifeng Chen, Jeff W. Sanders

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

Computations and Relational Bundles.

Jeff W. Sanders

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

2005

The weakest specifunction.

Yifeng Chen, Jeff W. Sanders

Acta Informatica, 2005

2004

Logic of global synchrony.

Yifeng Chen, Jeff W. Sanders

ACM Trans. Program. Lang. Syst., 2004

On the Morality of Artificial Agents.

Luciano Floridi, Jeff W. Sanders

Minds Mach., 2004

Heuristics for Refinement Relations.

Florian Kammüller, Jeff W. Sanders

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

Idempotent Relations in Isabelle/HOL.

Florian Kammüller, Jeff W. Sanders

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Top-Down Design of Bulk-Synchronous Parallel Programs.

Yifeng Chen, Jeff W. Sanders

Parallel Process. Lett., 2003

2001

Weakest Specifunctions for BSP.

Yifeng Chen, Jeff W. Sanders

Parallel Process. Lett., 2001

Luciano Floridi, Philosophy and Computing: An introduction, London and New York: Routledge, 1999, xiv+242 pp., ISBN 0-415-18025-2.

Jeff W. Sanders

Minds Mach., 2001

On the antisymmetry of Galois embeddings.

Jochen Burghardt, Florian Kammüller, Jeff W. Sanders

Inf. Process. Lett., 2001

2000

Quantum Programming.

Jeff W. Sanders, Paolo Zuliani

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

A calculus of signals.

C. Ratzko, Jeff W. Sanders

Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000

1997

A Refinement Calculus for Communicating Processes with State.

Luming Lai, Jeff W. Sanders

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

1996

Refinement-Oriented Probability for CSP.

Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders

Formal Aspects Comput., 1996

1995

Specification by Interface Separation.

Ian J. Hayes, Jeff W. Sanders

Formal Aspects Comput., 1995

1991

An Incremental Specification of the Sliding-Window Protocol.

Karen Paliwoda, Jeff W. Sanders

Distributed Comput., 1991

On the Refinement of Non-Interference.

John Graham-Cumming, Jeff W. Sanders

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

1990

The Projection of Systolic Programs.

Christian Lengauer, Jeff W. Sanders

Formal Aspects Comput., 1990

1989

A Hierarchical Approach to Hardware Design.

Jeff W. Sanders

Proceedings of the Concurrency: Theory, 1989

1987

Prespecification in Data Refinement.

C. A. R. Hoare, Jifeng He, Jeff W. Sanders

Inf. Process. Lett., 1987

Laws of Programming.

C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin

Commun. ACM, 1987

1986

Data Refinement Refined.

Jifeng He, C. A. R. Hoare, Jeff W. Sanders

Proceedings of the ESOP 86, 1986