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",
doi = "10.1145/2846696.2846701",
}
@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",
doi = "10.1007/978-3-642-33296-8_9",
}
@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",
}