Research & Publications:

(Click on the links to obtain ps files.)

Selected recent fully-refereed publications:

• Responsiveness of Interacting Components, with JE Sinclair and AW Roscoe, Formal Aspects of Computing, Springer Verlaag, (accepted for publication). -- facsjjb2.ps
• Motivating Study of Formal Methods in the Classroom, with JE Sinclair, Symposium on Teaching Formal Methods, sponsored by Formal Methods Europe and CoLognet, University of Ghent, Belgium, Nov 18-19, 2004. -- fmed21.ps
• Combining Independent Specifications, with J Sinclair, FASE 2001, Fundamental Approaches to Software Engineering, Genoa, April 2001, Lecture Notes in Computer Science, LNCS, Springer, vol 2029. -- fase3.ps
• Refinement-Preserving Plug-in Components , (invited) with J Sinclair, First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Special Session on Security and Concurrency, 20th-21st July, Cork, Ireland 2000. Electronic Notes in Computer Science, vol 40, Dec 2001,Elsevier Science Publishers. Also presented at Workshop on Modelling and Verification of Large and Unbounded Systems, jointly organised by Defence Evaluation and Research Agency (DERA), Formal Systems (Europe), and the University of Oxford, 29/30 July, 2000.
  -- plugel.ps
• Automated Analysis of Networks, with DM Jackson, B Deianov, and GM Reed, Dependable Network Computing, chapter in book edited by DR Avresky, Kluwer Academic Publishers, Boston, 2000. (contact me directly for this)
• Routing - Challenge to Formal Methods, with J. Sinclair and GM Reed, International Conference on Parallel and Distributed Processing Techniques and Applications, July, Las Vegas, NA USA, 1999. (contact me directly for this)
• Model Checking versus Deductive Reasoning: Two Formal Approaches for System Development, with J Sinclair and F Guigand, In Integrated Formal Methods '99, York, June 1999.-- werwics5.ps
• Verifying End-to-End Protocols Using Induction with CSP/FDR, with S Creese, Parallel and Distributed Processing, 13th International Parallel Processing Symposium and 10th International Symposium on Parallel and Distributed Processing, Puerto Rico, Lecture Notes in Computer Science, LNCS 1586, Springer 1999.
  -- inlncs.ps

• Formal Methods and Industrial Strength Computer Networks. (invited) In Proceedings of Requirements Targeting Software and Systems Engineering, Bernreid, Germany, November 1997. Lecture Notes in Computer Science, LNCS 1526, Springer 1998.
  -- WORKSOP1.ps
• Automated Formal Analysis of Networks: FDR models for arbitrary topologies and flow-control mechanisms, with D Jackson, B Deinov and GM Reed, In Proceedings of Joint European Conferences on Theory and Practice of Software, ETAPS98, as part of Fundamental Approaches to Software Engineering, FASE98, Lisbon, April 1998. Lecture Notes in Computer Science, LNCS 1382, Springer 1998.
  -- NETLNCS.ps
• Portability, Predictability, and Performance for Parallel Computing: BSP in Practice, with K Parrott and T Lanfear, Concurrency: Practice and Experience, 8(10) 799-812, Dec 1996.
  Preliminary versions presented at Colloquium on Tools and Techniques for Parallel Computing, sponsored by NAG Ltd and Oxford Parallel, Sept 1994 and Workshop on Computational Electromagnetics, sponsored by UCINA, ICFD, and Oxford Parallel, Oxford, May 1994.
  (contact me directly for this)
• A Rely and Guarantee Method for TCSP, A Specification and Design of a Telephone Exchange, with A. Kay, IEEE Trans. Soft. Eng., 19,6 June 1993, pp 625-629.
  (contact me directly for this)
• Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes, with R.T. Yeh, ACM Trans. Prog. Lang. and Systems, 10,1, Jan. 1988, 156-177.
  (contact me directly for this)
• On Completeness and Semicompleteness of First Countable Spaces, Pacific Journal of Mathematics, 44,2, 1974, pp. 553-563.
  (contact me directly for this)

Grants:

Office of Naval Research Grant on Collaborative Research on Interoperability, Pervasive Computing and Security. A 3-year award for $199,000. In collaboration with researchers from Tulane University, Naval Research Laboratory, and Oxford University.