Jim Davies : Publications
|
[1] |
Semantic Interoperability in Practice Jim Davies, Steve Harris and Aadya Shukla In HICSS (Electronic Government Track). 2010. |
|
[2] |
Formal Methods for Future Interoperability Jim Davies and 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) |
|
[3] |
Metadata-Driven Software for Clinical Trials Charles Crichton et al. May, 2009. To appear Details | BibTeX | Link (pdf) |
|
[4] |
Model-Driven Support for a Vaccine Study in Kathmandu Jim Davies et al. In Microsoft eScience Workshop. October, 2009. Details | BibTeX | Link (pdf) |
|
[5] |
Semantics-Driven Development for Electronic Government Applications Charles Crichton et al. In HICSS (Electronic Government Track). Hawaii. January, 2009. Details | BibTeX | Link (pdf) |
|
[6] |
A metadata approach for clinical data management in translational genomics studies in breast cancer Irene Papatheodorou et al. Vol. 2. 2009. |
|
[7] |
Accelerating Cancer Research Using Semantics-Driven Technology James Brenton, Jim Davies, Jeremy Gibbons and Steve Harris In Microsoft eScience Workshop. Indianapolis, IN. December, 2008. Details | BibTeX | Link (pdf) |
|
[8] |
Semantic Technologies in Electronic Government Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui and Charles Crichton In Tomasz Janowski and Teresa Pardo, editors, ICEGOV 2008. Pages 45 — 51. Cairo. December, 2008. ACM Press. Details | BibTeX | Link (pdf) |
|
[9] |
Metadata Standards for Semantic Interoperability in Electronic Government Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla and Jeremy Gibbons In International Conference on Theory and Practice of Electronic Governance. Cairo. December, 2008. Received a Best Paper Award Details | BibTeX | Link (pdf) |
|
[10] |
Automatic Maintenance of Association Invariants James Welch, David Faitelson and Jim Davies Software and Systems Modeling. 2008. |
|
[11] |
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. |
|
[12] |
Evolving Health Informatics: Semantic Frameworks and Metadata-Driven Architectures Jim Davies, Jeremy Gibbons, Steve Harris and Denise Warzel In Microsoft eScience Workshop. Indianapolis, IN. 2008. Details | BibTeX | Link (pdf) |
|
[13] |
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) |
|
[14] |
Model-Driven Architecture for Cancer Research Radu Calinescu et al. In Software Engineering and Formal Methods. Pages 59-68. September, 2007. |
|
[15] |
Semantic Frameworks for e-Government Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris and Aadya Shukla In Theresa Pardo and 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) |
|
[16] |
Cross-Trial Query System for Cancer Clinical Trials Tarek Sobh, editor In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Pages 385—390. Springer. 2007. |
|
[17] |
Technological foundations of electronic governance Jim Davies, Tomasz Janowski, Adegboyega K. Ojo and Aadya Shukla In First International Conference in the Theory and Practice of Electronic Government (ICEGOV) 2007. Pages 5—11. 2007. |
|
[18] |
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. |
|
[19] |
Integrated Formal Methods Jim Davies and Jeremy Gibbons, editors Jim Davies and Jeremy Gibbons, editors |
|
[20] |
A Singleton Failures Semantics for Communicating Sequential Processes Christie Bolton and Jim Davies Formal Aspects of Computing. Vol. 18. No. 2. Pages 181-210. 2006. |
|
[21] |
Replication Strategies for Reliable Decentralised Storage Matthew Leslie, Jim Davies and Todd Huffman In ARES. Pages 740-747. IEEE Computer Society. 2006. |
|
[22] |
On the Generation of Object Databases using Booster Jim Davies, James Welch, Alessandra Cavarra and Edward Crichton In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006. |
|
[23] |
Domain-Specific Semantics and Data Refinement of Object Models Jim Davies, David Faitelson and James Welch In Brazilian Symposium on Formal Methods (SBMF). 2006. |
|
[24] |
Formality, Evolution, and Model-driven Software Engineering Jim Davies, Charles Crichton, Edward Crichton, David Neilson and Ib Holm Sørensen Electronic Notes in Theoretical Computer Science. Vol. 130. Pages 39-55. 2005. |
|
[25] |
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. |
|
[26] |
CancerGrid: Developing Open Standards for Clinical Cancer Informatics James Brenton, Carlos Caldas, Jim Davies, Steve Harris and Peter Maccallum In All Hands Meeting. 2005. |
|
[27] |
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. |
|
[28] |
Teaching Formal Methods in Context Jim Davies, Andrew Simpson and Andrew Martin Pages 185-202. 2004. |
|
[29] |
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 Jim Davies, Wolfram Schulte and Michael Barnett, editors |
|
[30] |
Concurrency and Refinement in the Unified Modeling Language Jim Davies and Charles Crichton Formal Aspects of Computing. Vol. 15. No. 2-3. Pages 118-145. 2003. |
|
[31] |
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies and Steve McKeever Pages 628-633. 2003. |
|
[32] |
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. |
|
[33] |
Using State Diagrams to Describe Concurrent Behaviour Jim Davies and Charles Crichton In Jin Song Dong and Jim Woodcock, editors, 5th International Conference on Formal Engineering Methods, ICFEM 2003. Vol. 2885/2003. Pages 105-124. Springer Berlin / Heidelberg. 2003. |
|
[34] |
Concurrency and Refinement in the Unified Modeling Language Jim Davies and Charles Crichton Electronic Notes in Theoretical Computer Science. Vol. 70. No. 3. Pages 217-243. 2002. |
|
[35] |
A comparison of refinement orderings and their associated simulation rules Christie Bolton and Jim Davies Electronic Notes in Theoretical Computer Science. Vol. 70. No. 3. 2002. |
|
[36] |
Refinement in Object-Z and CSP Christie Bolton and Jim Davies Pages 225-244. 2002. |
|
[37] |
Millennial Perspectives in Computer Science J. Davies, A. Roscoe and J. Woodcock, editors Palgrave. 2000. |
|
[38] |
Abstract data types and Processes J. Woodcock, J. Davies and C. Bolton 2000. |
|
[39] |
Activity Graphs and Processes Christie Bolton and Jim Davies Pages 77-96. 2000. |
|
[40] |
Using Relational and Behavioural Semantics in the Verification of Object Models Christie Bolton and Jim Davies Pages 163-182. 2000. |
|
[41] |
Using CSP to Verify Sequential Consistency Gavin Lowe and Jim Davies Distributed Computing. Vol. 12. No. 2-3. Pages 91-103. 1999. |
|
[42] |
When to Trust Mobile Objects: Access Control in the Jini Software System Charles Crichton, Jim Davies and Jim Woodcock In Proceedings of TOOLS. 1999. |
|
[43] |
On the Refinement and Simulation of Data Types and Processes Christie Bolton, Jim Davies and Jim Woodcock Pages 273-292. 1999. |
|
[44] |
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 Jeannette M. Wing, Jim Woodcock and Jim Davies, editors |
|
[45] |
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 Jeannette M. Wing, Jim Woodcock and Jim Davies, editors |
|
[46] |
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. |
|
[47] |
The Mechanical Verification of Solid State Interlocking Geographic Data A. Simpson, J. Woodcock and J. Davies In Proceedings of Formal Methods Pacific. Springer. 1997. |
|
[48] |
Using Z: Specification, Refinement, and Proof J. Woodcock and J. Davies Prentice Hall International. 1996. |
|
[49] |
A Brief History of Timed CSP Jim Davies and Steve Schneider Theoretical Computer Science. Vol. 138. No. 2. Pages 243-271. 1995. |
|
[50] |
Real-time LOTOS and Timed Observations Jim Davies, Jeremy Bryans and Steve Schneider Pages 383-397. 1995. |
|
[51] |
Towards a denotational semantics for ET-LOTOS Jeremy Bryans, Jim Davies and Steve Schneider Pages 269-283. 1995. |
|
[52] |
Real-time CSP J. Davies and S. Schneider In Theories and Experiences for Real-time Systems. World Scientific. 1994. |
|
[53] |
Recursion Induction for Real-Time Processes Jim Davies and Steve Schneider Formal Aspects of Computing. Vol. 5. No. 6. Pages 530-553. 1994. |
|
[54] |
On the formal specification and verification of network routing algorithms Jim Davies and Matt Wallis Pages 100-115. 1994. |
|
[55] |
Specification and Proof in Real-time CSP J. Davies Cambridge University Press. 1993. |
|
[56] |
Using CSP to Verify a Timed Protocol over a Fair Medium Jim Davies and Steve Schneider Pages 355-369. 1992. |
|
[57] |
Broadcast Communication for Real-time Processes Jim Davies, Dave Jackson and Steve Schneider Pages 149-169. 1992. |
|
[58] |
Timed CSP: Theory and Practice Steve Schneider et al. Pages 640-675. 1991. |
|
[59] |
Factorizing Proofs in Timed CSP Jim Davies and Steve Schneider Pages 129-159. 1989. |
|
[60] |
Factorising Proofs in Timed CSP J. Davies and S. Schneider In Real-Time Systems: Theory and Practice. North-Holland. 1989. |