Jeff W. Sanders - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

UTP and SustainabilityYifeng Chen, Jeff W. Sanders. utp 2010: 46-73 [doi]

Abstraction of Object Graphs in Program VerificationYifeng Chen, Jeff W. Sanders. mpc 2010: 80-99 [doi]

Assuring Adaptive Behaviour in Self-Organising SystemsJeff W. Sanders, Graeme Smith. saso 2010: 172-177 [doi]

2009

2008

Involutions on Relational Program CalculiIngrid Rewitzky, Jeff W. Sanders. cuza, 18:129-171, 2008. [doi]

2007

Specification for TestingChris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders. birthday 2007: 280-299 [doi]

Dynamics of ControlJeff W. Sanders, Matteo Turilli. tase 2007: 440-449 [doi]

2006

Compositional Reasoning for Pointer StructuresYifeng Chen, Jeff W. Sanders. mpc 2006: 115-139 [doi]

Unifying ProbabilityJifeng He, Jeff W. Sanders. utp 2006: 173-199 [doi]

Computations and Relational BundlesJeff W. Sanders. RelMiCS 2006: 30-62 [doi]

2005

Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited PapersAli E. Abdallah, Cliff B. Jones, Jeff W. Sanders, editors, Volume 3525 of Lecture Notes in Computer Science, Springer, 2005.

The weakest specifunctionYifeng Chen, Jeff W. Sanders. ACTA, 41(7-8):383-414, 2005. [doi]

2004

Logic of global synchronyYifeng Chen, Jeff W. Sanders. TOPLAS, 26(2):221-262, 2004. [doi]

Idempotent Relations in Isabelle/HOLFlorian Kammüller, Jeff W. Sanders. ictac 2005: 310-324 [doi]

Heuristics for Refinement RelationsFlorian Kammüller, Jeff W. Sanders. sefm 2004: 292-299 [doi]

2003

Top-Down Design of Bulk-Synchronous Parallel ProgramsYifeng Chen, Jeff W. Sanders. ppl, 13(3):389-400, 2003. [doi]

2001

On the antisymmetry of Galois embeddingsJochen Burghardt, Florian Kammüller, Jeff W. Sanders. ipl, 79(2):57-63, 2001. [doi]

Weakest Specifunctions for BSPYifeng Chen, Jeff W. Sanders. ppl, 11(4):439-454, 2001.

Logic of Global SynchronyYifeng Chen, Jeff W. Sanders. concur 2001: 487-501 [doi]

2000

Quantum ProgrammingJeff W. Sanders, Paolo Zuliani. mpc 2000: 80-99

1997

A Refinement Calculus for Communicating Processes with StateLuming Lai, Jeff W. Sanders. iwfm 1997:

1996

Refinement-Oriented Probability for CSPCarroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders. fac, 8(6):617-647, 1996.

1995

Specification by Interface SeparationIan J. Hayes, Jeff W. Sanders. fac, 7(4):430-439, 1995.

1991

On the Refinement of Non-InterferenceJohn Graham-Cumming, Jeff W. Sanders. csfw 1991: 35-42

An Incremental Specification of the Sliding-Window ProtocolKaren Paliwoda, Jeff W. Sanders. dc, 5:83-94, 1991.

1990

The Projection of Systolic ProgramsChristian Lengauer, Jeff W. Sanders. fac, 2(3):273-293, 1990.

1989

The Projection of Systolic ProgramsChristian Lengauer, Jeff W. Sanders. mpc 1989: 307-324

A Hierarchical Approach to Hardware DesignJeff W. Sanders. concur 1991: 282-296

1987

Prespecification in Data RefinementC. A. R. Hoare, Jifeng He, Jeff W. Sanders. ipl, 25(2):71-76, 1987.

Laws of ProgrammingC. 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. CACM, 30(8):672-686, 1987.

1986

Data Refinement RefinedJifeng He, C. A. R. Hoare, Jeff W. Sanders. ESOP 1986: 187-196