Skip to main content

Jim Davies : Publications

Click here to download all publications in a single bibtex file

@book{aligned,
  title = "Engineering Agile Big-Data Systems",
  author = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  year = "2018",
  editor = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  isbn = "9788770220163",
  url = "https://www.riverpublishers.com/research_details.php?book_id=659",
}
@inbook{lifecycle,
  title = "Software Project Management for Combined Software and Data Engineering",
  author = "Seyyed M. Shah and James Welch and Jim Davies and Jeremy Gibbons",
  year = "2017",
  booktitle = "Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools",
  editor = "Zaigham Mahmood",
  isbn = "978-3-319-54324-6",
  pages = "367-385",
  publisher = "Springer International Publishing",
  url = "https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf",
  doi = "10.1007/978-3-319-54325-3_15",
}
@inproceedings{dsm-cr,
  title = "Domain-Specific Modelling for Clinical Research",
  author = "Jim Davies and Jeremy Gibbons and Adam Milward and David Milward and Seyyed Shah and Monika Solanki and James Welch",
  year = "2015",
  booktitle = "SPLASH Workshop on Domain-Specific Modelling",
  month = "October",
  url = "http://www.dsmforum.org/events/dsm15/Papers/Davies.pdf",
}
@article{DAVIES201588,
  title = "Formal model-driven engineering of critical information systems",
  author = "Jim Davies and David Milward and Chen-Wei Wang and James Welch",
  year = "2015",
  issn = "0167-6423",
  journal = "Science of Computer Programming",
  keywords = "Model-driven engineering, Formal methods, Critical systems, Information systems, Data migration",
  pages = "88 - 113",
  volume = "103",
  doi = "10.1016/j.scico.2014.11.004",
}
@inproceedings{Blackwell2015PositiveIC,
  title = "Positive Imagery-Based Cognitive Bias Modification as a Web-Based Treatment Tool for Depressed Adults",
  author = "Simon E Blackwell and Michael Browning and A. Mathews and Arnaud Pictet and James Welch and Jim Davies and Peter Watson and John R. Geddes and Emily A. Holmes",
  year = "2015",
  journal = "Clinical Psychological Science",
  number = "1",
  pages = "91-111",
  volume = "3",
  doi = "10.1177/2167702614560746",
}
@article{boosterExperience,
  title = "Model-driven Engineering of Information Systems: 10 years and 1000 versions",
  author = "Jim Davies and Jeremy Gibbons and James Welch and Edward Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "88-104",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.002",
}
@article{cancergrid,
  title = "The CancerGrid Experience: Metadata-Based Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Charles Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "126-143",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.010",
}
@unpublished{ml-se-hi,
  title = "Machine Learning and Software Engineering in Health Informatics",
  author = "David A. Clifton and Jeremy Gibbons and Jim Davies and Lionel Tarassenko",
  year = "2012",
  booktitle = "Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE'12)",
  month = "May",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ml-se-hi.pdf",
  doi = "10.1109/RAISE.2012.6227968",
}
@inproceedings{DBLP:conf/sbmf/DaviesGMW12,
  title = "Compositionality and Refinement in Model-Driven Engineering",
  author = "Jim Davies and Jeremy Gibbons and David Milward and James Welch",
  year = "2012",
  booktitle = "Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012. Proceedings",
  editor = "Rohit Gheyi and David A. Naumann",
  isbn = "978-3-642-33295-1",
  pages = "99-114",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7498",
}
@inproceedings{fff,
  title = "Form Follows Function: Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Radu Calinescu and Charles Crichton and Steve Harris and Andrew Tsui",
  year = "2011",
  booktitle = "International Symposium on Foundations of Health Information Engineering and Systems",
  month = "August",
  pages = "21-38",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf",
  volume = "7151",
  doi = "10.1007/978-3-642-32355-3_2",
}
@article{Abler2011,
  title = "Models for Forms",
  author = "Daniel Abler and Charles Crichton and Jim Davies and Steve Harris and James Welch",
  year = "2011",
  booktitle = "Proceedings of the 11th Workshop on Domain-Specific Modeling",
  month = "October",
  url = "http://www.dsmforum.org/events/DSM11/",
}
@article{CraigPaper,
  title = "Economies and Diseconomies of Scale in Software Development",
  author = "Craig Comstock and Zhizhong Jiang and Jim Davies",
  year = "2011",
  journal = "Journal of Software Maintenance",
}
@inproceedings{TASE2010,
  title = "A Guarded Workflow Language and Its Formal Semantics",
  author = "Chen-Wei Wang and Jim Davies and James Welch",
  year = "2010",
  address = "Los Alamitos, CA, USA",
  isbn = "978-0-7695-4148-8",
  journal = "Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on",
  pages = "25-34",
  publisher = "IEEE Computer Society",
  doi = "10.1109/TASE.2010.21",
}
@inproceedings{MDDM2010,
  title = "Model-Driven Data Migration",
  author = "Mohammed A. Aboulsamh and Edward Crichton and Jim Davies and James Welch",
  year = "2010",
  booktitle = "Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010.",
  isbn = "978-3-642-16384-5",
  pages = "285--294",
  series = "Lecture Notes in Computer Science",
  volume = "6413",
  doi = "10.1007/978-3-642-16385-2_35",
}
@inproceedings{Davies&Gibbons2010:Semantic,
  title = "Semantic Frameworks: Meanings in the Architecture",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2010",
  booktitle = "Distributed Computing and Internet Technology",
  pages = "40-54",
  series = "LNCS",
  volume = "5966",
  doi = "10.1007/978-3-642-11659-9_4",
}
@conference{daviesHICSS2010,
  title = "Semantic Interoperability in Practice",
  author = "Jim Davies and Steve Harris and Aadya Shukla",
  year = "2010",
  booktitle = "HICSS (Electronic Government Track)",
}
@misc{imagescorer,
  title = "Deep Zoom and Touch Screen for Tissue Microarray Image Scoring",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Andrew Tsui and James Brenton and Carlos Caldas and Lorna Morris",
  year = "2010",
  howpublished = "Poster at Microsoft External Research Symposium",
}
@article{Davies&Gibbons2009:Formal,
  title = "Formal Methods for Future Interoperability",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2009",
  journal = "ACM Inroads",
  month = "June",
  note = "A revised version of "Formal Methods for Electronic Government" (FMET, 2008)",
  number = "2",
  pages = "60-64",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fmfi.pdf",
  volume = "41",
  doi = "10.1145/1595453.1595463",
}
@article{Crichton*2009:Model,
  title = "Metadata-Driven Software for Clinical Trials",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Andrew Tsui and James Brenton",
  year = "2009",
  booktitle = "ICSE Workshop on Software Engineering and Health Care",
  month = "May",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/consort.pdf",
  doi = "10.1109/SEHC.2009.5069600",
}
@inproceedings{Davies*2009:Kathmandu,
  title = "Model-Driven Support for a Vaccine Study in Kathmandu",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Jane Metz and Andrew J. Pollard and Matthew Snape",
  year = "2009",
  booktitle = "Microsoft eScience Workshop",
  month = "October",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf",
}
@inproceedings{Crichton*2009:Semantics,
  title = "Semantics-Driven Development for Electronic Government Applications",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla and Andrew Tsui",
  year = "2009",
  address = "Hawaii",
  booktitle = "HICSS (Electronic Government Track)",
  month = "January",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hicss-sdd.pdf",
  doi = "10.1109/HICSS.2009.384",
}
@inproceedings{pcm2009,
  title = "A metadata approach for clinical data management in translational genomics studies in breast cancer",
  author = "Irene Papatheodorou, Charles Crichton, Lorna Morris, Peter Maccallum, Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group, Jim Davies, James D Brenton and Carlos Caldas",
  year = "2009",
  journal = "BMC Medical Genomics",
  volume = "2",
  doi = "10.1186/1755-8794-2-66",
}
@inproceedings{Brenton*2008:Accelerating,
  title = "Accelerating Cancer Research Using Semantics-Driven Technology",
  author = "James Brenton and Jim Davies and Jeremy Gibbons and Steve Harris",
  year = "2008",
  address = "Indianapolis, IN",
  booktitle = "Microsoft eScience Workshop",
  month = "December",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/accelerating.pdf",
}
@inproceedings{ICEGOV2008STEG,
  title = "Semantic Technologies in Electronic Government",
  author = "Steve Harris and Jeremy Gibbons and Jim Davies and Andrew Tsui and Charles Crichton",
  year = "2008",
  address = "Cairo",
  booktitle = "ICEGOV 2008",
  editor = "Tomasz Janowski and Teresa Pardo",
  month = "December",
  pages = "45 -- 51",
  publisher = "ACM Press",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf",
  doi = "10.1145/1509096.1509108",
}
@inproceedings{Davies*2008:Metadata,
  title = "Metadata Standards for Semantic Interoperability in Electronic Government",
  author = "Jim Davies and Steve Harris and Charles Crichton and Aadya Shukla and Jeremy Gibbons",
  year = "2008",
  address = "Cairo",
  booktitle = "International Conference on Theory and Practice of Electronic Governance",
  month = "December",
  note = "Received a Best Paper Award",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/metadata-egov.pdf",
}
@article{sosym2008:davies,
  title = "Automatic Maintenance of Association Invariants",
  author = "James Welch and David Faitelson and Jim Davies",
  year = "2008",
  issn = "1619-1366",
  journal = "Software and Systems Modeling ",
  publisher = "Springer Berlin / Heidelberg",
  doi = "10.1007/s10270-008-0085-0",
}
@article{DBLP:journals/entcs/DaviesFW08,
  title = "Domain-specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2008",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "151--170",
  volume = "195",
  doi = "10.1016/j.entcs.2007.08.031",
}
@inproceedings{Davies*2008:Evolving,
  title = "Evolving Health Informatics: Semantic Frameworks and Metadata-Driven Architectures",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Denise Warzel",
  year = "2008",
  address = "Indianapolis, IN",
  booktitle = "Microsoft eScience Workshop",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/evolving.pdf",
}
@inproceedings{Zang*2008:WSRF,
  title = "WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research",
  author = "Tianyi Zang and Radu Calinescu and Steve Harris and Andrew Tsui and Marta Kwiatkowska and Jeremy Gibbons and Jim Davies and Peter Maccallum and Carlos Caldas",
  year = "2008",
  booktitle = "8th IEEE International Symposium on Cluster Computing (CCGrid)",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wsrfmodeling.pdf",
  doi = "10.1109/CCGRID.2008.57",
}
@inproceedings{Calinescu*2007:Model,
  title = "Model-Driven Architecture for Cancer Research",
  author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies and Igor Toujilov and Sylvia Nagl",
  year = "2007",
  booktitle = "Software Engineering and Formal Methods",
  month = "sep",
  pages = "59-68",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cgmda.pdf",
  doi = "10.1109/SEFM.2007.26",
}
@inproceedings{DBLP:conf/icegov/CrichtonDGHS07,
  title = "Semantic Frameworks for e-Government",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla",
  year = "2007",
  booktitle = "First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007",
  editor = "Theresa Pardo and Tomasz Janowski",
  month = "dec",
  pages = "30--39",
  publisher = "ACM",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/sf-egov.pdf",
  doi = "10.1145/1328057.1328066",
}
@inbook{CalEtAl2007,
  title = "Cross-Trial Query System for Cancer Clinical Trials",
  author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies",
  year = "2007",
  booktitle = "Innovations and Advanced Techniques in Computer and Information Sciences and Engineering",
  editor = "Tarek Sobh",
  pages = "385--390",
  publisher = "Springer",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/crosstrial.pdf",
  doi = "10.1007/978-1-4020-6268-1_69",
}
@inproceedings{DBLP:conf/icegov/DaviesJOS07,
  title = "Technological foundations of electronic governance",
  author = "Jim Davies and Tomasz Janowski and Adegboyega K. Ojo and Aadya Shukla",
  year = "2007",
  booktitle = "First International Conference in the Theory and Practice of Electronic Government (ICEGOV) 2007",
  pages = "5--11",
  doi = "10.1145/1328057.1328063",
}
@inproceedings{DBLP:journals/entcs/FaitelsonWD07,
  title = "From Predicates to Programs: The Semantics of a Method Language",
  author = "David Faitelson and James Welch and Jim Davies",
  year = "2007",
  booktitle = "Proceedings of SBMF 2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "171--187",
  publisher = "Electronic Notes in Theoretical Computer Science",
  volume = "184",
  doi = "10.1016/j.entcs.2007.03.021",
}
@proceedings{Davies&Gibbons2007:Integrated,
  title = "Integrated Formal Methods",
  year = "2007",
  booktitle = "Integrated Formal Methods",
  editor = "Jim Davies and Jeremy Gibbons",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4591",
}
@article{Davies&Bolton2005:Singleton,
  title = "A Singleton Failures Semantics for {C}ommunicating {S}equential {P}rocesses",
  author = "Christie Bolton and Jim Davies",
  year = "2006",
  journal = "Formal Aspects of Computing",
  number = "2",
  pages = "181-210",
  volume = "18",
}
@inproceedings{DBLP:conf/IEEEares/LeslieDH06,
  title = "Replication Strategies for Reliable Decentralised Storage",
  author = "Matthew Leslie and Jim Davies and Todd Huffman",
  year = "2006",
  booktitle = "ARES",
  pages = "740-747",
  publisher = "IEEE Computer Society",
  doi = "10.1109/ARES.2006.108",
}
@inproceedings{Davies*2006:Generation,
  title = "On the Generation of Object Databases using {B}ooster",
  author = "Jim Davies and James Welch and Alessandra Cavarra and Edward Crichton",
  year = "2006",
  booktitle = "Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006)",
  publisher = "IEEE Computer Society",
  doi = "10.1109/ICECCS.2006.1690374",
}
@inproceedings{sbmf2006,
  title = "Domain-Specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2006",
  booktitle = "Brazilian Symposium on Formal Methods (SBMF)",
}
@article{DBLP:journals/entcs/DaviesCCNS05,
  title = "Formality, Evolution, and Model-driven Software Engineering",
  author = "Jim Davies and Charles Crichton and Edward Crichton and David Neilson and Ib Holm S{\o}rensen",
  year = "2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "39-55",
  volume = "130",
  doi = "10.1016/j.entcs.2005.03.004",
}
@inproceedings{Welch*2005:Automatic,
  title = "Automatic Maintenance of Association Invariants",
  author = "James Welch and David Faitelson and Jim Davies",
  year = "2005",
  booktitle = "Proceedings of Software Engineering and Formal Methods (SEFM) 2005",
  publisher = "IEEE Computer Society Press",
}
@inproceedings{Brenton*2005:CancerGrid,
  title = "{CancerGrid}: Developing Open Standards for Clinical Cancer Informatics",
  author = "James Brenton and Carlos Caldas and Jim Davies and Steve Harris and Peter Maccallum",
  year = "2005",
  booktitle = "All Hands Meeting",
}
@article{DBLP:journals/infsof/Cavarra,
  title = "A Method for the Automatic Generation of Test Suites from Object Models",
  author = "Alessandra Cavarra and Charles Crichton and Jim Davies",
  year = "2004",
  journal = "Information {\&} Software Technology",
  number = "5",
  pages = "309-314",
  volume = "46",
  doi = "10.1016/j.infsof.2003.09.004",
}
@inproceedings{DBLP:conf/tfm/DaviesSM04,
  title = "Teaching Formal Methods in Context",
  author = "Jim Davies and Andrew Simpson and Andrew Martin",
  year = "2004",
  crossref = "DBLP:conf/tfm/2004",
  pages = "185-202",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3294{\&}spage=185",
}
@proceedings{DBLP:conf/icfem/2004,
  title = "Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings",
  year = "2004",
  booktitle = "Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings",
  editor = "Jim Davies and Wolfram Schulte and Michael Barnett",
  isbn = "3-540-23841-7",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3308",
}
@article{DBLP:journals/fac/DaviesC03,
  title = "Concurrency and Refinement in the Unified Modeling Language",
  author = "Jim Davies and Charles Crichton",
  year = "2003",
  journal = "Formal Aspects of Computing",
  number = "2-3",
  pages = "118-145",
  publisher = "Springer London",
  volume = "15",
  doi = "10.1007/s00165-003-0008-3",
}
@inproceedings{DBLP:conf/icse/SimpsonMGDM03,
  title = "On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects",
  author = "Andrew Simpson and Andrew Martin and Jeremy Gibbons and Jim Davies and Steve McKeever",
  year = "2003",
  crossref = "DBLP:conf/icse/2003",
  pages = "628-633",
  url = "http://computer.org/proceedings/icse/1877/18770628abs.htm",
}
@inproceedings{DBLP:conf/sac/DaviesCC03,
  title = "A Method for the Automatic Generation of Test Suites from Object Models",
  author = "Jim Davies and Charles Crichton and Alessandra Cavarra",
  year = "2003",
  booktitle = "Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA",
  crossref = "DBLP:conf/sac/2003",
  pages = "1104-1109",
  publisher = "ACM",
  doi = "10.1145/952532.952748",
}
@inproceedings{DBLP:conf/icfem/DaviesC03,
  title = "Using State Diagrams to Describe Concurrent Behaviour",
  author = "Jim Davies and Charles Crichton",
  year = "2003",
  booktitle = "5th International Conference on Formal Engineering Methods, ICFEM 2003",
  copyright = "2003",
  crossref = "DBLP:conf/icfem/2003",
  editor = "Jin Song Dong and Jim Woodcock",
  isbn = "978-3-540-20461-9",
  issn = "1611-3349",
  pages = "105-124",
  publisher = "Springer Berlin / Heidelberg",
  volume = "2885/2003",
  doi = "10.1007/b94115",
}
@article{DBLP:journals/entcs/DaviesC02,
  title = "Concurrency and Refinement in the Unified Modeling Language",
  author = "Jim Davies and Charles Crichton",
  year = "2002",
  booktitle = "REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002)",
  journal = "Electronic Notes in Theoretical Computer Science",
  number = "3",
  pages = "217-243",
  volume = "70",
  doi = "10.1016/S1571-0661(05)80494-3",
}
@article{DBLP:journals/entcs/BoltonD02,
  title = "A comparison of refinement orderings and their associated simulation rules",
  author = "Christie Bolton and Jim Davies",
  year = "2002",
  journal = "Electronic Notes in Theoretical Computer Science",
  number = "3",
  url = "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt\#010",
  volume = "70",
}
@inproceedings{DBLP:conf/ifm/BoltonD02,
  title = "Refinement in {O}bject-{Z} and {CSP}",
  author = "Christie Bolton and Jim Davies",
  year = "2002",
  crossref = "DBLP:conf/ifm/2002",
  pages = "225-244",
  url = "http://link.springer.de/link/service/series/0558/bibs/2335/23350225.htm",
}
@book{Davies*2000:Millenial,
  title = "Millennial Perspectives in Computer Science",
  year = "2000",
  booktitle = "Millennial Perspectives in Computer Science",
  editor = "J. Davies and A. Roscoe and J. Woodcock",
  publisher = "Palgrave",
}
@inbook{Woodcock*2000:Abstract,
  title = "Abstract data types and Processes",
  author = "J. Woodcock and J. Davies and C. Bolton",
  year = "2000",
  crossref = "Davies*2000:Millenial",
}
@inproceedings{DBLP:conf/ifm/BoltonD00,
  title = "Activity Graphs and Processes",
  author = "Christie Bolton and Jim Davies",
  year = "2000",
  crossref = "DBLP:conf/ifm/2000",
  pages = "77-96",
  url = "http://link.springer.de/link/service/series/0558/bibs/1945/19450077.htm",
}
@inproceedings{DBLP:conf/fmoods/BoltonD00,
  title = "Using Relational and Behavioural Semantics in the Verification of Object Models",
  author = "Christie Bolton and Jim Davies",
  year = "2000",
  crossref = "DBLP:conf/fmoods/2000",
  pages = "163-182",
}
@article{DBLP:journals/dc/LoweD99,
  title = "Using {CSP} to Verify Sequential Consistency",
  author = "Gavin Lowe and Jim Davies",
  year = "1999",
  journal = "Distributed Computing",
  number = "2-3",
  pages = "91-103",
  url = "http://link.springer.de/link/service/journals/00446/bibs/9012002/90120091.htm",
  volume = "12",
}
@inproceedings{Crichton*1999:When,
  title = "When to Trust Mobile Objects: Access Control in the {J}ini Software System",
  author = "Charles Crichton and Jim Davies and Jim Woodcock",
  year = "1999",
  booktitle = "Proceedings of TOOLS",
  doi = "10.1109/TOOLS.1999.787541",
}
@inproceedings{DBLP:conf/ifm/BoltonDW99,
  title = "On the Refinement and Simulation of Data Types and Processes",
  author = "Christie Bolton and Jim Davies and Jim Woodcock",
  year = "1999",
  crossref = "DBLP:conf/ifm/1999",
  pages = "273-292",
}
@proceedings{DBLP:conf/fm/1999-2,
  title = "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II",
  year = "1999",
  booktitle = "World Congress on Formal Methods",
  editor = "Jeannette M. Wing and Jim Woodcock and Jim Davies",
  isbn = "3-540-66588-9",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1709",
}
@proceedings{DBLP:conf/fm/1999-1,
  title = "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I",
  year = "1999",
  booktitle = "World Congress on Formal Methods",
  editor = "Jeannette M. Wing and Jim Woodcock and Jim Davies",
  isbn = "3-540-66587-0",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1708",
}
@inproceedings{Simpson*1998:Safety,
  title = "Safety through Security",
  author = "A. Simpson and J. Woodcock and J. Davies",
  year = "1998",
  booktitle = "Proceedings of the Ninth International Workshop on Software Specification and Design",
  publisher = "IEEE Press",
}
@inproceedings{Simpson*1997:Mechanical,
  title = "The Mechanical Verification of Solid State Interlocking Geographic Data",
  author = "A. Simpson and J. Woodcock and J. Davies",
  year = "1997",
  booktitle = "Proceedings of Formal Methods Pacific",
  publisher = "Springer",
}
@book{Woodcock&Davies96:Using,
  title = "Using {Z}: Specification, Refinement, and Proof",
  author = "J. Woodcock and J. Davies",
  year = "1996",
  lccn = "96004347",
  publisher = "Prentice Hall International",
}
@article{DBLP:journals/tcs/DaviesS95,
  title = "A Brief History of Timed {CSP}",
  author = "Jim Davies and Steve Schneider",
  year = "1995",
  journal = "Theoretical Computer Science",
  number = "2",
  pages = "243-271",
  url = "http://dx.doi.org/10.1016/0304-3975(94)00169-J",
  volume = "138",
}
@inproceedings{DBLP:conf/forte/DaviesBS95,
  title = "Real-time {LOTOS} and Timed Observations",
  author = "Jim Davies and Jeremy Bryans and Steve Schneider",
  year = "1995",
  crossref = "DBLP:conf/forte/1995",
  pages = "383-397",
}
@inproceedings{DBLP:conf/concur/BryansDS95,
  title = "Towards a denotational semantics for {ET-LOTOS}",
  author = "Jeremy Bryans and Jim Davies and Steve Schneider",
  year = "1995",
  crossref = "DBLP:conf/concur/1995",
  pages = "269-283",
}
@inbook{Davies&Schneider1994:Realtime,
  title = "Real-time {CSP}",
  author = "J. Davies and S. Schneider",
  year = "1994",
  booktitle = "Theories and Experiences for Real-time Systems",
  publisher = "World Scientific",
}
@article{DBLP:journals/fac/DaviesS94,
  title = "Recursion Induction for Real-Time Processes",
  author = "Jim Davies and Steve Schneider",
  year = "1994",
  journal = "Formal Aspects of Computing",
  number = "6",
  pages = "530-553",
  volume = "5",
}
@inproceedings{DBLP:conf/forte/DaviesW94,
  title = "On the formal specification and verification of network routing algorithms",
  author = "Jim Davies and Matt Wallis",
  year = "1994",
  crossref = "DBLP:conf/forte/1994",
  pages = "100-115",
}
@book{Davies1993:Specification,
  title = "Specification and Proof in Real-time {CSP}",
  author = "J. Davies",
  year = "1993",
  isbn = "9780521450553",
  publisher = "Cambridge University Press",
}
@inproceedings{DBLP:conf/concur/DaviesS92,
  title = "Using {CSP} to Verify a Timed Protocol over a Fair Medium",
  author = "Jim Davies and Steve Schneider",
  year = "1992",
  crossref = "DBLP:conf/concur/1992",
  pages = "355-369",
}
@inproceedings{DBLP:conf/ftrtft/DaviesJS92,
  title = "Broadcast Communication for Real-time Processes",
  author = "Jim Davies and Dave Jackson and Steve Schneider",
  year = "1992",
  crossref = "DBLP:conf/ftrtft/1992",
  pages = "149-169",
}
@inproceedings{DBLP:conf/rex/SchneiderDJRRR91,
  title = "Timed {CSP}: Theory and Practice",
  author = "Steve Schneider and Jim Davies and D. M. Jackson and George M. Reed and Joy N. Reed and A. W. Roscoe",
  year = "1991",
  crossref = "DBLP:conf/rex/1991",
  pages = "640-675",
}
@inproceedings{DBLP:conf/mfps/DaviesS89,
  title = "Factorizing Proofs in Timed {CSP}",
  author = "Jim Davies and Steve Schneider",
  year = "1989",
  crossref = "DBLP:conf/mfps/1989",
  pages = "129-159",
}
@inproceedings{Davies&Schneider1989:Factorising,
  title = "Factorising Proofs in Timed {CSP}",
  author = "J. Davies and S. Schneider",
  year = "1989",
  booktitle = "Real-Time Systems: Theory and Practice",
  publisher = "North-Holland",
}