School of Computing - University of Teesside - Middlesbrough (UK)

Menu of Content

Publications

Cumulative list of publications of the Teesside Formal Method & Programming Research Group.

Conference & Journal Papers

  1. A. R. Lynas and W. J. Stoddart. Using Forth in a Concept-Oriented Computer Language Course. In M. A. Ertl and P. Knaggs, editors, 24th EuroForth Conference Proceedings. October 2008. On-line proceedings. Download paper.
  2. A. R. Lynas and W. J. Stoddart. Adding Lambda Expressions to Forth. In M. A. Ertl and P. Knaggs, editors, 22nd EuroForth Conference Proceedings. October 2007. On-line proceedings. Download paper.
  3. W. J. Stoddart and A. R. Lynas. A Reversible Computing Approach to Forth Floating Point. In M. A. Ertl and P. Knaggs, editors, 23rd EuroForth Conference Proceedings. October 2007. On-line proceedings. Download from http://www.complang.tuwien.ac.at/anton/euroforth2007/papers/stoddart.pdf.
  4. Richard F. Paige, T. S. Attridge, and Phillip J. Brooke. An experiment in design-by-contract for game development. Journal of Object Technology, 2006. To appear.
  5. A. R. Lynas and W. J. Stoddart. SuDoku Solver Case Study: from specification to RVM-Forth (part I). In M. A. Ertl, editor, 21st EuroForth Conference Proceedings. October 2005. On-line proceedings. Download paper.
  6. Jonathan S. Ostroff, Richard F. Paige, D. Makalsky, and Phillip J. Brooke. ETester: A contract-aware and agent-based testing framework for Eiffel. Journal of Object Technology, September 2005. To appear.
  7. Richard F. Paige and Phillip J. Brooke. Agile formal method engineering. In Proc. IFM'05, LNCS. Springer-Verlag, December 2005.
  8. S. A. Razak, S. M. Furnell, and P. J. Brooke. A two-tier intrusion detection system for mobile ad hoc networks. In Proceedings of the Fourth European Conference on Information Warfare and Security, Glamorgan, South Wales, University of Glamorgan, UK, July 2005.
  9. S. E. Dunne and S. Conroy. Process refinement in B. In H. Treharne, S. King, M. C. Henson, and S. Schneider, editors, ZB2005: Formal Specification and Development in Z and B, number 3455 in Lecture Notes in Computer Science, pages 45-64. Springer, 2005.
  10. C. J. Fidge, P. Robinson, and S. E. Dunne. Refinement laws for verifying library subroutine adaptation. In P. Strooper, editor, Proceedings of the 2005 Australian Software Engineering Conference, pages 224-232. IEEE Computer Society Press, 2005. Awarded Best Research Paper at the conference.
  11. F. Zeyda, W. J. Stoddart, and S. Dunne. A Prospective-Value Semantics for the GSL. In ZB 2005: Formal Specification and Development in Z and B, volume 3455 of Lecture Notes in Computer Science, pages 187-202. Springer, April 2005. Download paper.
  12. Phillip J. Brooke, John A. Clark, Richard F. Paige, and Susan Stepney. Playing the game: Cheating, loopholes, and virtual identity. ACM Computers and Society, 34(3), September 2004.
  13. Richard F. Paige and Phillip J. Brooke. Integrating BON and Object-Z with tool support. Journal of Object Technology, mar # "/" # apr 2004. The code generator referred to in this paper is available from the BON-CASE Tool web site, as of distribution 0.5b4.
  14. Richard F. Paige, Phillip J. Brooke, and Jonathan S. Ostroff. Agile development of an executable metamodel. November 2004. Proc. Fifteenth IEEE International Symposium on Software Reliability Engineering, St-Malo, France.
  15. Richard F. Paige, Phillip J. Brooke, and Jonathan S. Ostroff. Specification-driven design of a metamodel in Eiffel. October 2004. Proc. Workshop in Software Model Engineering.
  16. S. A. Razak, S. M. Furnell, and P. J. Brooke. Attacks against mobile ad hoc networks routing protocols. In Proceedings of 5th Annual Postgraduate Symposium on The Convergence of Telecommunications, Networking \& Broadcasting, PGNET 2004, pages 147-152, Liverpool, June 2004.
  17. S. E. Dunne. Understanding Object-Z operations as generalised substitutions. In Eerke A. Boiten, John Derrick, and Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, number 2999 in Lecture Notes in Computer Science, pages 328-342. Springer-Verlag, 2004.
  18. Phillip J. Brooke and Richard F. Paige. Fault trees for security system design and analysis. Computers and Security, 22(3):256-264, 2003.
  19. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Theorem proving support for view consistency checking. L'Objet, 9(4), 2003.
  20. Richard F. Paige, P. Agarwal, and Phillip J. Brooke. Combining XP practices with UML and EJB: a case study in agile development. In XP 2003, number 2675 in LNCS. Springer-Verlag, May 2003.
  21. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Formalising Eiffel reference and expanded types in PVS. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO). Utrecht University, July 2003. Co-located with ECOOP 2003, published as technical report.
  22. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. A test-based agile approach to checking the consistency of class and collaboration diagram. In Proc. UK Softest Workshop, York. September 2003.
  23. S. E. Dunne. Introducing backward refinement into B. In D. Bert, J. P. Bowen, S. King, and M. Walden, editors, ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, number 2651 in Lecture Notes in Computer Science, pages 178-196. Springer-Verlag, 2003.
  24. F. Zeyda, W. J. Stoddart, and S. Dunne. The Refinement of Reversible Computations. In RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments. June 2003. On-line proceedings. Download from http://www.esil.univ-mrs.fr/~spc/rcs03/papers/zeyda&al.pdf.
  25. Phillip J. Brooke and Richard F. Paige. The design of a tool-supported graphical notation for Timed CSP. In Michael Butler, Luigia Petre, and Kaisa Sere, editors, Integrated Formal Methods, number 2335 in LNCS. 2002.
  26. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Checking the consistency of collaboration and class diagrams with PVS. In The Fourth Workshop on Rigorous Object-Oriented Methods. King's College, London, 2002.
  27. Richard F. Paige and Phillip J. Brooke. Using PVS to support a real-time refinement calculus. In Gethin Norman, Marta Kwiatkowska, and Dimitar Guelev, editors, Second Workshop on Automated Verification of Critical Systems. University of Birmingham, 2002. Technical report CSR-02-6.
  28. S. E. Dunne. A theory of generalised substitutions. In D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, ZB2002: Formal Specification and Development in Z and B, number 2272 in Lecture Notes in Computer Science, pages 270-290. Springer-Verlag, 2002.
  29. S. E. Dunne. Junctive compositions of specifications in total and general correctness. In J. Derrick, E. Boiten, J. C. P. Woodcock, and J. von Wright, editors, Refine 2002: The BCS FACS Refinement Workshop, volume 70 of Electronic Notes in Theoretical Computer Science. Elsevier Science BV, 2002. http://www.elsevier.nl/locate/entcs.
  30. S. E. Dunne. Abstract commands: a uniform notation for specifications and implementations. In C. J. Fidge, editor, Computing: The Australasian Theory Symposium (CATS 2001), volume 42 of Electronic Notes in Theoretical Computer Science. Elsevier Science BV, 2001. http://www.elsevier.nl/locate/entcs.
  31. S. E. Dunne. Recasting Hoare and He's unifying theory of programs in the context of general correctness. In A. Butterfield, G. Strong, and C. Pahl, editors, Proceedings of the 5th Irish Workshop in Formal Methods, IWFM 2001, Workshops in Computing. British Computer Society, 2001. http://ewic.bcs.org/conferences/2001/5thformal/papers.
  32. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Principles of modeling language design. Journal of Information and Software Technology, 42(11), 2000.
  33. S. E. Dunne. The safe machine: a new specification construct for B. In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99 - Formal Methods, number 1708 in Lecture Notes in Computer Science, pages 472-489. Springer Verlag, 1999.
  34. S. E. Dunne, W. J. Stoddart, and A. J. Galloway. Specification and refinement in general correctness. In A. Evans, D. Duke, and A. Clark, editors, Proceedings of the 3rd Northern Formal Methods Workshop. BCS Electronic Workshops in Computing, 1998. http://www.ewic.org.uk/ewic/workshop/view.cfm/NFM-98.
  35. P. J. Brooke, J. L. Jacob, and J. M. Armstrong. An analysis of the four-slot mechanism. In Proceedings of the BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer-Verlag, 1996.
  36. S. E. Dunne, W. J. Stoddart, and A. J. Galloway. Hypersubstitutions: extending the generalised substitution to model semi-decidable operations. In H. Habrias, editor, The First B Conference. Universite de Nantes, 1996. ISBN 2-906082-25-2.
  37. S. E. Dunne. Formal modelling in Z: a top-down approach. In Proceedings of ACIS 95, the 6th Australian Conference on Information Systems, pages 877-892. 1995. ISBN 1-86342-464-4.
  38. R. Hodgson and S. E. Dunne. Process, data and behaviour (perspectives on system development). Information and Software Technology, 32:539-544, 1990.

Unrefereed Papers

Conference Proceedings

  1. S. E. Dunne and W. J. Stoddart, editors. UTP'06, First International Symposium on Unifying Theories of Programming, volume 4010 of Lecture Notes in Computer Science. Springer, June 2006.
  2. J. P. Bowen, S. E. Dunne, A. J. Galloway, and S. King, editors. ZB2000: Formal Specification and Development in Z and B, number 1878 in Lecture Notes in Computer Science. Springer Verlag, 2000.

Unpublished Papers

Technical Reports

  1. Richard F. Paige, Jonathan S. Ostroff, and Phillip J. Brooke. Checking the consistency of views using PVS. Technical Report 0, York University, Canada, 2002.

MSc & PhD Theses

  1. Phillip J. Brooke. A Timed Semantics for a Hierarchical Design Notation. PhD thesis, University of York, 1999.
If you have difficulties accessing this website please email d.cumbor {at} tees.ac.uk.