The publications are split into theoretical constributions, case studies and theses.

Theoretical Contributions

• Schneider, S.A. & Treharne, H.E. & Evans N. (2005) Chunks: Component Verification in CSP||B. IFM'05, Springer. Slides. Winner of the conference best paper award.
• Schneider, S.A. & Treharne, H.E. (2005)CSP Theorems for Communicating B Machines. Formal Aspects of Computing, Special issue of IFM'04.
• Evans N. & Treharne H.E. (2005). Linking Semantic Models to Support CSP||B Consistency Checking. AVOCS'05. Slides.
• Schneider, S.A. & Treharne, H.E. (2004). Verifying Controlled Components. IFM'04: Integrating Formal Methods, LNCS 2999. Winner of the conference best paper award.
• Treharne, H.E. & Schneider, S.A. (2002). Communicating B machines. ZB2002: International Conference of Z and B Users LNCS 2272, Springer. sources(as eg.tar)
• Treharne, H.E. & Schneider, S.A. (2000). How to Drive a B Machine. ZB2000: 2nd International conference of Z and B Users, LNCS 1878, page 188-209,Springer. Winner of the conference best paper award.
• Treharne, H.E. & Schneider S.A. (1999). Using a Process Algebra to Control B OPERATIONS. Integrated Formal Methods, Springer.

• Schneider, S., Cavalcanti, A., Treharne, H., Woodcock, J.: A Layered Behavioural Model of Platelets, 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2006.
• Evans, N. & Treharne, H.E. (2005). Investigating a file transfer protocol using CSP and B. Software and Systems Modelling Journal 4:258-276.
• Evans, N. & Treharne, H.E. & Frappier M. & Laleau R. (2004). How to Verify Dynamic Properties of Information Systems. IEEE Software Engineering and Formal Methods Conference. Slides.
• Evans, N. & Treharne, H.E. & Schneider, S.A. (2003). Investigating a file transmission protocol using CSP and B. Workshop on State-oriented vs Event-oriented Thinking for Requirements Analysis. Slides.
• Treharne, H.E. & Schneider, S.A. & Bramble, M (2003). Combining Specification with Composition. ZB2003: International Conference of Z and B Users, LNCS 2651, Springer. Slides. Source files accompanying paper

• W. Ifill, S. Schneider and H. Treharne: Augmenting B with Control Annotations, B 2007, LNCS, 2007. This paper allows fragements of control flow expressed as annotations to be associated with machine operations.
• Schneider, S. A., Thai Son Hoang, Robinson, K. & Treharne, H (2005). Tank monitoring: a pAMN case study, Refinement Workshop, ENTCS.

• Treharne H.E. (2000). PhD Thesis, Royal Holloway, University of London.
• Bramble M. (2004). MPhil Thesis, Royal Holloway, University of London.