Jim Davies: Publications

[1]	Formal Methods for Future Interoperability Jim Davies, Jeremy Gibbons ACM Inroads, Vol. 41, No. 2, pages 60-64. June 2009. A revised version of "Formal Methods for Electronic Government" (FMET, 2008). Details \| BibTeX \| Link (pdf)

[2]	Metadata-Driven Software for Clinical Trials Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James Brenton May 2009. To appear. Details \| BibTeX \| Link (pdf)

[3]	Model-Driven Support for a Vaccine Study in Kathmandu Jim Davies, Jeremy Gibbons, Steve Harris, Jane Metz, Andrew J. Pollard, Matthew Snape In Microsoft eScience Workshop October 2009. Details \| BibTeX \| Link (pdf)

[4]	Semantics-Driven Development for Electronic Government Applications Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui In HICSS Workshop on Electronic Government Hawaii. January 2009. Details \| BibTeX \| Link (pdf)

[5]	Accelerating Cancer Research Using Semantics-Driven Technology James Brenton, Jim Davies, Jeremy Gibbons, Steve Harris In Microsoft eScience Workshop Indianapolis, IN. December 2008. Details \| BibTeX \| Link (pdf)

[6]	Semantic Technologies in Electronic Government Steve Harris et al. In Tomasz Janowski, Teresa Pardo, editors, ICEGOV 2008 pages 45 — 51. Cairo. December 2008. ACM Press. Details \| BibTeX \| Link (pdf)

[7]

Metadata Standards for Semantic Interoperability in Electronic Government

Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons

In International Conference on Theory and Practice of Electronic Governance Cairo. December 2008.

Received a Best Paper Award.

Details | BibTeX | Link (pdf)

[8]	Automatic Maintenance of Association Invariants James Welch, David Faitelson and Jim Davies Software and Systems Modeling, 2008. Details \| BibTeX \| DOI (10.1007/s10270-008-0085-0)

[9]	Domain-specific Semantics and Data Refinement of Object Models Jim Davies, David Faitelson and James Welch Electronic Notes in Theoretical Computer Science, Vol. 195, pages 151—170. 2008. Details \| BibTeX \| DOI (10.1016/j.entcs.2007.08.031)

[10]	Evolving Health Informatics: Semantic Frameworks and Metadata-Driven Architectures Jim Davies, Jeremy Gibbons, Steve Harris, Denise Warzel In Microsoft eScience Workshop Indianapolis, IN. 2008. Details \| BibTeX \| Link (pdf)

[11]	WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research Tianyi Zang et al. In 8th IEEE International Symposium on Cluster Computing (CCGrid) 2008. Details \| BibTeX \| Link (pdf)

[12]	Model-Driven Architecture for Cancer Research Radu Calinescu et al. In Software Engineering and Formal Methods pages 59-68. September 2007. Details \| BibTeX \| Link (pdf) \| DOI (10.1109/SEFM.2007.26)

[13]	Semantic Frameworks for e-Government Charles Crichton et al. In Theresa Pardo, Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007 pages 30—39. ACM, December 2007. Details \| BibTeX \| Link (pdf) \| DOI (10.1145/1328057.1328066)

[14]	Cross-Trial Query System for Cancer Clinical Trials Radu Calinescu et al. In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering pages 385—390. Springer. 2007. Details \| BibTeX

[15]	Technological foundations of electronic governance Jim Davies et al. In First International Conference in the Theory and Practice of Electronic Government (ICEGOV) 2007 pages 5—11. 2007. Details \| BibTeX \| DOI (10.1145/1328057.1328063)

[16]	From Predicates to Programs: The Semantics of a Method Language David Faitelson, James Welch and Jim Davies In Proceedings of SBMF 2005 Vol. 184, pages 171—187. Electronic Notes in Theoretical Computer Science, 2007. Details \| BibTeX \| DOI (10.1016/j.entcs.2007.03.021)

[17]	Integrated Formal Methods Jim Davies, Jeremy Gibbons, editors Vol. 4591 of Lecture Notes in Computer Science. Springer-Verlag. 2007. Details \| BibTeX

