| [1] | R. Calinescu, S. Harris, J. Gibbons, J. Davies, I. Toujilov, and S. Nagl. Model-driven architecture for cancer research. In 5th IEEE International Conference on Software Engineering and Formal Methods, London, UK, September 10-14 2007. |
| [2] | Jim Davies and Jeremy Gibbons, editors. Integrated Formal Methods, volume 4591. Springer-Verlag, 2007. |
| [3] | Radu Calinescu, Steve Harris, Jeremy Gibbons, and Jim Davies. Cross-trial query system for cancer clinical trials. In IEEE International Conference on Systems, Computing Sciences and Software Engineering, December 2006. [ http ] |
| [4] | Jim Davies, James Welch, Alessandra Cavarra, and Edward Crichton. On the generation of object databases using Booster. In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society, 2006. |
| [5] | Jim Davies, David Faitelson, and James Welch. Domain-specific semantics and data refinement of object models. In Brazilian Symposium on Formal Methods (SBMF), 2006. |
| [6] | Matthew Leslie, Jim Davies, and Todd Huffman. Replication strategies for reliable decentralised storage. In ARES, pages 740-747. IEEE Computer Society, 2006. |
| [7] | Christie Bolton and Jim Davies. A singleton failures semantics for Communicating Sequential Processes. Formal Aspects of Computing, 18(2):181-210, 2006. |
| [8] | Steve Harris and Jim Davies. CancerGrid: Model-driven and metadata-driven clinical trials informatics. In Microsoft eScience Workshop, John Hopkins University, 2006. [ http ] |
| [9] | James Brenton, Carlos Caldas, Jim Davies, Steve Harris, and Peter Maccallum. CancerGrid: Developing open standards for clinical cancer informatics. In All Hands Meeting, 2005. |
| [10] | David Faitelson, James Welch, and Jim Davies. From predicates to programs: The semantics of a method language. In Proceedings of SBMF 2005. Electronic Notes in Theoretical Computer Science, 2005. To appear. |
| [11] | J. Welch, D. Faitelson, and J. Davies. Automatic maintenance of association invariants. In Proceedings of SEFM. IEEE Computer Society Press, 2005. |
| [12] | Jim Davies, Charles Crichton, Edward Crichton, David Neilson, and Ib Holm Sørensen. Formality, evolution, and model-driven software engineering. Electronic Notes in Theoretical Computer Science, 130:39-55, 2005. Proceedings of SBMF 2004. [ http ] |
| [13] | Jim Davies, Wolfram Schulte, and Michael Barnett, editors. Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, volume 3308 of Lecture Notes in Computer Science. Springer, 2004. |
| [14] | Jim Davies, Andrew Simpson, and Andrew Martin. Teaching formal methods in context. In C. Neville Dean and Raymond T. Boute, editors, Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings, volume 3294 of Lecture Notes in Computer Science, pages 185-202. Springer, 2004. [ http ] |
| [15] | Alessandra Cavarra, Charles Crichton, and Jim Davies. A method for the automatic generation of test suites from object models. Information & Software Technology, 46(5):309-314, 2004. [ http ] |
| [16] | Jim Davies and Charles Crichton. Concurrency and refinement in the unified modeling language. Formal Aspects of Computing, 15(2-3):118-145, 2003. [ http ] |
| [17] | Jim Davies and Charles Crichton. Using state diagrams to describe concurrent behaviour. In Jin Song Dong and Jim Woodcock, editors, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, volume 2885 of Lecture Notes in Computer Science, pages 105-124. Springer, 2003. [ http ] |
| [18] | Jim Davies, Charles Crichton, and Alessandra Cavarra. A method for the automatic generation of test suites from object models. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, pages 1104-1109. ACM, 2003. |
| [19] | Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, and Steve McKeever. On the supervision and assessment of part-time postgraduate software engineering projects. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pages 628-633. IEEE Computer Society, 2003. [ http ] |
| [20] | Christie Bolton and Jim Davies. Refinement in Object-Z and CSP. In Michael J. Butler, Luigia Petre, and Kaisa Sere, editors, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, volume 2335 of Lecture Notes in Computer Science, pages 225-244. Springer, 2002. [ http ] |
| [21] | Christie Bolton and Jim Davies. A comparison of refinement orderings and their associated simulation rules. Electronic Notes in Theoretical Computer Science, 70(3), 2002. [ http ] |
| [22] | Jim Davies and Charles Crichton. Concurrency and refinement in the UML. Electronic Notes in Theoretical Computer Science, 70(3), 2002. [ http ] |
| [23] | Christie Bolton and Jim Davies. Using relational and behavioural semantics in the verification of object models. In Scott F. Smith and Carolyn L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA, volume 177 of IFIP Conference Proceedings, pages 163-182. Kluwer, 2000. |
| [24] | Christie Bolton and Jim Davies. Activity graphs and processes. In Wolfgang Grieskamp, Thomas Santen, and Bill Stoddart, editors, Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, volume 1945 of Lecture Notes in Computer Science, pages 77-96. Springer, 2000. [ http ] |
| [25] | J. Woodcock, J. Davies, and C. Bolton. Abstract data types and processes. In Davies et al. [26]. |
| [26] | J. Davies, A. Roscoe, and J. Woodcock, editors. Millennial Perspectives in Computer Science. Palgrave, 2000. |
| [27] | Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors. FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, volume 1708 of Lecture Notes in Computer Science. Springer, 1999. |
| [28] | Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors. FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, volume 1709 of Lecture Notes in Computer Science. Springer, 1999. |
| [29] | Christie Bolton, Jim Davies, and Jim Woodcock. On the refinement and simulation of data types and processes. In Keijiro Araki, Andy Galloway, and Kenji Taguchi, editors, Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, pages 273-292. Springer, 1999. |
| [30] | Gavin Lowe and Jim Davies. Using CSP to verify sequential consistency. Distributed Computing, 12(2-3):91-103, 1999. [ http ] |
| [31] | C. Crichton, J. Davies, and J. Woodcock. When to trust mobile objects: Access control in the Jini software system. In Proceedings of TOOLS, 1999. |
| [32] | A. Simpson, J. Woodcock, and J. Davies. Safety through security. In Proceedings of the Ninth International Workshop on Software Specification and Design. IEEE Press, 1998. |
| [33] | A. Simpson, J. Woodcock, and J. Davies. The mechanical verification of solid state interlocking geographic data. In Proceedings of Formal Methods Pacific. Springer, 1997. |
| [34] | J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall International, 1996. |
| [35] | Jim Davies, Jeremy Bryans, and Steve Schneider. Real-time LOTOS and timed observations. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, volume 43 of IFIP Conference Proceedings, pages 383-397. Chapman & Hall, 1995. |
| [36] | Jim Davies and Steve Schneider. A brief history of timed CSP. Theoretical Computer Science, 138(2):243-271, 1995. [ http ] |
| [37] | Jeremy Bryans, Jim Davies, and Steve Schneider. Towards a denotational semantics for ET-LOTOS. In Insup Lee and Scott A. Smolka, editors, CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, volume 962 of Lecture Notes in Computer Science, pages 269-283. Springer, 1995. |
| [38] | Jim Davies and Matt Wallis. On the formal specification and verification of network routing algorithms. In Dieter Hogrefe and Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, volume 6 of IFIP Conference Proceedings, pages 100-115. Chapman & Hall, 1994. |
| [39] | Jim Davies and Steve Schneider. Recursion induction for real-time processes. Formal Aspects of Computing, 5(6):530-553, 1994. |
| [40] | J. Davies and S. Schneider. Real-time CSP. In Theories and Experiences for Real-time Systems. World Scientific, 1994. |
| [41] | J. Davies. Specification and Proof in Real-time CSP. Cambridge University Press, 1993. |
| [42] | Jim Davies and Steve Schneider. Using CSP to verify a timed protocol over a fair medium. In Rance Cleaveland, editor, CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, volume 630 of Lecture Notes in Computer Science, pages 355-369. Springer, 1992. |
| [43] | Jim Davies, Dave Jackson, and Steve Schneider. Broadcast communication for real-time processes. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings, volume 571 of Lecture Notes in Computer Science, pages 149-169. Springer, 1992. |
| [44] | Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, and Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, volume 600 of Lecture Notes in Computer Science, pages 640-675. Springer, 1991. |
| [45] | J. Davies and S. Schneider. Factorising proofs in timed CSP. In Real-Time Systems: Theory and Practice. North-Holland, 1989. |
| [46] | Jim Davies and Steve Schneider. Factorizing proofs in timed CSP. In Michael G. Main, Austin Melton, Michael W. Mislove, and David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, volume 442 of Lecture Notes in Computer Science, pages 129-159. Springer, 1989. |
This file has been generated by bibtex2html 1.85.