Jeff W. Sanders

56 papers A 1B 9C 3Misc 2Journal 20Unranked 20
YearRankTypeTitle / Venue / Authors
2024 — conf
The Evolving Conscious Agent, I.
ISoLA (2)
Yifeng Chen, Jeff W. Sanders
2023 J jnl
A modal approach to conscious social agents.
Int. J. Softw. Tools Technol. Transf.
Yifeng Chen, Jeff W. Sanders
2023 — conf
Consciousness by Degree.
Theories of Programming and Formal Methods
Yifeng Chen, Jeff W. Sanders
2022 — conf
A Modal Approach to Consciousness of Agents.
ISoLA (3)
Yifeng Chen, Jeff W. Sanders
2018 — conf
Modelling the Transition to Distributed Ledgers.
ISoLA (3)
Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders
2015 — conf
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage.
ACSC
Graeme Smith, Jeff W. Sanders, Qin Li
2014 J jnl
A macro-level model for investigating the effect of directional bias on network coverage.
CoRR
Graeme Smith, Jeff W. Sanders, Qin Li
2014 J jnl
Compensation by design.
Formal Aspects Comput.
Xi Liu, Shaofa Yang, Jeff W. Sanders
2014 J jnl
Designing Adaptive Systems Using Teleo-Reactive Agents.
Trans. Comput. Collect. Intell.
Graeme Smith, Jeff W. Sanders, Kirsten Winter
2014 — conf
On Directional Bias for Network Coverage.
BIC-TA
Graeme Smith, Jeff W. Sanders, Qin Li
2013 B conf
Formal Modelling and Analysis of AODV.
ICECCS
Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu
2012 — conf
Denotational Semantics for a Probabilistic Timed Shared-Variable Language.
UTP
Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
2012 J jnl
Emergence and refinement.
Formal Aspects Comput.
Jeff W. Sanders, Graeme Smith
2012 J jnl
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
J. Log. Algebraic Methods Program.
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
2012 C conf
Using conventional reasoning techniques for self-organising systems.
PST
Graeme Smith, Jeff W. Sanders
2010 B conf
Abstraction of Object Graphs in Program Verification.
MPC
Yifeng Chen, Jeff W. Sanders
2010 — conf
Assuring Adaptive Behaviour in Self-Organising Systems.
SASO Workshops
Jeff W. Sanders, Graeme Smith
2010 — conf
Simulating Truly Concurrent CSP.
SBMF
Moritz Kleine, Jeff W. Sanders
2010 — conf
UTP and Sustainability.
UTP
Yifeng Chen, Jeff W. Sanders
2009 C conf
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.
SEW
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders
2009 — conf
Data Refinement with Probability in Mind.
REFINE@FMWeek
T. M. Rabehaja, Jeff W. Sanders
2009 B conf
Modelling and Verification of Web Navigation.
ICWE
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders
2009 — conf
Reasoning about a Distributed Probabilistic System.
CATS
Ukachukwu Ndukwu, Jeff W. Sanders
2009 Misc conf
Refinement Algebra with Explicit Probabilism.
TASE
T. M. Rabehaja, Jeff W. Sanders
2009 — conf
Refining Emergent Properties.
REFINE@FMWeek
Jeff W. Sanders, Graeme Smith
2009 B conf
Unifying Probability with Nondeterminism.
FM
Yifeng Chen, Jeff W. Sanders
2008 J jnl
Involutions on Relational Program Calculi.
Sci. Ann. Comput. Sci.
Ingrid Rewitzky, Jeff W. Sanders
2007 Misc conf
Dynamics of Control.
TASE
Jeff W. Sanders, Matteo Turilli
2007 — conf
Specification for Testing.
Formal Methods and Hybrid Real-Time Systems
Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
2006 B conf
Compositional Reasoning for Pointer Structures.
MPC
Yifeng Chen, Jeff W. Sanders
2006 — conf
Computations and Relational Bundles.
RelMiCS
Jeff W. Sanders
2006 — conf
Unifying Probability.
UTP
Jifeng He, Jeff W. Sanders
2005 — ed.
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers
25 Years CSP
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
2005 J jnl
The weakest specifunction.
Acta Informatica
Yifeng Chen, Jeff W. Sanders
2004 B conf
Heuristics for Refinement Relations.
SEFM
Florian Kammüller, Jeff W. Sanders
2004 C conf
Idempotent Relations in Isabelle/HOL.
ICTAC
Florian Kammüller, Jeff W. Sanders
2004 J jnl
Logic of global synchrony.
ACM Trans. Program. Lang. Syst.
Yifeng Chen, Jeff W. Sanders
2004 J jnl
On the Morality of Artificial Agents.
Minds Mach.
Luciano Floridi, Jeff W. Sanders
2003 J jnl
Top-Down Design of Bulk-Synchronous Parallel Programs.
Parallel Process. Lett.
Yifeng Chen, Jeff W. Sanders
2001 B conf
Logic of Global Synchrony.
CONCUR
Yifeng Chen, Jeff W. Sanders
2001 J jnl
Luciano Floridi, Philosophy and Computing: An introduction, London and New York: Routledge, 1999, xiv+242 pp., ISBN 0-415-18025-2.
Minds Mach.
Jeff W. Sanders
2001 J jnl
On the antisymmetry of Galois embeddings.
Inf. Process. Lett.
Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
2001 J jnl
Weakest Specifunctions for BSP.
Parallel Process. Lett.
Yifeng Chen, Jeff W. Sanders
2000 — conf
A calculus of signals.
ICECS
C. Ratzko, Jeff W. Sanders
2000 B conf
Quantum Programming.
MPC
Jeff W. Sanders, Paolo Zuliani
1997 — conf
A Refinement Calculus for Communicating Processes with State.
IWFM
Luming Lai, Jeff W. Sanders
1996 J jnl
Refinement-Oriented Probability for CSP.
Formal Aspects Comput.
Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
1995 J jnl
Specification by Interface Separation.
Formal Aspects Comput.
Ian J. Hayes, Jeff W. Sanders
1991 J jnl
An Incremental Specification of the Sliding-Window Protocol.
Distributed Comput.
Karen Paliwoda, Jeff W. Sanders
1991 — conf
On the Refinement of Non-Interference.
CSFW
John Graham-Cumming, Jeff W. Sanders
1990 J jnl
The Projection of Systolic Programs.
Formal Aspects Comput.
Christian Lengauer, Jeff W. Sanders
1989 — conf
A Hierarchical Approach to Hardware Design.
Concurrency: Theory, Language, And Architecture
Jeff W. Sanders
1989 B conf
The Projection of Systolic Programs.
MPC
Christian Lengauer, Jeff W. Sanders
1987 J jnl
Laws of Programming.
Commun. ACM
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
1987 J jnl
Prespecification in Data Refinement.
Inf. Process. Lett.
C. A. R. Hoare, Jifeng He, Jeff W. Sanders
1986 A conf
Data Refinement Refined.
ESOP
Jifeng He, C. A. R. Hoare, Jeff W. Sanders