[18]	A Singleton Failures Semantics for Communicating Sequential Processes Christie Bolton, Jim Davies Formal Aspects of Computing, Vol. 18, No. 2, pages 181-210. 2006. Details \| BibTeX

[19]	Replication Strategies for Reliable Decentralised Storage Matthew Leslie, Jim Davies and Todd Huffman In ARES pages 740-747. IEEE Computer Society, 2006. Details \| BibTeX \| DOI (10.1109/ARES.2006.108)

[20]	On the Generation of Object Databases using Booster Jim Davies et al. In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006) IEEE Computer Society, 2006. Details \| BibTeX \| DOI (10.1109/ICECCS.2006.1690374)

[21]	Domain-Specific Semantics and Data Refinement of Object Models Jim Davies, David Faitelson and James Welch In Brazilian Symposium on Formal Methods (SBMF) 2006. Details \| BibTeX

[22]	Formality, Evolution, and Model-driven Software Engineering Jim Davies et al. Electronic Notes in Theoretical Computer Science, Vol. 130, pages 39-55. 2005. Details \| BibTeX \| DOI (10.1016/j.entcs.2005.03.004)

[23]	Automatic Maintenance of Association Invariants James Welch, David Faitelson and Jim Davies In Proceedings of Software Engineering and Formal Methods (SEFM) 2005 IEEE Computer Society Press, 2005. Details \| BibTeX

[24]	CancerGrid: Developing Open Standards for Clinical Cancer Informatics James Brenton et al. In All Hands Meeting 2005. Details \| BibTeX

[25]	A Method for the Automatic Generation of Test Suites from Object Models Alessandra Cavarra, Charles Crichton and Jim Davies Information & Software Technology, Vol. 46, No. 5, pages 309-314. 2004. Details \| BibTeX \| DOI (10.1016/j.infsof.2003.09.004)

[26]

Teaching Formal Methods in Context

Jim Davies, Andrew Simpson and Andrew Martin

In C. Neville Dean, Raymond T. Boute, editors, Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings Vol. 3294 of Lecture Notes in Computer Science, pages 185-202. Springer, 2004.

Details | BibTeX | Link

[27]

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Jim Davies, Wolfram Schulte and Michael Barnett, editors

Vol. 3308 of Lecture Notes in Computer Science. Springer. 2004.

Details | BibTeX

[28]	Concurrency and Refinement in the Unified Modeling Language Jim Davies, Charles Crichton Formal Aspects of Computing, Vol. 15, No. 2-3, pages 118-145. 2003. Details \| BibTeX \| DOI (10.1007/s00165-003-0008-3)

[29]	On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects Andrew Simpson et al. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA pages 628-633. IEEE Computer Society, 2003. Details \| BibTeX \| Link

[30]

A Method for the Automatic Generation of Test Suites from Object Models

Jim Davies, Charles Crichton and Alessandra Cavarra

In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA pages 1104-1109. ACM, 2003.

Details | BibTeX | DOI (10.1145/952532.952748)

[31]

Using State Diagrams to Describe Concurrent Behaviour

Jim Davies, Charles Crichton

In Jin Song Dong, Jim Woodcock, editors, 5th International Conference on Formal Engineering Methods, ICFEM 2003 Vol. 2885/2003, pages 105-124. Springer Berlin / Heidelberg, 2003.

Details | BibTeX | DOI (10.1007/b94115)

[32]	Concurrency and Refinement in the Unified Modeling Language Jim Davies, Charles Crichton Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3, pages 217-243. 2002. Details \| BibTeX \| DOI (10.1016/S1571-0661(05)80494-3)

[33]	A comparison of refinement orderings and their associated simulation rules Christie Bolton, Jim Davies Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3, 2002. Details \| BibTeX \| Link

[34]	Refinement in Object-Z and CSP Christie Bolton, Jim Davies pages 225-244. 2002. Details \| BibTeX \| Link

[35]	Millennial Perspectives in Computer Science J. Davies, A. Roscoe and J. Woodcock, editors Palgrave. 2000. Details \| BibTeX

[36]	Abstract data types and Processes J. Woodcock, J. Davies and C. Bolton 2000. Details \| BibTeX

[37]

Activity Graphs and Processes

Christie Bolton, Jim Davies

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 Vol. 1945 of Lecture Notes in Computer Science, pages 77-96. Springer, 2000.

Details | BibTeX | Link

[38]	Using Relational and Behavioural Semantics in the Verification of Object Models Christie Bolton, Jim Davies pages 163-182. 2000. Details \| BibTeX

[39]	Using CSP to Verify Sequential Consistency Gavin Lowe, Jim Davies Distributed Computing, Vol. 12, No. 2-3, pages 91-103. 1999. Details \| BibTeX \| Link

[40]	When to Trust Mobile Objects: Access Control in the Jini Software System Charles Crichton, Jim Davies and Jim Woodcock In Proceedings of TOOLS 1999. Details \| BibTeX \| DOI (10.1109/TOOLS.1999.787541)

[41]	On the Refinement and Simulation of Data Types and Processes Christie Bolton, Jim Davies and Jim Woodcock pages 273-292. 1999. Details \| BibTeX

[42]

FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II

Jeannette M. Wing, Jim Woodcock and Jim Davies, editors

Vol. 1709 of Lecture Notes in Computer Science. Springer. 1999.

Details | BibTeX

[43]

FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

Jeannette M. Wing, Jim Woodcock and Jim Davies, editors

Vol. 1708 of Lecture Notes in Computer Science. Springer. 1999.

Details | BibTeX

[44]	Safety through Security A. Simpson, J. Woodcock and J. Davies In Proceedings of the Ninth International Workshop on Software Specification and Design IEEE Press, 1998. Details \| BibTeX

[45]	The Mechanical Verification of Solid State Interlocking Geographic Data A. Simpson, J. Woodcock and J. Davies In Proceedings of Formal Methods Pacific Springer, 1997. Details \| BibTeX

[46]	Using Z: Specification, Refinement, and Proof J. Woodcock, J. Davies Prentice Hall International. 1996. Details \| BibTeX

[47]	A Brief History of Timed CSP Jim Davies, Steve Schneider Theoretical Computer Science, Vol. 138, No. 2, pages 243-271. 1995. Details \| BibTeX \| Link

[48]	Real-time LOTOS and Timed Observations Jim Davies, Jeremy Bryans and Steve Schneider pages 383-397. 1995. Details \| BibTeX

[49]	Towards a denotational semantics for ET-LOTOS Jeremy Bryans, Jim Davies and Steve Schneider pages 269-283. 1995. Details \| BibTeX

[50]	Real-time CSP J. Davies, S. Schneider In Theories and Experiences for Real-time Systems World Scientific. 1994. Details \| BibTeX

[51]	Recursion Induction for Real-Time Processes Jim Davies, Steve Schneider Formal Aspects of Computing, Vol. 5, No. 6, pages 530-553. 1994. Details \| BibTeX

[52]	On the formal specification and verification of network routing algorithms Jim Davies, Matt Wallis pages 100-115. 1994. Details \| BibTeX

[53]	Specification and Proof in Real-time CSP J. Davies Cambridge University Press. 1993. Details \| BibTeX

[54]	Using CSP to Verify a Timed Protocol over a Fair Medium Jim Davies, Steve Schneider pages 355-369. 1992. Details \| BibTeX

[55]

Broadcast Communication for Real-time Processes

Jim Davies, Dave Jackson and Steve Schneider

In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings Vol. 571 of Lecture Notes in Computer Science, pages 149-169. Springer, 1991.

Details | BibTeX

[56]	Timed CSP: Theory and Practice Steve Schneider et al. In J. W. de Bakker et al. , editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings Vol. 600 of Lecture Notes in Computer Science, pages 640-675. Springer, 1992. Details \| BibTeX

[57]	Factorizing Proofs in Timed CSP Jim Davies, Steve Schneider pages 129-159. 1989. Details \| BibTeX

[58]	Factorising Proofs in Timed CSP J. Davies, S. Schneider In Real-Time Systems: Theory and Practice North-Holland, 1989. Details \| BibTeX