Overview
Each section is listed in reverse date order.
In industry, even significant items were left as technical reports and not published externally, e.g.:
- (Bekič et al., 1974) was the key output of the denotational semantics definition of PL/I (which marks the start of VDM as a language definition method);
- (Allen et al., 1972) was a complete definition of ALGOL 60 using “functional semantics”;
- (Jones, 1977) introduced the concept of “implementation bias”;
- and (Henhapl and Jones, 1970) introduced the “exit” idea.
My Oxford thesis:
- (Jones, 1981) is my D.Phil. Thesis.
Articles
- I. J. Hayes, C. B. Jones, and L. A. Meinicke. Specifying and reasoning about shared-variable concurrency. In Jonathan P. Bowen, Qin Li, and Qiwen Xu, editors, Theories of Programming and Formal Methods Theories of Programming and Formal Methods, number 14080 in lncs, pages 110–135. springer, 2023.
@inproceedings{HJM-23, author = {Hayes, I. J. and Jones, C. B. and Meinicke, L. A.}, booktitle = {Theories of Programming and Formal Methods Theories of Programming and Formal Methods}, editor = {Bowen, Jonathan P. and Li, Qin and Xu, Qiwen}, number = {14080}, pages = {110--135}, publisher = {springer}, series = {lncs}, title = {Specifying and reasoning about shared-variable concurrency}, year = {2023} } - A. Burns and C.B. Jones. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2022. Schloss Dagstuhl–Leibniz-Zentrum für Informatik.
@inproceedings{BurnsJones:ECRTS:2022, author = {Burns, A. and Jones, C.B.}, title = {An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems}, year = {2022}, editor = {Maggio, Martina}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum für Informatik}, address = {Dagstuhl, Germany} } - C.B. Jones and M. Thomas. The development and deployment of formal methods in the UK. Formal Aspects of Computing, 2022. doi:10.1145/3522577.
@article{JonesThomas22, author = {Jones, C.B. and Thomas, M.}, title = {The development and deployment of formal methods in the UK}, journal = {Formal Aspects of Computing}, year = {2022}, doi = {10.1145/3522577} } - Cliff B. Jones and Alan Burns. A Rely-Guarantee Specification of Mixed-Criticality Scheduling. In Valentin Cassano and Nazareno Aguirre, editors, Mathematical Foundations of Software Engineering: Essays in Honor of Tom Maibaum on the Occasion of his Retirement, Tribute Series. College Publications, 2022.
@incollection{JonesBurns4TSEM-22, author = {Jones, Cliff B. and Burns, Alan}, title = {A Rely-Guarantee Specification of Mixed-Criticality Scheduling}, booktitle = {Mathematical Foundations of Software Engineering: Essays in Honor of Tom Maibaum on the Occasion of his Retirement}, publisher = {College Publications}, year = {2022}, editor = {Cassano, Valentin and Aguirre, Nazareno}, series = {Tribute Series} } - Cliff B. Jones and Jayadev Misra. Finding Effective Abstractions. In Cliff B. Jones and Jayadev Misra, editors, Theories of programming: the life and works of Tony Hoare. ACM, 2021. doi:10.1145/3477355.
@incollection{JonesMisraChals-21, author = {Jones, Cliff B. and Misra, Jayadev}, title = {Finding Effective Abstractions}, booktitle = {Theories of programming: the life and works of {Tony Hoare}}, publisher = {ACM}, year = {2021}, editor = {Jones, Cliff B. and Misra, Jayadev}, chapter = {4}, doi = {10.1145/3477355} } - Alan Burns, Ian J. Hayes, and Cliff B. Jones. Deriving specifications of control programs for cyber physical systems. The Computer Journal, 63(5):774–790, 2020. doi:10.1093/comjnl/bxz019.
@article{BurnsHayesJones-19, author = {Burns, Alan and Hayes, Ian J. and Jones, Cliff B.}, title = {Deriving specifications of control programs for cyber physical systems}, journal = {The Computer Journal}, year = {2020}, volume = {63}, number = {5}, pages = {774--790}, doi = {10.1093/comjnl/bxz019} } - Cliff B. Jones. Reasoning about shared-variable concurrency: interactions between research threads. In T. K. Astarte, editor, HFM 2019 - History of Formal Methods Workshop, lncs, pages 54–72. springer, 2020.
@inproceedings{JonesHFM2019, author = {Jones, Cliff B.}, booktitle = {HFM 2019 - History of Formal Methods Workshop}, editor = {Astarte, T. K.}, pages = {54--72}, publisher = {springer}, series = {lncs}, title = {Reasoning about shared-variable concurrency: interactions between research threads}, year = {2020} } - Cliff Jones Alan Burns Sanjoy Baruah and Iain Bate. Reasoning about the Relationship Between the Scheduler and Mixed-Criticality Jobs. In Jing Li and Zhishan Guo, editors, Proceedings of the 7th International Workshop on Mixed Criticality Systems, pages 17–22, 2019.
@inproceedings{WMC-19, author = {Alan Burns, Sanjoy Baruah, Cliff Jones and Bate, Iain}, title = {Reasoning about the Relationship Between the Scheduler and Mixed-Criticality Jobs}, booktitle = {Proceedings of the 7th International Workshop on Mixed Criticality Systems}, year = {2019}, editor = {Li, Jing and Guo, Zhishan}, pages = {17--22}, url = {https://drive.google.com/file/d/1Ri64YJrNhw_KgH4HhEmvoxvMGfUO-1K8/view?usp=sharing} } - Cliff B. Jones and Nisansala Yatapanage. Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Formal Aspects of Computing, 31(3):353–374, 2019. on-line April 2018. doi:10.1007/s00165-019-00482-3.
@article{JonesYatapanage-19, author = {Jones, Cliff B. and Yatapanage, Nisansala}, title = {Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example}, journal = {Formal Aspects of Computing}, year = {2019}, volume = {31}, number = {3}, pages = {353--374}, note = {on-line April 2018}, doi = {10.1007/s00165-019-00482-3} } - Cliff B. Jones. Concurrency: handling interference formally. In Cliff Jones, Ji Wang, and Naijun Zhang, editors, Real-time and Hybrid Systems, volume 11180 of LNCS, pages 26–43. Springer, 2018. doi:10.1007/978-3-030-01461-2_2.
@inproceedings{Jones-18, author = {Jones, Cliff B.}, title = {Concurrency: handling interference formally}, booktitle = {Real-time and Hybrid Systems}, year = {2018}, editor = {Jones, Cliff and Wang, Ji and Zhang, Naijun}, volume = {11180}, pages = {26--43}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-030-01461-2_2} } - Troy K. Astarte and Cliff B. Jones. Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context. In Liesbeth De Mol and Giuseppe Primiero, editors, Reflections on Programming Systems - Historical and Philosophical Aspects, pages 71–141. Springer Philosophical Studies Series, 2018.
@inproceedings{AstarteJones-HaPoP-16, author = {Astarte, Troy K. and Jones, Cliff B.}, title = {Formal Semantics of {ALGOL 60}: Four Descriptions in their Historical Context}, booktitle = {Reflections on Programming Systems - Historical and Philosophical Aspects}, year = {2018}, editor = {De Mol, Liesbeth and Primiero, Giuseppe}, pages = {71--141}, publisher = {Springer Philosophical Studies Series}, url = {https://link.springer.com/chapter/10.1007/978-3-319-97226-8_4} } - Cliff B. Jones and Troy K. Astarte. Challenges for semantic description: comparing responses from the main approaches. In Jonathan Bowen and Zhiming Liu, editors, 3rd School on Engineering Trustworthy Software Systems, volume 11174 of LNCS, pages 176–217. Springer, 2018. doi:10.1007/978-3-030-02928-9_6.
@inproceedings{JonesAstarte-18, author = {Jones, Cliff B. and Astarte, Troy K.}, title = {Challenges for semantic description: comparing responses from the main approaches}, booktitle = {3rd School on Engineering Trustworthy Software Systems}, year = {2018}, editor = {Bowen, Jonathan and Liu, Zhiming}, volume = {11174}, pages = {176--217}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-030-02928-9_6} } - Ian J. Hayes and Cliff B. Jones. A Guide to Rely/Guarantee Thinking. In Jonathan Bowen and Zhiming Liu, editors, 3rd School on Engineering Trustworthy Software Systems, volume 11174 of LNCS, pages 1–38. Springer, 2018. doi:10.1007/978-3-030-02928-9_1.
@inproceedings{HayesJones-18, author = {Hayes, Ian J. and Jones, Cliff B.}, title = {A Guide to Rely/Guarantee Thinking}, booktitle = {3rd School on Engineering Trustworthy Software Systems}, year = {2018}, editor = {Bowen, Jonathan and Liu, Zhiming}, volume = {11174}, pages = {1--38}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-030-02928-9_1} } - Cliff B. Jones, Andrius Velykis, and Nisansala Yatapanage. General lessons from a rely/guarantee development. In Kim Guldstrand Larsen, Oleg Sokolsky, and Ji Wang, editors, Dependable Software Engineering: Theories, Tools, and Applications, volume 10606 of LNCS, pages 3–24. Springer, 2017. doi:10.1007/978-3-319-69483-2_1.
@inproceedings{JonesVelykisYatapanage-17, author = {Jones, Cliff B. and Velykis, Andrius and Yatapanage, Nisansala}, title = {General lessons from a rely/guarantee development}, booktitle = {Dependable Software Engineering: Theories, Tools, and Applications}, year = {2017}, editor = {Larsen, Kim Guldstrand and Sokolsky, Oleg and Wang, Ji}, volume = {10606}, pages = {3--24}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-319-69483-2_1} } - Cliff B. Jones. Turing’s 1949 paper in context. In Jarkko Kari, Florain Manea, and Ion Petre, editors, Computability in Europe 2017, volume 10307 of LNCS, pages 21–41. Springer, 2017. doi:10.1007/978-3-319-58741-7_4.
@inproceedings{Jones-CiE-17, author = {Jones, Cliff B.}, title = {Turing's 1949 paper in context}, booktitle = {Computability in Europe 2017}, year = {2017}, editor = {Kari, Jarkko and Manea, Florain and Petre, Ion}, volume = {10307}, pages = {21--41}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-319-58741-7_4} } - Cliff B. Jones and Ian J. Hayes. Possible values: Exploring a concept for concurrency. Journal of Logical and Algebraic Methods in Programming, 2016. doi:10.1016/j.jlamp.2016.01.002.
@article{JonesHayes-16, author = {Jones, Cliff B. and Hayes, Ian J.}, title = {Possible values: Exploring a concept for concurrency}, journal = {Journal of Logical and Algebraic Methods in Programming}, year = {2016}, doi = {10.1016/j.jlamp.2016.01.002} } - Edward J. Oughton, Martino Tram, Cliff B. Jones, and Razgar Ebrahimy. Digital communications and information systems. In The Future of National Infrastructure, pages 181–204. Cambridge, 2016.
@incollection{OughtonEt-16, author = {Oughton, Edward J. and Tram, Martino and Jones, Cliff B. and Ebrahimy, Razgar}, title = {Digital communications and information systems}, booktitle = {The Future of National Infrastructure}, publisher = {Cambridge}, year = {2016}, chapter = {9}, pages = {181--204} } - Cliff B. Jones. Thanks to Zem. In Johann Stockinger Karl Anton Froeschl Gerhard Chroust, editor, In memoriam Heinz Zemanek, volume Band-311. OCG, 2015.
@incollection{Jones-re-Zem-15, author = {Jones, Cliff B.}, title = {Thanks to {Zem}}, booktitle = {In memoriam Heinz Zemanek}, publisher = {OCG}, year = {2015}, editor = {Karl Anton Froeschl, Gerhard Chroust, Johann Stockinger}, volume = {Band-311} } - Cliff B. Jones, Ian J. Hayes, and Robert J. Colvin. Balancing Expressiveness in Formal Approaches to Concurrency. Formal Aspects of Computing, 27(3):465–497, 2015. doi:10.1007/s00165-014-0310-2.
@article{Jones-FACJexSEFM-13, author = {Jones, Cliff B. and Hayes, Ian J. and Colvin, Robert J.}, title = {Balancing Expressiveness in Formal Approaches to Concurrency}, journal = {Formal Aspects of Computing}, year = {2015}, volume = {27}, number = {3}, pages = {465--497}, doi = {10.1007/s00165-014-0310-2} } - Cliff B. Jones and Nisansala Yatapanage. Reasoning about Separation Using Abstraction and Reification. In Radu Calinescu and Bernhard Rumpe, editors, Software Engineering and Formal Methods, volume 9276 of LNCS, pages 3–19. Springer, 2015. doi:10.1007/978-3-319-22969-0_1.
@inproceedings{JonesYatapanage-15, author = {Jones, Cliff B. and Yatapanage, Nisansala}, title = {Reasoning about Separation Using Abstraction and Reification}, booktitle = {Software Engineering and Formal Methods}, year = {2015}, editor = {Calinescu, Radu and Rumpe, Bernhard}, volume = {9276}, pages = {3--19}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-319-22969-0_1} } - Leo Freitas, Cliff B. Jones, Andrius Velykis, and Iain Whiteside. A Model for Capturing and Replaying Proof Strategies. In Dimitra Giannakopoulou and Daniel Kroening, editors, Verified Software: Theories, Tools and Experiments, volume 8471 of LNCS, pages 183–199, 2014. doi:10.1007/978-3-319-12154-3_12.
@inproceedings{VSTTE-14, author = {Freitas, Leo and Jones, Cliff B. and Velykis, Andrius and Whiteside, Iain}, title = {A Model for Capturing and Replaying Proof Strategies}, booktitle = {Verified Software: Theories, Tools and Experiments}, year = {2014}, editor = {Giannakopoulou, Dimitra and Kroening, Daniel}, volume = {8471}, pages = {183--199}, series = {LNCS}, doi = {10.1007/978-3-319-12154-3_12} } - Jim W Hall, Justin J Henriques, Adrian J Hickford, Robert J Nicholls, Pranab Baruah, Mark Birkin, Modassar Chaudry, Tom P Curtis, Nick Eyre, Cliff Jones, and others. Assessing the long-term performance of cross-sectoral strategies for national infrastructure. Journal of Infrastructure Systems, 20(3), 2014.
@article{HallEt-14, author = {Hall, Jim W and Henriques, Justin J and Hickford, Adrian J and Nicholls, Robert J and Baruah, Pranab and Birkin, Mark and Chaudry, Modassar and Curtis, Tom P and Eyre, Nick and Jones, Cliff and others}, title = {Assessing the long-term performance of cross-sectoral strategies for national infrastructure}, journal = {Journal of Infrastructure Systems}, year = {2014}, volume = {20}, number = {3} } - Leo Freitas, Cliff B. Jones, and Andrius Velykis. Can a system learn from interactive proofs? In Andrei Voronkov and Margarita Korovina, editors, HOWARD-60. A Festschrift on the Occasion of Howard Barringer’s 60th Birthday, volume EPiC Vol. 23, pages 124–139. EasyChair, 2014. doi:10.29007/s478.
@inproceedings{FrJoVe11-HB60, author = {Freitas, Leo and Jones, Cliff B. and Velykis, Andrius}, title = {Can a system learn from interactive proofs?}, booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday}, year = {2014}, editor = {Voronkov, Andrei and Korovina, Margarita}, volume = {EPiC Vol. 23}, pages = {124-139}, publisher = {EasyChair}, doi = {10.29007/s478} } - C. B. Jones, M. J. Lovert, and L. J. Steggles. Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions. Science of Computer Programming, 2013. Author presentation available on SCP web site. doi:10.1016/j.scico.2013.09.007.
@article{JoLovSteg-13, author = {Jones, C. B. and Lovert, M. J. and Steggles, L. J.}, title = {Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions}, journal = {Science of Computer Programming}, year = {2013}, note = {Author presentation available on SCP web site}, doi = {10.1016/j.scico.2013.09.007}, url = {http://www.sciencedirect.com/science/article/pii/S0167642313002360} } - Cliff B. Jones, Leo Freitas, and Andrius Velykis. Ours is to reason why. In Zhiming Liu, Jim Woodcock, and Huibiao Zhu, editors, Theories of Programming and Formal Methods, volume 8051 of LNCS, pages 227–243, 2013. doi:10.1007/978-3-642-39698-4_14.
@inproceedings{ai4fm-shanghai, author = {Jones, Cliff B. and Freitas, Leo and Velykis, Andrius}, title = {Ours is to reason why}, booktitle = {Theories of Programming and Formal Methods}, year = {2013}, editor = {Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao}, volume = {8051}, pages = {227--243}, series = {LNCS}, doi = {10.1007/978-3-642-39698-4_14} } - Rainer Gmehlich and Cliff Jones. Experience of Deployment in the Automotive Industry. In Alexander Romanovsky and Martyn Thomas, editors, Industrial Deployment of System Engineering Methods, pages 13–26. Springer, 2013.
@incollection{GmehlichJones-13, author = {Gmehlich, Rainer and Jones, Cliff}, title = {Experience of Deployment in the Automotive Industry}, booktitle = {Industrial Deployment of System Engineering Methods}, publisher = {Springer}, year = {2013}, editor = {Romanovsky, Alexander and Thomas, Martyn}, chapter = {3}, pages = {13--26}, url = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-33170-1_3.pdf} } - Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Cliff Jones, and Manuel Mazzara. Towards a formalism-based toolkit for automotive applications. In Formal Methods in Software Engineering (FormaliSE), pages 36–42. IEEE, 2013.
@inproceedings{GmehlichEt-13, author = {Gmehlich, Rainer and Grau, Katrin and Loesch, Felix and Iliasov, Alexei and Jackson, Michael and Jones, Cliff and Mazzara, Manuel}, title = {Towards a formalism-based toolkit for automotive applications}, booktitle = {Formal Methods in Software Engineering (FormaliSE)}, year = {2013}, pages = {36--42}, organization = {IEEE} } - Cliff B. Jones. Expressiveness of Notations for Reasoning about Concurrency. In ICECCS 2013, 2013. doi:10.1109/ICECCS.2013.9.
@inproceedings{Jones-ICECCS-abs-13, author = {Jones, Cliff B.}, title = {Expressiveness of Notations for Reasoning about Concurrency}, booktitle = {ICECCS 2013}, year = {2013}, doi = {10.1109/ICECCS.2013.9} } - Ian J. Hayes, Alan Burns, Brijesh Dongol, and Cliff B. Jones. Comparing Degrees of Non-Deterministim in Expression Evaluation. The Computer Journal, 56(6):741–755, 2013. doi:10.1093/comjnl/bxt005.
@article{HayesBurnsDongolJones12, author = {Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B.}, title = {Comparing Degrees of Non-Deterministim in Expression Evaluation}, journal = {The Computer Journal}, year = {2013}, volume = {56}, number = {6}, pages = {741--755}, doi = {10.1093/comjnl/bxt005}, url = {http://comjnl.oxfordjournals.org/content/56/6/741} } - Iain Whiteside, Leo Freitas, Cliff Jones, and Andrius Velykis. Verifying the heap: an AI4FM case study. In Gudmund Grov, Ewen Maclean, and Leo Freitas, editors, Contributions to AI4FM 2013, volume 0100 of Technical Report, Heriot-Watt University, pages 7–9, 2013.
@inproceedings{ITP-WS-13, author = {Whiteside, Iain and Freitas, Leo and Jones, Cliff and Velykis, Andrius}, title = {Verifying the heap: an {AI4FM} case study}, booktitle = {Contributions to {AI4FM} 2013}, year = {2013}, editor = {Grov, Gudmund and Maclean, Ewen and Freitas, Leo}, volume = {0100}, pages = {7--9}, series = {Technical Report, Heriot-Watt University} } - Cliff B. Jones. Turing’s "Checking a Large Routine". In S. Barry Cooper and Jan van Leeuwen, editors, Alan Turing — His Work and Impact, pages 455–461. Elsevier, 2013.
@incollection{Jones-reAMT11, author = {Jones, Cliff B.}, title = {Turing's {"Checking a Large Routine"}}, booktitle = {Alan Turing --- His Work and Impact}, publisher = {Elsevier}, year = {2013}, editor = {Cooper, S. Barry and van Leeuwen, Jan}, pages = {455--461} } - Cliff B. Jones. Abstraction as a unifying link for formal approaches to concurrency. In G. Eleftherakis, M. Hinchey, and M. Holcombe, editors, Software Engineering and Formal Methods, volume 7504 of LNCS, pages 1–15, October 2012. doi:10.1007/978-3-642-33826-7_1.
@inproceedings{JonesSEFM12, author = {Jones, Cliff B.}, title = {Abstraction as a unifying link for formal approaches to concurrency}, booktitle = {Software Engineering and Formal Methods}, year = {2012}, editor = {Eleftherakis, G. and Hinchey, M. and Holcombe, M.}, volume = {7504}, pages = {1--15}, series = {LNCS}, month = oct, doi = {10.1007/978-3-642-33826-7_1} } - C. B. Jones, M. J. Lovert, and L. J. Steggles. A Semantic Analysis of Logics that Cope with Partial Functions. In John Derrick and others, editors, ABZ 2012, volume 7316 of LNCS, pages 252–265, June 2012. doi:10.1007/978-3-642-30885-7_18.
@inproceedings{JoLovSteg12a, author = {Jones, C. B. and Lovert, M. J. and Steggles, L. J.}, title = {A Semantic Analysis of Logics that Cope with Partial Functions}, booktitle = {ABZ 2012}, year = {2012}, editor = {Derrick, John and others}, volume = {7316}, pages = {252--265}, series = {LNCS}, month = jun, doi = {10.1007/978-3-642-30885-7_18} } - Cliff B. Jones and Matthew J. Lovert. Semantic Models for a Logic of Partial Functions. International Journal of Software and Informatics, 5(1–2, Part I):55–76, 2011.
@article{JonesLovert11, author = {Jones, Cliff B. and Lovert, Matthew J.}, title = {Semantic Models for a Logic of Partial Functions}, journal = {International Journal of Software and Informatics}, year = {2011}, volume = {5}, number = {1--2, Part I}, pages = {55-76}, url = {http://ijsi.cnjournals.com/ch/reader/view_abstract.aspx?file_no=i76&flag=1} } - Cliff B. Jones and Ken G. Pierce. Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, 23(3):289–306, 2011. doi:10.1007/s00165-010-0156-1.
@article{JonesPierce10, author = {Jones, Cliff B. and Pierce, Ken G.}, title = {Elucidating concurrent algorithms via layers of abstraction and reification}, journal = {Formal Aspects of Computing}, year = {2011}, volume = {23}, number = {3}, pages = {289--306}, doi = {10.1007/s00165-010-0156-1} } - Gudmund Grov and Cliff B. Jones. AI4FM: A New Project Seeking Challenges! In Rajeev Joshi, Tiziana Margaria, Peter Mueller, David Naumann, and Hongseok Yang, editors, VSTTE 2010, August 2010.
@inproceedings{VSTTE10, author = {Grov, Gudmund and Jones, Cliff B.}, title = {{AI4FM}: A New Project Seeking Challenges!}, booktitle = {VSTTE~2010}, year = {2010}, editor = {Joshi, Rajeev and Margaria, Tiziana and Mueller, Peter and Naumann, David and Yang, Hongseok}, month = aug } - Cliff B. Jones, Gudmund Grov, and Alan Bundy. Ideas for a high-level proof strategy language. In Bruno Dutertre and Hassen Saidi, editors, AFM’10 (Automated Formal Methods), July 2010.
@inproceedings{AFM10, author = {Jones, Cliff B. and Grov, Gudmund and Bundy, Alan}, title = {Ideas for a high-level proof strategy language}, booktitle = {AFM'10 (Automated Formal Methods)}, year = {2010}, editor = {Dutertre, Bruno and Saidi, Hassen}, month = jul } - C.B. Jones and A.W. Roscoe. Insight, inspiration and collaboration. In Cliff B. Jones, A. W. Roscoe, and Kenneth Wood, editors, Reflections on the work of C.A.R. Hoare, pages 1–32. Springer, 2010. doi:10.1007/978-1-84882-912-1_1.
@incollection{JonesRoscoeCARH-FS-10, author = {Jones, C.B. and Roscoe, A.W.}, title = {Insight, inspiration and collaboration}, booktitle = {Reflections on the work of {C.A.R. Hoare}}, publisher = {Springer}, year = {2010}, editor = {Jones, Cliff B. and Roscoe, A. W. and Wood, Kenneth}, chapter = {1}, pages = {1--32}, doi = {10.1007/978-1-84882-912-1_1}, url = {http://dx.doi.org/10.1007/978-1-84882-912-1_1} } - Leo Freitas and Cliff B. Jones. Learning from an expert’s proof: AI4FM. In Tom Ball, Lenore Zuck, and Natarajan Shankar, editors, UV10 (Usable Verification), November 2010.
@inproceedings{FreitasJones10, author = {Freitas, Leo and Jones, Cliff B.}, title = {Learning from an expert's proof: {AI4FM}}, booktitle = {UV10 (Usable Verification)}, year = {2010}, editor = {Ball, Tom and Zuck, Lenore and Shankar, Natarajan}, month = nov, url = {https://pdfs.semanticscholar.org/b724/97eea056865365a75274621b3eb4d5d47fc7.pdf} } - C. B. Jones. The role of auxiliary variables in the formal development of concurrent programs. In Cliff B. Jones, A. W. Roscoe, and Kenneth Wood, editors, Reflections on the work of C.A.R. Hoare, pages 167–188. Springer, 2010. doi:10.1007/978-1-84882-912-1_8.
@incollection{Jones-CARH-FS-10, author = {Jones, C. B.}, title = {The role of auxiliary variables in the formal development of concurrent programs}, booktitle = {Reflections on the work of {C.A.R. Hoare}}, publisher = {Springer}, year = {2010}, editor = {Jones, Cliff B. and Roscoe, A. W. and Wood, Kenneth}, chapter = {8}, pages = {167--188}, doi = {10.1007/978-1-84882-912-1_8} } - Cliff B. Jones. From Problem Frames to HJJ (and its known unknowns). In Bashar Nuseibeh and Pamela Zave, editors, Software Requirements and Design: The Work of Michael Jackson, pages 357–372. Good Friends Publishing Company, 2010.
@incollection{Jones09MAJ-FS, author = {Jones, Cliff B.}, title = {From Problem Frames to {HJJ} (and its known unknowns)}, booktitle = {Software Requirements and Design: The Work of Michael Jackson}, publisher = {Good Friends Publishing Company}, year = {2010}, editor = {Nuseibeh, Bashar and Zave, Pamela}, chapter = {16}, pages = {357--372} } - Gudmund Grov, Alan Bundy, Cliff B. Jones, and Andrew Ireland. The AI4FM approach for automation within formal methods. In Grand Challenges in Computing Research 2010. UK Computing Research Committee, April 2010.
@inproceedings{GCCR10, author = {Grov, Gudmund and Bundy, Alan and Jones, Cliff B. and Ireland, Andrew}, title = {The {AI4FM} approach for automation within formal methods}, booktitle = {Grand Challenges in Computing Research 2010}, year = {2010}, publisher = {UK Computing Research Committee}, month = apr, url = {http://www.ukcrc.org.uk/grand-challenge/gccr10-sub-20.cfm} } - Alan Bundy, Gudmund Grov, and Cliff B. Jones. Learning from experts to aid the automation of proof search. In Liam O’Reilly and Markus Roggenbach, editors, AVoCS’09 – PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems, Technical Report of Computer Science CSR-2-2009, pages 229–232. Swansea University, 2009.
@inproceedings{BundyGrovJones09, author = {Bundy, Alan and Grov, Gudmund and Jones, Cliff B.}, title = {Learning from experts to aid the automation of proof search}, booktitle = {{AVoCS'09} -- PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems}, year = {2009}, editor = {O'Reilly, Liam and Roggenbach, Markus}, pages = {229--232}, series = {Technical Report of Computer Science CSR-2-2009}, publisher = {Swansea University} } - Cliff B. Jones. Abstraction is all we’ve got: auxiliary variables considered harmful. In Jean-Raymond Abrial, Michael Butler, Rajeev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock, editors, Dagstuhl 09381: Refinement Based Methods for the Construction of Dependable Systems, pages 94–98, 2009.
@inproceedings{Jones-Dagstuhl-09, author = {Jones, Cliff B.}, title = {Abstraction is all we've got: auxiliary variables considered harmful}, booktitle = {Dagstuhl 09381: Refinement Based Methods for the Construction of Dependable Systems}, year = {2009}, editor = {Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajeev and Troubitsyna, Elena and Woodcock, Jim C. P.}, pages = {94--98}, url = {http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=2374} } - Alan Bundy, Gudmund Grov, and Cliff B. Jones. An outline of a proposed system that learns from experts how to discharge proof obligations automatically. In Jean-Raymond Abrial, Michael Butler, Rajeev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock, editors, Dagstuhl 09381: Refinement Based Methods for the Construction of Dependable Systems, pages 38–42, 2009.
@inproceedings{BundyGrovJones-Dagstuhl-09, author = {Bundy, Alan and Grov, Gudmund and Jones, Cliff B.}, title = {An outline of a proposed system that learns from experts how to discharge proof obligations automatically}, booktitle = {Dagstuhl 09381: Refinement Based Methods for the Construction of Dependable Systems}, year = {2009}, editor = {Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajeev and Troubitsyna, Elena and Woodcock, Jim C. P.}, pages = {38--42}, url = {http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=2374} } - John R. D. Hughes and C. B. Jones. Reasoning about Programs via Operational Semantics: Requirements for a Support System. Automated Software Engineering, 15(3–4):299–312, 2008. doi:10.1007/s10515-008-0036-6.
@article{HughesJones08, author = {Hughes, John R. D. and Jones, C. B.}, title = {Reasoning about Programs via Operational Semantics: Requirements for a Support System}, journal = {Automated Software Engineering}, year = {2008}, volume = {15}, number = {3--4}, pages = {299--312}, doi = {10.1007/s10515-008-0036-6} } - Cliff B. Jones and Ken G. Pierce. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. In ABZ2008, number 5238 in LNCS, pages 360–377. Springer, 2008. doi:10.1007/978-3-540-87603-8_47.
@inproceedings{JonesPierce08, author = {Jones, Cliff B. and Pierce, Ken G.}, title = {Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification}, booktitle = {ABZ2008}, year = {2008}, pages = {360--377}, number = {5238}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-540-87603-8_47}, url = {http://www.springerlink.com/content/d63746175654u503/fulltext.pdf} } - Cliff B. Jones. Some interdisciplinary observations about getting the “right” specification. In B. Meyer and J. P. C. Woodcock, editors, Verified Software: Theories, Tools, Experiments, number 4171 in LNCS, pages 64–69. Springer, 2008. doi:10.1007/978-3-540-69149-5_8.
@inproceedings{Jones-VSTTE-08, author = {Jones, Cliff B.}, title = {Some interdisciplinary observations about getting the ``right'' specification}, booktitle = {Verified Software: Theories, Tools, Experiments}, year = {2008}, editor = {Meyer, B. and Woodcock, J. P. C.}, pages = {64--69}, number = {4171}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-540-69149-5_8} } - J. S. Fitzgerald, J. W. Bryans, D. Greathead, C. B. Jones, and R. Payne. Animation-based Validation of a Formal Model of Dynamic Vitual Organisations. In P. Boca, J. Bowen, and P.G. Larsen, editors, FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK, December 2008. BCS.
@inproceedings{FBGJP08, author = {Fitzgerald, J. S. and Bryans, J. W. and Greathead, D. and Jones, C. B. and Payne, R.}, title = {Animation-based Validation of a Formal Model of Dynamic Vitual Organisations}, booktitle = {FACS 2007 Christmas Workshop: Formal Methods in Industry}, year = {2008}, editor = {Boca, P. and Bowen, J. and Larsen, P.G.}, organization = {BCS}, address = {BCS London, UK}, month = dec, url = {http://www.bcs.org/server.php?show=ConWebDoc.18550} } - J. S. Fitzgerald and C. B. Jones. The Connection between Two Ways of Reasoning about Partial Functions. IPL, 107(3–4):128–132, 2008. doi:10.1016/j.ipl.2008.02.005.
@article{FitzJones08, author = {Fitzgerald, J. S. and Jones, C. B.}, title = {The Connection between Two Ways of Reasoning about Partial Functions}, journal = {IPL}, year = {2008}, volume = {107}, number = {3--4}, pages = {128--132}, doi = {10.1016/j.ipl.2008.02.005} } - Cliff B. Jones. Reflections on, and predictions for, support systems for the development of programs. In Proceedings ASE 2008, pages 7–8. IEEE/ACM, 2008. doi:10.1109/ASE.2008.10.
@inproceedings{Jones-ASE08, author = {Jones, Cliff B.}, title = {Reflections on, and predictions for, support systems for the development of programs}, booktitle = {Proceedings ASE~2008}, year = {2008}, pages = {7--8}, publisher = {IEEE/ACM}, doi = {10.1109/ASE.2008.10} } - J. W. Coleman and C. B. Jones. Atomicity: A Unifying Concept in Computer Science. Journal of Universal Computer Science, 13(8):1042–1043, 2007.
@article{ColemanJones07JUCS, author = {Coleman, J. W. and Jones, C. B.}, title = {Atomicity: A Unifying Concept in Computer Science}, journal = {Journal of Universal Computer Science}, year = {2007}, volume = {13}, number = {8}, pages = {1042--1043}, url = {http://www.jucs.org/jucs_13_8/atomicity_a_unifying_concept/jucs_13_8_1042_1043_editorial.pdf} } - J. W. Coleman and C. B. Jones. A Structural Proof of the Soundness of Rely/guarantee Rules. Journal of Logic and Computation, 17(4):807–841, 2007. doi:10.1093/logcom/exm030.
@article{CoJo07, author = {Coleman, J. W. and Jones, C. B.}, title = {A Structural Proof of the Soundness of Rely/guarantee Rules}, journal = {Journal of Logic and Computation}, year = {2007}, volume = {17}, number = {4}, pages = {807--841}, doi = {10.1093/logcom/exm030} } - Cliff B. Jones. VDM "Post-ludium". In D. Bjørner and M. Henson, editors, Logics of Specification Languages, pages 614–616. Springer, 2007.
@incollection{Jones07h, author = {Jones, Cliff B.}, title = {{VDM} "Post-ludium"}, booktitle = {Logics of Specification Languages}, publisher = {Springer}, year = {2007}, editor = {Bjørner, D. and Henson, M.}, pages = {614--616} } - Cliff B. Jones and Ken G. Pierce. What Can the pi-calculus Tell Us about the Mondex Purse System? In ICECCS ’07: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Aukland, NZ, pages 300–306. IEEE Computer Society, July 2007. doi:10.1109/ICECCS.2007.46.
@inproceedings{JonesPierce07, author = {Jones, Cliff B. and Pierce, Ken G.}, title = {What Can the pi-calculus Tell Us about the Mondex Purse System?}, booktitle = {ICECCS '07: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Aukland, NZ}, year = {2007}, pages = {300--306}, organization = {IEEE, Computer Society}, publisher = {IEEE Computer Society}, month = jul, doi = {10.1109/ICECCS.2007.46} } - Cliff B. Jones. Understanding programming language concepts via operational semantics. In Chris George, Zhiming Liu, and Jim Woodcock, editors, Domain Modeling and the Duration Calculus, volume 4710 of LNCS, pages 177–235. Springer, 2007. doi:10.1007/978-3-540-74964-6_4.
@inproceedings{Jones07e, author = {Jones, Cliff B.}, title = {Understanding programming language concepts via operational semantics}, booktitle = {Domain Modeling and the Duration Calculus}, year = {2007}, editor = {George, Chris and Liu, Zhiming and Woodcock, Jim}, volume = {4710}, pages = {177--235}, series = {LNCS}, publisher = {Springer}, doi = {10.1007/978-3-540-74964-6_4} } - Cliff B. Jones, Ian J. Hayes, and Michael A. Jackson. Deriving Specifications for Systems That are Connected to the Physical World. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, volume 4700 of LNCS, pages 364–390. Springer Verlag, 2007. doi:10.1007/978-3-540-75221-9_16.
@inproceedings{JHJ07, author = {Jones, Cliff B. and Hayes, Ian J. and Jackson, Michael A.}, title = {Deriving Specifications for Systems That are Connected to the Physical World}, booktitle = {Formal Methods and Hybrid Real-Time Systems}, year = {2007}, editor = {Jones, Cliff B. and Liu, Zhiming and Woodcock, Jim}, volume = {4700}, pages = {364--390}, series = {LNCS}, publisher = {Springer Verlag}, doi = {10.1007/978-3-540-75221-9_16} } - C. B. Jones. Splitting Atoms Safely. Theoretical Computer Science, 375(1–3):109–119, 2007. doi:10.1016/j.tcs.2006.12.029.
@article{Jones06a, author = {Jones, C. B.}, title = {Splitting Atoms Safely}, journal = {Theoretical Computer Science}, year = {2007}, volume = {375}, number = {1--3}, pages = {109--119}, doi = {10.1016/j.tcs.2006.12.029} } - Gerhard Weikum, Cliff B. Jones, David Lomet, and Alexander Romanovsky. Executive Summary – Atomicity: A Unifying Concept in Computer Science. In Atomicity: A Unifying Concept in Computer Science, number 06121 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2006. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
@inproceedings{WeikumEt-06, author = {Weikum, Gerhard and Jones, Cliff B. and Lomet, David and Romanovsky, Alexander}, title = {Executive Summary -- Atomicity: A Unifying Concept in Computer Science}, booktitle = {Atomicity: A Unifying Concept in Computer Science}, year = {2006}, number = {06121}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/835} } - Joey W. Coleman, Nigel P. Jefferson, and Cliff B. Jones. Comments on several years of teaching of modelling programming language concepts. In Raymond T. Boute and Jose N. Oliveira, editors, Formal Methods in the Teaching Lab, 2006.
@inproceedings{ColJefJon06, author = {Coleman, Joey W. and Jefferson, Nigel P. and Jones, Cliff B.}, title = {Comments on several years of teaching of modelling programming language concepts}, booktitle = {Formal Methods in the Teaching Lab}, year = {2006}, editor = {Boute, Raymond T. and Oliveira, Jose N.} } - Cliff B. Jones and Brian Randell. The role of structure: a dependability perspective. In D. Besnard, C. Gacek, and C. B. Jones, editors, Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pages 3–15. Springer, 2006. doi:10.1007/1-84628-111-3_1.
@incollection{JonesRandell06, author = {Jones, Cliff B. and Randell, Brian}, title = {The role of structure: a dependability perspective}, booktitle = {Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective}, publisher = {Springer}, year = {2006}, editor = {Besnard, D. and Gacek, C. and Jones, C. B.}, chapter = {1}, pages = {3--15}, doi = {10.1007/1-84628-111-3_1} } - T. P. Clement and C. B. Jones. Model-Oriented Specifications. FACS FACTS, 2006-2:39–53, 2006.
@article{ClementJones06, author = {Clement, T. P. and Jones, C. B.}, title = {Model-Oriented Specifications}, journal = {{FACS} {FACTS}}, year = {2006}, volume = {2006-2}, pages = {39--53}, url = {./papers/find.pdf} } - I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. FACS FACTS, 2006-2:56–78, 2006.
@article{ZVDM06, author = {Hayes, I. J. and Jones, C. B. and Nicholls, J. E.}, title = {Understanding the differences between VDM and Z}, journal = {{FACS} {FACTS}}, year = {2006}, volume = {2006-2}, pages = {56--78}, url = {./papers/find.pdf} } - C. B. Jones. An Approach to Splitting Atoms Safely: Extended Abstract. Electronic Notes in Theoretical Computer Science, MFPS XXI, 21st Annual Conference of Mathematical Foundations of Programming Semantics, 155:43–60, 2006. doi:10.1016/j.entcs.2005.11.051.
@article{Jones05c, author = {Jones, C. B.}, title = {An Approach to Splitting Atoms Safely: Extended Abstract}, journal = {Electronic Notes in Theoretical Computer Science, {MFPS~XXI}, 21st Annual Conference of Mathematical Foundations of Programming Semantics}, year = {2006}, volume = {155}, pages = {43--60}, doi = {10.1016/j.entcs.2005.11.051} } - Cliff B. Jones. Reasoning About Partial Functions in the Formal Development of Programs. In Proceedings of AVoCS’05, volume 145, pages 3–25. Elsevier, Electronic Notes in Theoretical Computer Science, 2006. doi:10.1016/j.entcs.2005.10.002.
@inproceedings{Jones06e, author = {Jones, Cliff B.}, title = {Reasoning About Partial Functions in the Formal Development of Programs}, booktitle = {Proceedings of AVoCS'05}, year = {2006}, volume = {145}, pages = {3--25}, publisher = {Elsevier, Electronic Notes in Theoretical Computer Science}, doi = {10.1016/j.entcs.2005.10.002} } - Cliff Jones, Peter O’Hearn, and Jim Woodcock. Verified Software: a Grand Challenge. IEEE Computer, 39(4):93–95, 2006. doi:10.1109/MC.2006.145.
@article{Jones06c, author = {Jones, Cliff and {O'Hearn}, Peter and Woodcock, Jim}, title = {Verified Software: a Grand Challenge}, journal = {IEEE Computer}, year = {2006}, volume = {39}, number = {4}, pages = {93--95}, doi = {10.1109/MC.2006.145} } - Cliff B. Jones. The DIRC Project as the context of this book. In Trust in Technology: a Socio-Technical Perspective, pages 217–221. Springer, 2006. doi:10.1007/1-4020-4258-2_10.
@incollection{Jones06b, author = {Jones, Cliff B.}, title = {The {DIRC} Project as the context of this book}, booktitle = {Trust in Technology: a Socio-Technical Perspective}, publisher = {Springer}, year = {2006}, chapter = {10}, pages = {217--221}, doi = {10.1007/1-4020-4258-2_10} } - Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump. Roadmap for enhanced languages and methods to aid verification. In Proceedings of the 5th international conference on Generative programming and component engineering, GPCE ’06, pages 221–236, New York, NY, USA, 2006. ACM. doi:10.1145/1173706.1173740.
@inproceedings{Leavens:2006:REL:1173706.1173740, author = {Leavens, Gary T. and Abrial, Jean-Raymond and Batory, Don and Butler, Michael and Coglio, Alessandro and Fisler, Kathi and Hehner, Eric and Jones, Cliff and Miller, Dale and Peyton-Jones, Simon and Sitaraman, Murali and Smith, Douglas R. and Stump, Aaron}, title = {Roadmap for enhanced languages and methods to aid verification}, booktitle = {Proceedings of the 5th international conference on Generative programming and component engineering}, year = {2006}, pages = {221--236}, series = {GPCE '06}, publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/1173706.1173740} } - J. W. Bryans, J. S. Fitzgerald, C. B. Jones, and I. Mozolevsky. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In T. Margaria, A. Philippou, and B. Steffen, editors, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pages 91–98. IEEE, 2006. doi:10.1109/ISoLA.2006.21.
@inproceedings{BFJM06, author = {Bryans, J. W. and Fitzgerald, J. S. and Jones, C. B. and Mozolevsky, I.}, title = {Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering}, booktitle = {Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)}, year = {2006}, editor = {Margaria, T. and Philippou, A. and Steffen, B.}, pages = {91--98}, publisher = {IEEE}, doi = {10.1109/ISoLA.2006.21} } - Joey Coleman, Cliff Jones, Ian Oliver, Alexander Romanovsky, and Elena Troubitsyna. RODIN (Rigorous Open Development Environment for Complex Systems). In EDCC-5, Budapest, Supplementary Volume, pages 23–26, April 2005.
@inproceedings{Jones05j, author = {Coleman, Joey and Jones, Cliff and Oliver, Ian and Romanovsky, Alexander and Troubitsyna, Elena}, title = {{RODIN} (Rigorous Open Development Environment for Complex Systems)}, booktitle = {EDCC-5, Budapest, Supplementary Volume}, year = {2005}, pages = {23--26}, month = apr } - C. B. Jones. Reasoning about the design of programs. Royal Soc, Phil Trans R Soc A, 363(1835):2395–2396, 2005. doi:10.1098/rsta.2005.1653.
@article{Jones05v, author = {Jones, C. B.}, title = {Reasoning about the design of programs}, journal = {Royal Soc, Phil Trans R Soc A}, year = {2005}, volume = {363}, number = {1835}, pages = {2395--2396}, doi = {10.1098/rsta.2005.1653} } - Joey W. Coleman and Cliff B. Jones. Examples of how to Determine the Specifications of Control Systems. In M. Butler, C. Jones, A. Romanovsky, and E. Troubitsyna, editors, Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), number CS-TR-915 in Technical Report Series, pages 65–73. University of Newcastle Upon Tyne, June 2005. see www.cs.ncl.ac.uk/research/pubs/trs/papers/915.pdf.
@inproceedings{Jones05t, author = {Coleman, Joey W. and Jones, Cliff B.}, title = {Examples of how to Determine the Specifications of Control Systems}, booktitle = {Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems ({REFT} 2005)}, year = {2005}, editor = {Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E.}, pages = {65--73}, number = {CS-TR-915}, organization = {University of Newcastle Upon Tyne}, series = {Technical Report Series}, month = jun, note = {see www.cs.ncl.ac.uk/research/pubs/trs/papers/915.pdf} } - J. I. Burton and C. B. Jones. Investigating Atomicity and Observability. Journal of Universal Computer Science, 11(5):661–686, 2005. doi:10.3217/jucs-011-05-0661.
@article{Jones05s, author = {Burton, J. I. and Jones, C. B.}, title = {Investigating Atomicity and Observability}, journal = {Journal of Universal Computer Science}, year = {2005}, volume = {11}, number = {5}, pages = {661--686}, doi = {10.3217/jucs-011-05-0661} } - C. B. Jones, D. Lomet, A. Romanovsky, and G. Weikum. The Atomic Manifesto. Journal of Universal Computer Science, 11(5):636–650, 2005. doi:10.3217/jucs-011-05-0636.
@article{Jones05a2, author = {Jones, C. B. and Lomet, D. and Romanovsky, A. and Weikum, G.}, title = {The Atomic Manifesto}, journal = {Journal of Universal Computer Science}, year = {2005}, volume = {11}, number = {5}, pages = {636--650}, doi = {10.3217/jucs-011-05-0636} } - C. B. Jones. Sequencing Operations and Creating Objects. In Proceedings Tenth IEEE International Conference on Engineering of Complex Computer Systems, pages 33–35. IEEE Computer Society, 2005. doi:10.1109/ICECCS.2005.76.
@inproceedings{Jones05r, author = {Jones, C. B.}, title = {Sequencing Operations and Creating Objects}, booktitle = {Proceedings Tenth IEEE International Conference on Engineering of Complex Computer Systems}, year = {2005}, pages = {33--35}, publisher = {IEEE Computer Society}, doi = {10.1109/ICECCS.2005.76} } - D. Greathead and C. B. Jones. DIRC: an interdisciplinary attack on problems of dependability. In EDCC-5, Budapest, Supplementary Volume, pages 11–14, April 2005.
@inproceedings{Jones05i, author = {Greathead, D. and Jones, C. B.}, title = {{DIRC}: an interdisciplinary attack on problems of dependability}, booktitle = {EDCC-5, Budapest, Supplementary Volume}, year = {2005}, pages = {11--14}, month = apr } - Cliff B. Jones. Specification before Satisfaction: the Case for Research into Obtaining the Right Specification. In Helen Treharne, Steve King, Martin Henson, and Steve Schneider, editors, ZB-2005, volume 3455 of LNCS, pages 1–5. Springer Verlag, 2005. doi:10.1007/11415787_1.
@inproceedings{Jones05e, author = {Jones, Cliff B.}, title = {Specification before Satisfaction: the Case for Research into Obtaining the Right Specification}, booktitle = {{ZB-2005}}, year = {2005}, editor = {Treharne, Helen and King, Steve and Henson, Martin and Schneider, Steve}, volume = {3455}, pages = {1--5}, series = {LNCS}, publisher = {Springer Verlag}, doi = {10.1007/11415787_1} } - C. B. Jones, D. Lomet, A. Romanovsky, and G. Weikum. The Atomic Manifesto: a Story in Four Quarks. ACM SIGOPS, 39(2):41–46, 2005. doi:10.1145/1055218.1055220.
@article{Jones05a3, author = {Jones, C. B. and Lomet, D. and Romanovsky, A. and Weikum, G.}, title = {The Atomic Manifesto: a Story in Four Quarks}, journal = {ACM SIGOPS}, year = {2005}, volume = {39}, number = {2}, pages = {41--46}, doi = {10.1145/1055218.1055220} } - C. B. Jones, D. Lomet, A. Romanovsky, and G. Weikum. The Atomic Manifesto: a Story in Four Quarks. ACM SIGMOD Record, 34(1):63–69, 2005. doi:10.1145/1058150.1058165.
@article{Jones05a, author = {Jones, C. B. and Lomet, D. and Romanovsky, A. and Weikum, G.}, title = {The Atomic Manifesto: a Story in Four Quarks}, journal = {ACM SIGMOD Record}, year = {2005}, volume = {34}, number = {1}, pages = {63--69}, doi = {10.1145/1058150.1058165} } - Cliff Jones and Brian Randell. Dependable Pervasive Systems. In Robin Mansell and Brian S. Collins, editors, Trust and Crime in Information Societies, pages 59–90. Edward Elgar, 2005. also visible at http://www.foresight.gov.uk.
@incollection{JonesRandell04, author = {Jones, Cliff and Randell, Brian}, title = {Dependable Pervasive Systems}, booktitle = {Trust and Crime in Information Societies}, publisher = {Edward Elgar}, year = {2005}, editor = {Mansell, Robin and Collins, Brian S.}, chapter = {3}, pages = {59--90}, note = {also visible at http://www.foresight.gov.uk}, url = {http://www.bis.gov.uk/assets/bispartners/foresight/docs/cyber/dependable%20pervasive%20systems.pdf} } - Denis Besnard and Cliff Jones. Designing dependable systems needs interdisciplinarity. Safety Critical System’s Club Newsletter, pages 6–9, May 2004.
@article{BesnardJones04, author = {Besnard, Denis and Jones, Cliff}, title = {Designing dependable systems needs interdisciplinarity}, journal = {Safety Critical System's Club Newsletter}, year = {2004}, pages = {6--9}, month = may } - Tony Hoare, Cliff Jones, and Brian Randell. Extending the Horizons of DSE. In Grand Challenges. UKCRC, 2004.
@incollection{HoareJonesRandell04, author = {Hoare, Tony and Jones, Cliff and Randell, Brian}, title = {Extending the Horizons of {DSE}}, booktitle = {Grand Challenges}, publisher = {UKCRC}, year = {2004}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-853.pdf} } - C. B. Jones. Operational Semantics Revisited. In 2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering, 2003. Satellite workshop to the 2003 European Joint Conference on Theory and Practice of Software (ETAPS ’03), Warsaw, 5-13 April 2003.
@inproceedings{Jones03WMT, author = {Jones, C. B.}, title = {Operational Semantics Revisited}, booktitle = {2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering}, year = {2003}, note = {Satellite workshop to the 2003 European Joint Conference on Theory and Practice of Software (ETAPS '03), Warsaw, 5-13 April 2003} } - Cliff B. Jones. Operational Semantics: concepts and their expression. Information Processing Letters, 88(1-2):27–32, 2003. doi:10.1016/S0020-0190(03)00383-1.
@article{Jones03l, author = {Jones, Cliff B.}, title = {Operational Semantics: concepts and their expression}, journal = {Information Processing Letters}, year = {2003}, volume = {88}, number = {1-2}, pages = {27--32}, doi = {10.1016/S0020-0190(03)00383-1} } - Cliff B Jones. A Formal Basis for some Dependability Notions. In Bernhard K. Aichernig and Tom Maibaum, editors, Formal Methods at the Crossroads: from Panacea to Foundational Support, volume 2757 of LNCS, pages 191–206. Springer Verlag, 2003. doi:10.1007/978-3-540-40007-3_13.
@inproceedings{Jones03e, author = {Jones, Cliff B}, title = {A Formal Basis for some Dependability Notions}, booktitle = {Formal Methods at the Crossroads: from Panacea to Foundational Support}, year = {2003}, editor = {Aichernig, Bernhard K. and Maibaum, Tom}, volume = {2757}, pages = {191--206}, series = {LNCS}, publisher = {Springer Verlag}, doi = {10.1007/978-3-540-40007-3_13} } - Cliff Jones, Panos Periorellis, Alexander Romanovsky, and Ian Welch. Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems. In N. Guelfi, E. Astesiano, and G. Reggio, editors, FIDGI 2002, volume 2604 of LNCS, pages 73–86. Springer Verlag, 2003. doi:10.1007/3-540-36520-6_7.
@inproceedings{Jones03a, author = {Jones, Cliff and Periorellis, Panos and Romanovsky, Alexander and Welch, Ian}, title = {Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems}, booktitle = {FIDGI 2002}, year = {2003}, editor = {Guelfi, N. and Astesiano, E. and Reggio, G.}, volume = {2604}, pages = {73--86}, series = {LNCS}, publisher = {Springer Verlag}, doi = {10.1007/3-540-36520-6_7} } - Cliff B. Jones. The Early Search for Tractable Ways of Reasonning about Programs. IEEE, Annals of the History of Computing, 25(2):26–49, 2003. doi:10.1109/MAHC.2003.1203057.
@article{Jones03i, author = {Jones, Cliff B.}, title = {The Early Search for Tractable Ways of Reasonning about Programs}, journal = {IEEE, Annals of the History of Computing}, year = {2003}, volume = {25}, number = {2}, pages = {26--49}, doi = {10.1109/MAHC.2003.1203057} } - Ian Hayes, Michael Jackson, and Cliff Jones. Determining the specification of a control system from that of its environment. In Keijiro Araki, Stefani Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods, volume 2805 of LNCS, pages 154–169. Springer Verlag, 2003. doi:10.1007/978-3-540-45236-2_10.
@inproceedings{HayesJacksonJones03, author = {Hayes, Ian and Jackson, Michael and Jones, Cliff}, title = {Determining the specification of a control system from that of its environment}, booktitle = {{FME 2003}: Formal Methods}, year = {2003}, editor = {Araki, Keijiro and Gnesi, Stefani and Mandrioli, Dino}, volume = {2805}, pages = {154--169}, series = {LNCS}, publisher = {Springer Verlag}, doi = {10.1007/978-3-540-45236-2_10} } - C. B. Jones. Wanted: a Compositional Approach to Concurrency. In Annabelle McIver and Carroll Morgan, editors, Programming Methodology, pages 5–15. Springer Verlag, 2003.
@incollection{Jones02a, author = {Jones, C. B.}, title = {Wanted: a Compositional Approach to Concurrency}, booktitle = {Programming Methodology}, publisher = {Springer Verlag}, year = {2003}, editor = {McIver, Annabelle and Morgan, Carroll}, pages = {5--15}, url = {https://www.springer.com/gb/book/9781461263173} } - A. T. Lawrie and C. B. Jones. Goal-Diversity in the Design of Dependable Computer-Based Systems. In Proceedings of the Open Source Software Development Workshop, CS-TR-812, 2002.
@inproceedings{LawrieJones02, author = {Lawrie, A. T. and Jones, C. B.}, title = {Goal-Diversity in the Design of Dependable Computer-Based Systems}, booktitle = {Proceedings of the Open Source Software Development Workshop, {CS-TR-812}}, year = {2002} } - Cliff Jones, Alexander Romanovsky, and Ian Welch. A Structured Approach to Handling On-Line Interface Upgrades. In COMPSAC 2002, pages 1000–1005. IEEE, 2002. doi:10.1109/CMPSAC.2002.1045137.
@inproceedings{Jones02e, author = {Jones, Cliff and Romanovsky, Alexander and Welch, Ian}, title = {A Structured Approach to Handling On-Line Interface Upgrades}, booktitle = {COMPSAC~2002}, year = {2002}, pages = {1000-1005}, publisher = {IEEE}, doi = {10.1109/CMPSAC.2002.1045137} } - C. B. Jones. The Transition from VDL to VDM. Journal of Universal Computer Science, 7(8):631–640, 2001. doi:10.3217/jucs-007-08-0631.
@article{Jones01d, author = {Jones, C. B.}, title = {The Transition from {VDL} to {VDM}}, journal = {Journal of Universal Computer Science}, year = {2001}, volume = {7}, number = {8}, pages = {631--640}, doi = {10.3217/jucs-007-08-0631} } - B. Randell, R. Stroud, and C. Jones. DSoS (Dependable Systems of Systems). In Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001, pages D28–D31. IEEE Computer Society Press, 2001.
@inproceedings{Jones01g, author = {Randell, B. and Stroud, R. and Jones, C.}, title = {{DSoS (Dependable Systems of Systems)}}, booktitle = {Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001}, year = {2001}, pages = {D28--D31}, publisher = {IEEE Computer Society Press} } - C. B. Jones. Dependability of Computer-Based Systems. In XIV Simposia Brasiliero de Engenharia de Software, pages 16–20, 2000.
@inproceedings{Jones00q, author = {Jones, C. B.}, title = {Dependability of Computer-Based Systems}, booktitle = {XIV Simposia Brasiliero de Engenharia de Software}, year = {2000}, pages = {16--20} } - C. B. Jones. Thinking Tools for the Future of Computing Science. In Reinhard Wilhelm, editor, Informatics – 10 Years Back, 10 Years forward, volume 2000 of LNCS, pages 112–130. Springer-Verlag, 2000. doi:10.1007/3-540-44577-3_8.
@incollection{Jones00s, author = {Jones, C. B.}, title = {Thinking Tools for the Future of Computing Science}, booktitle = {Informatics -- 10 Years Back, 10 Years forward}, publisher = {Springer-Verlag}, year = {2000}, editor = {Wilhelm, Reinhard}, volume = {2000}, series = {LNCS}, pages = {112--130}, doi = {10.1007/3-540-44577-3_8} } - C. B. Jones. Compositionality, Interference and Concurrency. In Jim Davies, Bill Roscoe, and Jim Woodcock, editors, Millennial Perspectives in Computer Science, pages 175–186. Macmillian Press, 2000.
@incollection{Jones00b, author = {Jones, C. B.}, title = {Compositionality, Interference and Concurrency}, booktitle = {Millennial Perspectives in Computer Science}, publisher = {Macmillian Press}, year = {2000}, editor = {Davies, Jim and Roscoe, Bill and Woodcock, Jim}, pages = {175--186}, url = {https://www.macmillanihe.com/page/detail/Millennial-Perspectives-in-Computer-Science/?K=9780333922309} } - Cliff B. Jones. Formal Methods and Dependability. In MPC ’00: Proceedings of the 5th International Conference on Mathematics of Program Construction, volume 1837, pages 140–143, London, UK, 2000. Springer-Verlag. doi:10.1007/10722010_10.
@inproceedings{Jones00mpc, author = {Jones, Cliff B.}, title = {Formal Methods and Dependability}, booktitle = {MPC '00: Proceedings of the 5th International Conference on Mathematics of Program Construction}, year = {2000}, volume = {1837}, pages = {140--143}, publisher = {Springer-Verlag}, address = {London, UK}, doi = {10.1007/10722010_10} } - Pierre Collette and Cliff B. Jones. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction, pages 277–307. MIT Press, 2000.
@incollection{ColletteJones00a, author = {Collette, Pierre and Jones, Cliff B.}, title = {Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations}, booktitle = {Proof, Language and Interaction}, publisher = {MIT Press}, year = {2000}, editor = {Plotkin, Gordon and Stirling, Colin and Tofte, Mads}, chapter = {10}, pages = {277--307}, url = {https://mitpress.mit.edu/books/proof-language-and-interaction} } - C. B. Jones. Scientific Decisions which Characterize VDM. In FM’99 – Formal Methods, volume 1708 of LNCS, pages 28–47. Springer-Verlag, 1999. doi:10.1007/3-540-48119-2_2.
@incollection{Jones99a, author = {Jones, C. B.}, title = {Scientific Decisions which Characterize {VDM}}, booktitle = {FM'99 -- Formal Methods}, publisher = {Springer-Verlag}, year = {1999}, volume = {1708}, series = {LNCS}, pages = {28--47}, doi = {10.1007/3-540-48119-2_2}, url = {http://www.springerlink.com/content/e8xfjt85eeulpt1u/} } - I. J. Hayes and C. B. Jones. Specifications are not (necessarily) executable. In High-Integrity System Specification and Design, FACIT, pages 563–581. Springer-Verlag, 1999.
@incollection{HayesJones99, author = {Hayes, I. J. and Jones, C. B.}, title = {Specifications are not (necessarily) executable}, booktitle = {High-Integrity System Specification and Design}, publisher = {Springer-Verlag}, year = {1999}, series = {FACIT}, pages = {563--581}, url = {http://portal.acm.org/citation.cfm?id=84458.84466} } - C. B. Jones. Some Mistakes I Have Made and What I Have Learned from Them. In Fundamental Approaches to Software Engineering, volume 1382 of LNCS, pages 7–20. Springer-Verlag, 1998. doi:10.1007/BFb0053580.
@incollection{Jones98c, author = {Jones, C. B.}, title = {Some Mistakes {I} Have Made and What {I} Have Learned from Them}, booktitle = {Fundamental Approaches to Software Engineering}, publisher = {Springer-Verlag}, year = {1998}, volume = {1382}, series = {LNCS}, pages = {7--20}, doi = {10.1007/BFb0053580}, url = {https://link.springer.com/chapter/10.1007{\%}2FBFb0053580} } - John Fitzgerald and Cliff Jones. A Tracking System. In J. C. Bicarregui, editor, Proof in VDM: Case Studies, FACIT, pages 1–30. Springer-Verlag, 1998.
@incollection{Jones98a, author = {Fitzgerald, John and Jones, Cliff}, title = {A Tracking System}, booktitle = {Proof in VDM: Case Studies}, publisher = {Springer-Verlag}, year = {1998}, editor = {Bicarregui, J. C.}, series = {FACIT}, pages = {1--30} } - C. B. Jones. Whither Formal Methods? a plea to investigate new applications. In Michael G Hinchey and Shaoying Liu, editors, Formal Engineering Methods, pages 5. IEEE Computer Society, 1997. doi:10.1109/ICFEM.1997.630391.
@incollection{Jones97c, author = {Jones, C. B.}, title = {Whither Formal Methods? a plea to investigate new applications}, booktitle = {Formal Engineering Methods}, publisher = {IEEE Computer Society}, year = {1997}, editor = {Hinchey, Michael G and Liu, Shaoying}, pages = {5}, doi = {10.1109/ICFEM.1997.630391}, url = {http://dx.doi.org/10.1109/ICFEM.1997.630391} } - C. B. Jones. Describing the Semantics of Concurrent Object-Oriented Languages. In William Farmer, Manfred Kerber, and Michael Kohlhase, editors, Proceedings of the 3rd International Workshop on Foundations of Object-Oriented Languages (FOOL-3 with LICS’96), pages 24–25, 1996.
@inproceedings{Jones96k, author = {Jones, C. B.}, title = {Describing the Semantics of Concurrent Object-Oriented Languages}, booktitle = {Proceedings of the 3rd International Workshop on Foundations of Object-Oriented Languages {(FOOL-3 with LICS'96)}}, year = {1996}, editor = {Farmer, William and Kerber, Manfred and Kohlhase, Michael}, pages = {24--25} } - Steve J. Hodges and Cliff B. Jones. Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. In Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hans-Jörg Schek, editors, Oject Orientation with Parallelism and Persistence, pages 1–22. Kluwer Academic Publishers, 1996.
@incollection{HodgesJones96, author = {Hodges, Steve J. and Jones, Cliff B.}, title = {Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics}, booktitle = {Oject Orientation with Parallelism and Persistence}, publisher = {Kluwer Academic Publishers}, year = {1996}, editor = {Freitag, Burkhard and Jones, Cliff B. and Lengauer, Christian and Schek, Hans-J{\"{o}}rg}, pages = {1--22}, url = {http://www.cs.ncl.ac.uk/research/pubs/inproceedings/papers/547.pdf} } - C. B. Jones. TANSTAAFL (with partial functions). In William Farmer, Manfred Kerber, and Michael Kohlhase, editors, Proceedings of the CADE-13 Workshop on the Mechanization Of Partial Functions, pages 53–64, 1996.
@inproceedings{Jones96h, author = {Jones, C. B.}, title = {{TANSTAAFL} (with partial functions)}, booktitle = {Proceedings of the {CADE-13} Workshop on the Mechanization Of Partial Functions}, year = {1996}, editor = {Farmer, William and Kerber, Manfred and Kohlhase, Michael}, pages = {53--64}, url = {ftp://ftp.cs.bham.ac.uk/pub/authors/M.Kerber/96-CADE-WS/Jones.ps.gz} } - C. B. Jones, D. N. Jackson, and J. Wing. Formal Methods Light. IEEE, Computer, 29(4):20–22, 1996. doi:10.1109/MC.1996.10038.
@article{JacksonJonesWing96, author = {Jones, C. B. and Jackson, D. N. and Wing, J.}, title = {Formal Methods Light}, journal = {IEEE, Computer}, year = {1996}, volume = {29}, number = {4}, pages = {20--22}, doi = {10.1109/MC.1996.10038}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.1996.10038} } - C. B. Jones. A Rigorous Approach to Formal Methods. IEEE, Computer, 29(4):20–21, 1996.
@article{Jones96-separate, author = {Jones, C. B.}, title = {A Rigorous Approach to Formal Methods}, journal = {IEEE, Computer}, year = {1996}, volume = {29}, number = {4}, pages = {20--21} } - J. R. Gurd and C. B. Jones. The Global-yet-Personal Information System. In Ian Wand and Robin Milner, editors, Computing Tomorrow, pages 127–157. Cambridge University Press, 1996.
@incollection{GurdJones96, author = {Gurd, J. R. and Jones, C. B.}, title = {The Global-yet-Personal Information System}, booktitle = {Computing Tomorrow}, publisher = {Cambridge University Press}, year = {1996}, editor = {Wand, Ian and Milner, Robin}, pages = {127--157} } - C. B. Jones. Some practical problems and their influence on semantics. In ESOP’96, volume 1058 of LNCS, pages 1–17. Springer-Verlag, 1996. doi:10.1007/3-540-61055-3_26.
@inproceedings{Jones96c, author = {Jones, C. B.}, title = {Some practical problems and their influence on semantics}, booktitle = {ESOP'96}, year = {1996}, volume = {1058}, pages = {1--17}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-61055-3_26}, url = {http://www.springerlink.com/content/ph27102232313456/} } - Edmund M. Clarke, Jeannette M. Wing, Cliff B. Jones, and others. Formal Methods: State of the Art and Future Directions. ACM, Computing Surveys, 28(4):626–643, December 1996. doi:10.1145/242223.242257.
@article{Jones96l, author = {Clarke, Edmund M. and Wing, Jeannette M. and Jones, Cliff B. and others}, title = {Formal Methods: State of the Art and Future Directions}, journal = {ACM, Computing Surveys}, year = {1996}, volume = {28}, number = {4}, pages = {626--643}, month = dec, doi = {10.1145/242223.242257}, url = {http://dx.doi.org/10.1145/242223.242257} } - C. B. Jones. Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design, 8(2):105–122, March 1996. doi:10.1007/BF00122417.
@article{Jones96a, author = {Jones, C. B.}, title = {Accommodating Interference in the Formal Design of Concurrent Object-Based Programs}, journal = {Formal Methods in System Design}, year = {1996}, volume = {8}, number = {2}, pages = {105--122}, month = mar, doi = {10.1007/BF00122417}, url = {http://dx.doi.org/10.1007/BF00122417} } - C. B. Jones. Lessons from the development of a concurrent program: formality as a guide to intuition. In 1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA ’95), 1995.
@inproceedings{Jones95FMTA, author = {Jones, C. B.}, title = {Lessons from the development of a concurrent program: formality as a guide to intuition}, booktitle = {1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA '95)}, year = {1995} } - C.B. Jones. Partial functions and logics: A warning. Information Processing Letters, 54(2):65–67, 1995. doi:10.1016/0020-0190(95)00042-B.
@article{Jones95e, author = {Jones, C.B.}, title = {Partial functions and logics: A warning}, journal = {Information Processing Letters}, year = {1995}, volume = {54}, number = {2}, pages = {65--67}, doi = {10.1016/0020-0190(95)00042-B}, url = {http://dx.doi.org/10.1016/0020-0190(95)00042-B} } - C. B. Jones. Fixing the semantics of some concurrent object-oriented concepts. In Proceedings MFPS’95, volume 1 of Electronic Notes in Theoretical Computer Science, pages 307–312. Elsevier, 1995. doi:10.1016/S1571-0661(04)80018-5.
@inproceedings{Jones95cc, author = {Jones, C. B.}, title = {Fixing the semantics of some concurrent object-oriented concepts}, booktitle = {Proceedings MFPS'95}, year = {1995}, volume = {1}, pages = {307--312}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, doi = {10.1016/S1571-0661(04)80018-5}, url = {http://dx.doi.org/10.1016/S1571-0661(04)80018-5} } - C. B. Jones. Granularity and the Development of Concurrent Programs. In Proceedings MFPS’95, volume 1 of Electronic Notes in Theoretical Computer Science, pages 302–306. Elsevier, 1995. doi:10.1016/S1571-0661(04)80017-3.
@inproceedings{Jones95bb, author = {Jones, C. B.}, title = {Granularity and the Development of Concurrent Programs}, booktitle = {Proceedings MFPS'95}, year = {1995}, volume = {1}, pages = {302--306}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, doi = {10.1016/S1571-0661(04)80017-3}, url = {http://dx.doi.org/10.1016/S1571-0661(04)80017-3} } - C.B. Jones and C.A. Middelburg. A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica, 31(5):399–430, 1994. doi:10.1007/BF01178666.
@article{JonesMiddelburg94, author = {Jones, C.B. and Middelburg, C.A.}, title = {A Typed Logic of Partial Functions Reconstructed Classically}, journal = {Acta Informatica}, year = {1994}, volume = {31}, number = {5}, pages = {399--430}, doi = {10.1007/BF01178666}, url = {https://www.springerlink.com/content/pn32478582p56758/} } - C. B. Jones. Process Algebra Arguments about an Object-Based Design Notation. In A. W. Roscoe, editor, A Classical Mind, pages 231–246. Prentice-Hall, 1994.
@incollection{Jones94a, author = {Jones, C. B.}, title = {Process Algebra Arguments about an Object-Based Design Notation}, booktitle = {A Classical Mind}, publisher = {Prentice-Hall}, year = {1994}, editor = {Roscoe, A. W.}, chapter = {14}, pages = {231--246} } - I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. ACM Software Engineering News, 19(3):75–81, July 1994. doi:10.1145/182824.182843.
@article{ZVDM93b2, author = {Hayes, I. J. and Jones, C. B. and Nicholls, J. E.}, title = {Understanding the differences between {VDM} and {Z}}, journal = {ACM Software Engineering News}, year = {1994}, volume = {19}, number = {3}, pages = {75--81}, month = jul, doi = {10.1145/182824.182843}, url = {http://portal.acm.org/citation.cfm?id=182843} } - C. B. Jones. A pi-calculus semantics for an object-based design notation. In CONCUR’93: 4th International Conference on Concurrency Theory, volume 715 of LNCS, pages 158–172. Springer-Verlag, 1993. doi:10.1007/3-540-57208-2_12.
@inproceedings{Jones93t, author = {Jones, C. B.}, title = {A pi-calculus semantics for an object-based design notation}, booktitle = {CONCUR'93: 4th International Conference on Concurrency Theory}, year = {1993}, volume = {715}, pages = {158--172}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-57208-2_12}, url = {http://www.springerlink.com/content/p727g231n258x812/} } - C. B. Jones. Reasoning about Interference in an Object-Based Design Method. In FME’93: Industrial-Strength Formal Methods, volume 670 of LNCS, pages 1–18. Springer-Verlag, 1993. doi:10.1007/BFb0024634.
@inproceedings{Jones93g, author = {Jones, C. B.}, title = {Reasoning about Interference in an Object-Based Design Method}, booktitle = {FME'93: Industrial-Strength Formal Methods}, year = {1993}, volume = {670}, pages = {1--18}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/BFb0024634}, url = {http://www.springerlink.com/content/56678u7m4130h332/} } - C. B. Jones. Constraining Interference in an Object-Based Design Method. In M-C. Gaudel and J-P. Jouannaud, editors, TAPSOFT’93: Theory and Practice of Software Development, volume 668 of LNCS, pages 136–150. Springer-Verlag, 1993. doi:10.1007/3-540-56610-4_61.
@inproceedings{Jones93f, author = {Jones, C. B.}, title = {Constraining Interference in an Object-Based Design Method}, booktitle = {TAPSOFT'93: Theory and Practice of Software Development}, year = {1993}, editor = {Gaudel, M-C. and Jouannaud, J-P.}, volume = {668}, pages = {136--150}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-56610-4_61}, url = {http://www.springerlink.com/content/p57872362t817178/} } - C. B. Jones. An Object-Based Design Method for Concurrent Programs. In S. Meldal and M. Haveraaen, editors, 4th Nordic Workshop on Program Correctness, pages 27–52. University of Bergen, 1993. Report No. 78, ISSN 0333-3590.
@inproceedings{Jones92ii, author = {Jones, C. B.}, title = {An Object-Based Design Method for Concurrent Programs}, booktitle = {4th Nordic Workshop on Program Correctness}, year = {1993}, editor = {Meldal, S. and Haveraaen, M.}, pages = {27--52}, publisher = {University of Bergen}, note = {Report No.~78, ISSN~0333-3590} } - I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter), 1(1):7–30, 1993.
@article{ZVDM93b, author = {Hayes, I. J. and Jones, C. B. and Nicholls, J. E.}, title = {Understanding the differences between VDM and Z}, journal = {FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter)}, year = {1993}, volume = {1}, number = {1}, pages = {7--30} } - C. B. Jones. What inhibits the use of formal methods? In 8th Meeting on the Mathematical Foundations of Programming Semantics (MFPS ’92), 1992.
@inproceedings{Jones92d-procs, author = {Jones, C. B.}, title = {What inhibits the use of formal methods?}, booktitle = {8th Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92)}, year = {1992} } - J. H. Cheng and C. B. Jones. On the usability of logics which handle partial functions. In C. Morgan and J. C. P. Woodcock, editors, 3rd Refinement Workshop, pages 51–69. Springer-Verlag, 1991.
@inproceedings{ChengJones91, author = {Cheng, J. H. and Jones, C. B.}, title = {On the usability of logics which handle partial functions}, booktitle = {3rd Refinement Workshop}, year = {1991}, editor = {Morgan, C. and Woodcock, J. C. P.}, pages = {51--69}, publisher = {Springer-Verlag} } - C. B. Jones. Interference Resumed. In P. Bailes, editor, Engineering Safe Software, pages 31–56. Australian Computer Society, 1991.
@inproceedings{Jones91m, author = {Jones, C. B.}, title = {Interference Resumed}, booktitle = {Engineering Safe Software}, year = {1991}, editor = {Bailes, P.}, pages = {31--56}, publisher = {Australian Computer Society}, url = {http://search.informit.com.au/documentSummary;dn=546299491532331;res=IELENG} } - C. B. Jones. Can Computer Programs be Trusted? In Nigel Calder, editor, Scientific Euorope, pages 304–309. Foundation Scientific Europe, 1991.
@incollection{Jones91j, author = {Jones, C. B.}, title = {Can Computer Programs be Trusted?}, booktitle = {Scientific Euorope}, publisher = {Foundation Scientific Europe}, year = {1991}, editor = {Calder, Nigel}, pages = {304--309} } - C. B. Jones. Does the O-O Community need Formal Methods? In J. Bézivin and B. Meyer, editors, TOOLS 4: Technology of Object-Oriented Languages and Systems, pages 15–22. Prentice-Hall, 1991.
@inproceedings{Jones91e, author = {Jones, C. B.}, title = {Does the {O-O} Community need Formal Methods?}, booktitle = {{TOOLS 4}: Technology of Object-Oriented Languages and Systems}, year = {1991}, editor = {B\'{e}zivin, J. and Meyer, B.}, pages = {15--22}, publisher = {Prentice-Hall}, url = {http://portal.acm.org/citation.cfm?id=130477} } - C. B. Jones. Interference Revisited. In J. E. Nicholls, editor, Z User Workshop, Workshops in Computing, pages 58–73. Springer-Verlag, 1991.
@inproceedings{Jones91b, author = {Jones, C. B.}, title = {Interference Revisited}, booktitle = {{Z} User Workshop}, year = {1991}, editor = {Nicholls, J. E.}, pages = {58--73}, series = {Workshops in Computing}, publisher = {Springer-Verlag}, url = {http://portal.acm.org/citation.cfm?id=722487} } - C. B. Jones. Consequences. In Beauty is Our Business. Springer-Verlag, 1990.
@incollection{Jones90i, author = {Jones, C. B.}, title = {Consequences}, booktitle = {Beauty is Our Business}, publisher = {Springer-Verlag}, year = {1990}, chapter = {25} } - J.S. Fitzgerald and C. B. Jones. Modularizing the Formal Description of a Database System. In D. Bjø rner, C. A. R. Hoare, and H. Langmaack, editors, VDM’90: VDM and Z – Formal Methods in Software Development, volume 428 of LNCS, pages 189–210. Springer-Verlag, 1990. doi:10.1007/3-540-52513-0_11.
@inproceedings{FitzgeraldJones90, author = {Fitzgerald, J.S. and Jones, C. B.}, title = {Modularizing the Formal Description of a Database System}, booktitle = {VDM'90: VDM and Z -- Formal Methods in Software Development}, year = {1990}, editor = {rner, D. Bj\o and Hoare, C. A. R. and Langmaack, H.}, volume = {428}, pages = {189--210}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-52513-0_11}, url = {http://www.springerlink.com/content/y8177546u11p7015/} } - C. B. Jones. A Small Language Definition. In Case Studies in Systematic Software Development, pages 235–256. Prentice Hall, 1990.
@incollection{Jones90c, author = {Jones, C. B.}, title = {A Small Language Definition}, booktitle = {Case Studies in Systematic Software Development}, publisher = {Prentice Hall}, year = {1990}, chapter = {9}, pages = {235--256} } - C. B. Jones. Support tools for reification. In C. Morgan and J. C. P. Woodcock, editors, 3rd BCS-FACS Refinement Workshop. Springer-Verlag, 1990.
@inproceedings{Jones90b-procs, author = {Jones, C. B.}, title = {Support tools for reification}, booktitle = {3rd BCS-FACS Refinement Workshop}, year = {1990}, editor = {Morgan, C. and Woodcock, J. C. P.}, publisher = {Springer-Verlag} } - C. B. Jones. Data Reification. In J. A. McDermid, editor, The Theory and Practice of Refinement, pages 79–89. Butterworths, 1989.
@incollection{Jones89e, author = {Jones, C. B.}, title = {Data Reification}, booktitle = {The Theory and Practice of Refinement}, publisher = {Butterworths}, year = {1989}, editor = {McDermid, J. A.}, pages = {79--89} } - I. J. Hayes and C. B. Jones. Specifications are not (necessarily) executable. IEE, Software Engineering Journal, 4(6):330–338, November 1989.
@article{HayesJones89, author = {Hayes, I. J. and Jones, C. B.}, title = {Specifications are not (necessarily) executable}, journal = {IEE, Software Engineering Journal}, year = {1989}, volume = {4}, number = {6}, pages = {330--338}, month = nov } - C. B. Jones. Theorem Proving and Software Engineering. IEE, Software Engineering Journal, 3(1):2, 1988.
@article{Jones88SE, author = {Jones, C. B.}, title = {Theorem Proving and Software Engineering}, journal = {IEE, Software Engineering Journal}, year = {1988}, volume = {3}, number = {1}, pages = {2} } - C. B. Jones and R. Moore. Muffin: A User Interface Design Experiment for a Theorem Proving Assistant. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM’88: VDM – The Way Ahead, volume 328 of LNCS, pages 337–375. Springer-Verlag, 1988. doi:10.1007/3-540-50214-9_24.
@inproceedings{JonesMoore88, author = {Jones, C. B. and Moore, R.}, title = {Muffin: A User Interface Design Experiment for a Theorem Proving Assistant}, booktitle = {VDM'88: VDM -- The Way Ahead}, year = {1988}, editor = {Bloomfield, R. and Marshall, L. and Jones, R.}, volume = {328}, pages = {337--375}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-50214-9_24}, url = {https://www.springerlink.com/content/yvxx455j1r8p0815/} } - C. B. Jones and P. A. Lindsay. A Support System for Formal Reasoning: Requirements and Status. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM’88: VDM – The Way Ahead, volume 328 of LNCS, pages 139–152. Springer-Verlag, 1988. doi:10.1007/3-540-50214-9_13.
@inproceedings{JonesLindsay88, author = {Jones, C. B. and Lindsay, P. A.}, title = {A Support System for Formal Reasoning: Requirements and Status}, booktitle = {VDM'88: VDM -- The Way Ahead}, year = {1988}, editor = {Bloomfield, R. and Marshall, L. and Jones, R.}, volume = {328}, pages = {139--152}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-50214-9_13}, url = {https://www.springerlink.com/content/y57387245m707526/} } - C. B. Jones. Software Development Based on Formal Methods. In A. N. Habermann and U. Montanari, editors, System Development and Ada, volume 275 of LNCS, pages 153–172. Springer-Verlag, 1987. doi:10.1007/3-540-18341-8_20.
@inproceedings{Jones87r, author = {Jones, C. B.}, title = {Software Development Based on Formal Methods}, booktitle = {System Development and {Ada}}, year = {1987}, editor = {Habermann, A. N. and Montanari, U.}, volume = {275}, pages = {153--172}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-18341-8_20}, url = {https://www.springerlink.com/content/y32hx2v234408675/} } - C. B. Jones. Program Specification and Verification in VDM. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F: Computer and Systems Sciences, pages 149–184. Springer-Verlag, 1987.
@inproceedings{Jones87o, author = {Jones, C. B.}, title = {Program Specification and Verification in {VDM}}, booktitle = {Logic of Programming and Calculi of Discrete Design}, year = {1987}, editor = {Broy, M.}, volume = {36}, pages = {149--184}, series = {NATO ASI Series F: Computer and Systems Sciences}, publisher = {Springer-Verlag} } - C. B. Jones. VDM Proof Obligations and their Justification. volume 252 of LNCS, pages 260–286. Springer-Verlag, 1987. doi:10.1007/3-540-17654-3_15.
@inproceedings{Jones87c, author = {Jones, C. B.}, title = {{VDM} Proof Obligations and their Justification}, year = {1987}, editor = {{Bj\o rner}, D. and Jones, C. B. and {Mac an Airchinnigh}, M. and Neuhold, E. J.}, volume = {252}, pages = {260--286}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-17654-3_15}, url = {https://www.springerlink.com/content/f4544k45245k170q/} } - C. B. Jones. Specyfikacje a programy II. Informatyka, 11:2–6, 1987.
@article{Jones867n2, author = {Jones, C. B.}, title = {Specyfikacje a programy {II}}, journal = {Informatyka}, year = {1987}, volume = {11}, pages = {2--6} } - C. B. Jones. Specyfikacje a programy I. Informatyka, 10:1–4, 1987.
@article{Jones867n1, author = {Jones, C. B.}, title = {Specyfikacje a programy {I}}, journal = {Informatyka}, year = {1987}, volume = {10}, pages = {1--4} } - C. B. Jones. IPSE 2.5. Alvey News, 23, 1987.
@article{Jones87s, author = {Jones, C. B.}, title = {IPSE 2.5}, journal = {Alvey News}, year = {1987}, volume = {23} } - C. B. Jones. Systematic Program Development. In J. W. de Bakker, M. Hazewinkel, and J. K. Lenstra, editors, Mathematics and Computer Science, pages 19–50. North-Holland, 1986.
@inproceedings{Jones86j, author = {Jones, C. B.}, title = {Systematic Program Development}, booktitle = {Mathematics and Computer Science}, year = {1986}, editor = {de Bakker, J. W. and Hazewinkel, M. and Lenstra, J. K.}, pages = {19--50}, publisher = {North-Holland} } - C. B. Jones. Specifications and Programs. In WspółCzesne Kierunki Rozwoju Informtyki, pages 33–48, 1986.
@inproceedings{Jones86n, author = {Jones, C. B.}, title = {Specifications and Programs}, booktitle = {{Wsp\'{o}\l Czesne Kierunki Rozwoju Informtyki}}, year = {1986}, pages = {33-48} } - C. B. Jones. Proof Obligations for Data Reification. In O. G. Folberth and C. Hackl, editors, Der Informationsbegriff in Technik und Wissenschaft, pages 77–96. Oldenbourg Verlag, 1986. Festschrift – Prof. Karl E. Ganzhorn.
@incollection{Jones86b, author = {Jones, C. B.}, title = {Proof Obligations for Data Reification}, booktitle = {Der Informationsbegriff in Technik und Wissenschaft}, publisher = {Oldenbourg Verlag}, year = {1986}, editor = {Folberth, O. G. and Hackl, C.}, pages = {77--96}, note = {Festschrift -- Prof. Karl E. Ganzhorn} } - C. B. Jones. Systematic Program Development. In N. Gehani and A. D. McGettrick, editors, Software Specification Techniques, pages 89–110. Addison-Wesley, 1985. revised version of \citeJones86j.
@incollection{Jones85b, author = {Jones, C. B.}, title = {Systematic Program Development}, booktitle = {Software Specification Techniques}, publisher = {Addison-Wesley}, year = {1985}, editor = {Gehani, N. and McGettrick, A. D.}, pages = {89--110}, note = {revised version of \cite{Jones86j}} } - C. B. Jones. Die Rolle abstrakter Modelle in der Informationsverarbeitung. In G. Chroust, editor, Heinz Zemanek – Ein Computerpionier. R. Oldenbourg, 1985.
@incollection{Jones85zem, author = {Jones, C. B.}, title = {{Die Rolle abstrakter Modelle in der Informationsverarbeitung}}, booktitle = {Heinz Zemanek -- Ein Computerpionier}, publisher = {R. Oldenbourg}, year = {1985}, editor = {Chroust, G.} } - C. B. Jones. Specification, Verification and Testing in Software Development. In T. Anderson, editor, Software Requirements Specification and Testing, pages 1–13. Blackwell Scientific Publications, 1985.
@incollection{Jones85c, author = {Jones, C. B.}, title = {Specification, Verification and Testing in Software Development}, booktitle = {Software Requirements Specification and Testing}, publisher = {Blackwell Scientific Publications}, year = {1985}, editor = {Anderson, T.}, pages = {1--13} } - C. B. Jones. The Role of Proof Obligations in Software Design. In Formal Methods and Software Development, volume 186 of LNCS, pages 27–41. Springer-Verlag, 1985. doi:10.1007/3-540-15199-0_3.
@inproceedings{Jones85a, author = {Jones, C. B.}, title = {The Role of Proof Obligations in Software Design}, booktitle = {Formal Methods and Software Development}, year = {1985}, volume = {186}, pages = {27--41}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-15199-0_3}, url = {http://dx.doi.org/10.1007/3-540-15199-0_3} } - I. D. Cottam, C. B. Jones, T. Nipkow, A. C. Wills, M. I. Wolczko, and A. Yaghi. Project Support Environments for Formal Methods. In J. McDermid, editor, Integrated Project Support Environments. Peter Peregrinus Ltd., 1985.
@incollection{CJNWWY85a, author = {Cottam, I. D. and Jones, C. B. and Nipkow, T. and Wills, A. C. and Wolczko, M. I. and Yaghi, A.}, title = {Project Support Environments for Formal Methods}, booktitle = {Integrated Project Support Environments}, publisher = {Peter Peregrinus Ltd.}, year = {1985}, editor = {McDermid, J.}, chapter = {3}, url = {http://portal.acm.org/citation.cfm?id=19605} } - H. Barringer, J.H. Cheng, and C. B. Jones. A Logic Covering Undefinedness in Program Proofs. Acta Informatica, 21(3):251–269, 1984. doi:10.1007/BF00264250.
@article{BCJ84, author = {Barringer, H. and Cheng, J.H. and Jones, C. B.}, title = {A Logic Covering Undefinedness in Program Proofs}, journal = {Acta Informatica}, year = {1984}, volume = {21}, number = {3}, pages = {251--269}, doi = {10.1007/BF00264250}, url = {http://www.springerlink.com/content/x267t82951633456/} } - F. L. Morris and C. B. Jones. An Early Program Proof by Alan Turing. Annals of the History of Computing, 6(2):139–143, 1984. doi:10.1109/MAHC.1984.10017.
@article{MorrisJones84, author = {Morris, F. L. and Jones, C. B.}, title = {An Early Program Proof by {Alan} {Turing}}, journal = {Annals of the History of Computing}, year = {1984}, volume = {6}, number = {2}, pages = {139--143}, doi = {10.1109/MAHC.1984.10017}, url = {http://doi.ieeecomputersociety.org/10.1109/MAHC.1984.10017} } - C. B. Jones. Specification and Verification. IEEE, Transactions of Software Engineering, SE-10(2):126–127, 1984. doi:10.1109/TSE.1984.5010214.
@article{Jones84g, author = {Jones, C. B.}, title = {Specification and Verification}, journal = {IEEE, Transactions of Software Engineering}, year = {1984}, volume = {SE-10}, number = {2}, pages = {126--127}, doi = {10.1109/TSE.1984.5010214}, url = {http://dx.doi.org/10.1109/TSE.1984.5010214} } - C. B. Jones. Tentative Steps Toward a Development Method for Interfering Programs. Transactions on Programming Languages and System, 5(4):596–619, 1983. doi:10.1145/69575.69577.
@article{Jones83b, author = {Jones, C. B.}, title = {Tentative Steps Toward a Development Method for Interfering Programs}, journal = {Transactions on Programming Languages and System}, year = {1983}, volume = {5}, number = {4}, pages = {596--619}, doi = {10.1145/69575.69577}, url = {http://doi.acm.org/10.1145/69575.69577} } - C. B. Jones. Formal Specification and Design of Programs. In Proceedings of the IBM/University of Newcastle upon Tyne Seminar, pages 149–173, September 1983.
@inproceedings{Jones83n, author = {Jones, C. B.}, title = {Formal Specification and Design of Programs}, booktitle = {Proceedings of the IBM/University of Newcastle upon Tyne Seminar}, year = {1983}, pages = {149--173}, month = sep, url = {https://assets.cs.ncl.ac.uk/seminars/277.pdf} } - C. B. Jones. Specification and Design of (Parallel) Programs. In Proceedings of IFIP’83, pages 321–332. North-Holland, 1983.
@inproceedings{Jones83a, author = {Jones, C. B.}, title = {Specification and Design of (Parallel) Programs}, booktitle = {Proceedings of IFIP'83}, year = {1983}, pages = {321--332}, publisher = {North-Holland} } - Cliff B. Jones. Compiler Design. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification and Software Development, Prentice Hall International Series in Computer Science, pages 253–270. Prentice Hall International, 1982.
@incollection{Jones82x5, author = {Jones, Cliff B.}, title = {Compiler Design}, booktitle = {Formal Specification and Software Development}, publisher = {Prentice Hall International}, year = {1982}, editor = {Bjørner, Dines and Jones, Cliff B.}, series = {Prentice Hall International Series in Computer Science}, chapter = {8}, pages = {253--270}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/BjornerJones1982/Chapter-8.pdf} } - Wolfgang Henhapl and Cliff B. Jones. ALGOL 60. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification and Software Development, pages 141–174. Prentice Hall International, 1982.
@incollection{HenhaplJones82x4, author = {Henhapl, Wolfgang and Jones, Cliff B.}, title = {{ALGOL}~60}, booktitle = {Formal Specification and Software Development}, publisher = {Prentice Hall International}, year = {1982}, editor = {Bjørner, Dines and Jones, Cliff B.}, chapter = {6}, pages = {141--174}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/BjornerJones1982/Chapter-6.pdf} } - Cliff B. Jones. More on Exception Mechanisms. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification and Software Development, pages 125–140. Prentice Hall International, 1982.
@incollection{Jones82x3, author = {Jones, Cliff B.}, title = {More on Exception Mechanisms}, booktitle = {Formal Specification and Software Development}, publisher = {Prentice Hall International}, year = {1982}, editor = {Bjørner, Dines and Jones, Cliff B.}, chapter = {5}, pages = {125--140}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/BjornerJones1982/Chapter-5.pdf} } - Cliff B. Jones. Modelling Concepts of Programming Languages. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification and Software Development, pages 85–124. Prentice Hall International, 1982.
@incollection{Jones82x2, author = {Jones, Cliff B.}, title = {Modelling Concepts of Programming Languages}, booktitle = {Formal Specification and Software Development}, publisher = {Prentice Hall International}, year = {1982}, editor = {Bjørner, Dines and Jones, Cliff B.}, chapter = {4}, pages = {85--124}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/BjornerJones1982/Chapter-4.pdf} } - Elizabeth Fielding and Cliff B. Jones. Program Design by Data Refinement. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification and Software Development, pages 323–352. Prentice Hall International, 1982.
@incollection{FieldingJones82x6, author = {Fielding, Elizabeth and Jones, Cliff B.}, title = {Program Design by Data Refinement}, booktitle = {Formal Specification and Software Development}, publisher = {Prentice Hall International}, year = {1982}, editor = {Bjørner, Dines and Jones, Cliff B.}, chapter = {10}, pages = {323--352}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/BjornerJones1982/Chapter-10.pdf} } - Cliff B. Jones. The Meta-Language. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification and Software Development, Prentice Hall International Series in Computer Science, pages 25–46. Prentice Hall International, 1982.
@incollection{Jones82x1, author = {Jones, Cliff B.}, title = {The Meta-Language}, booktitle = {Formal Specification and Software Development}, publisher = {Prentice Hall International}, year = {1982}, editor = {Bjørner, Dines and Jones, Cliff B.}, series = {Prentice Hall International Series in Computer Science}, chapter = {2}, pages = {25--46}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/BjornerJones1982/Chapter-2.pdf} } - C. B. Jones. Towards More Formal Specifications. In C. Floyd and H. Kopetz, editors, Software Engineering – Entwurf und Spezifikation, pages 19–45. Teubner Verlag, 1981.
@incollection{Jones81b, author = {Jones, C. B.}, title = {Towards More Formal Specifications}, booktitle = {Software Engineering -- Entwurf und Spezifikation}, publisher = {Teubner Verlag}, year = {1981}, editor = {Floyd, C. and Kopetz, H.}, pages = {19--45} } - C. B. Jones. Specification as a Design Base. In Trends in Information Processing, volume 123 of LNCS, pages 103–105. Springer-Verlag, 1981. doi:10.1007/3-540-10885-8_33.
@inproceedings{Jones81c, author = {Jones, C. B.}, title = {Specification as a Design Base}, booktitle = {Trends in Information Processing}, year = {1981}, volume = {123}, pages = {103--105}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-10885-8_33}, url = {https://www.springerlink.com/content/yp1444240237n2k2/} } - C. B. Jones. Formal Methods in Software Development. In Proceedings of State of the Art Review 1981, pages 107–113. Infotech, 1981.
@inproceedings{Jones81o, author = {Jones, C. B.}, title = {Formal Methods in Software Development}, booktitle = {Proceedings of State of the Art Review 1981}, year = {1981}, pages = {107--113}, publisher = {Infotech} } - C. B. Jones. Models of Programming Language Concepts. In Abstract Software Specifications, volume 86 of LNCS, pages 100–143. Springer-Verlag, 1980. doi:10.1007/3-540-10007-5_36.
@inproceedings{Jones80b, author = {Jones, C. B.}, title = {Models of Programming Language Concepts}, booktitle = {Abstract Software Specifications}, year = {1980}, volume = {86}, pages = {100--143}, series = {LNCS}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-10007-5_36}, url = {https://www.springerlink.com/content/7362600175n75014/} } - C. B. Jones. The Role of Formal Specifications in Software Development. In State of the Art Report: Life-Cycle Management, volume 8, pages 117–133. Infotech, 1980.
@inproceedings{Jones80j, author = {Jones, C. B.}, title = {The Role of Formal Specifications in Software Development}, booktitle = {State of the Art Report: Life-Cycle Management}, year = {1980}, volume = {8}, pages = {117--133}, publisher = {Infotech} } - C. B. Jones. Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Informatica, 11(2):119–137, 1979. doi:10.1007/BF00264020.
@article{Jones79a, author = {Jones, C. B.}, title = {Constructing a Theory of a Data Structure as an Aid to Program Development}, journal = {Acta Informatica}, year = {1979}, volume = {11}, number = {2}, pages = {119--137}, doi = {10.1007/BF00264020}, url = {http://www.springerlink.com/content/k2776k701914h735/} } - C. B. Jones. The Vienna Development Method: Examples of Compiler Development. In M. Amirchahy and D. Neel, editors, Le Point sur la Compilation, pages 89–114. IRIA-SEFI, 1979.
@inproceedings{Jones79b, author = {Jones, C. B.}, title = {The {Vienna} {Development} {Method}: Examples of Compiler Development}, booktitle = {Le Point sur la Compilation}, year = {1979}, editor = {Amirchahy, M. and Neel, D.}, pages = {89--114}, publisher = {IRIA-SEFI} } - Cliff B. Jones. Denotational Semantics of Goto: An Exit Formulation and its Relation to Continuations. volume 61 of LNCS, pages 278–304. Springer-Verlag, 1978. doi:10.1007/3-540-08766-4_11.
@incollection{Jones78a2, author = {Jones, Cliff B.}, title = {Denotational Semantics of Goto: An Exit Formulation and its Relation to Continuations}, publisher = {Springer-Verlag}, year = {1978}, editor = {Bjørner, D. and Jones, C. B.}, volume = {61}, series = {LNCS}, pages = {278--304}, doi = {10.1007/3-540-08766-4_11}, url = {http://dx.doi.org/10.1007/3-540-08766-4_11} } - Cliff B. Jones. The Meta-Language: A Reference Manual. volume 61 of LNCS, pages 218–277. Springer-Verlag, 1978. doi:10.1007/3-540-08766-4_10.
@incollection{Jones78a, author = {Jones, Cliff B.}, title = {The Meta-Language: A Reference Manual}, publisher = {Springer-Verlag}, year = {1978}, editor = {Bjørner, D. and Jones, C. B.}, volume = {61}, series = {LNCS}, pages = {218--277}, doi = {10.1007/3-540-08766-4_10}, url = {http://dx.doi.org/10.1007/3-540-08766-4_10} } - Wolfgang Henhapl and Cliff B. Jones. A Formal Definition of ALGOL 60 as Described in the 1975 Modified Report. volume 61 of LNCS, pages 305–336. Springer-Verlag, 1978. doi:10.1007/3-540-08766-4_12.
@incollection{HenhaplJones78, author = {Henhapl, Wolfgang and Jones, Cliff B.}, title = {A Formal Definition of {ALGOL} 60 as Described in the 1975 Modified Report}, publisher = {Springer-Verlag}, year = {1978}, editor = {Bjørner, D. and Jones, C. B.}, volume = {61}, series = {LNCS}, pages = {305--336}, doi = {10.1007/3-540-08766-4_12}, url = {http://dx.doi.org/10.1007/3-540-08766-4_12} } - C. B. Jones. Structured Design and Coding: Theory versus Practice. Informatie, 19(6):311–319, June 1977.
@article{Jones77a, author = {Jones, C. B.}, title = {Structured Design and Coding: Theory versus Practice}, journal = {Informatie}, year = {1977}, volume = {19}, number = {6}, pages = {311--319}, month = jun } - C. B. Jones. Program Specification and Formal Development. In E. Morlet and D. Ribbens, editors, International Computing Symposium 1977, pages 537–553. North-Holland, 1977.
@inproceedings{Jones77b, author = {Jones, C. B.}, title = {Program Specification and Formal Development}, booktitle = {International Computing Symposium 1977}, year = {1977}, editor = {Morlet, E. and Ribbens, D.}, pages = {537--553}, publisher = {North-Holland} } - C. B. Jones. Some Requirements for Specification Languages. In Programming Technology Symposium, pages 13–18. IBM, 1976. RA 77.
@inproceedings{Jones76b, author = {Jones, C. B.}, title = {Some Requirements for Specification Languages}, booktitle = {Programming Technology Symposium}, year = {1976}, pages = {13-18}, organization = {IBM}, note = {RA 77} } - C. B. Jones. Formal Definition in Program Development. In Programming Methodology, volume 23 of LNCS, pages 387–443. Springer-Verlag, 1975. doi:10.1007/3-540-07131-8_35.
@incollection{Jones75a, author = {Jones, C. B.}, title = {Formal Definition in Program Development}, booktitle = {Programming Methodology}, publisher = {Springer-Verlag}, year = {1975}, volume = {23}, series = {LNCS}, pages = {387--443}, doi = {10.1007/3-540-07131-8_35} } - K. V. Hanford and C. B. Jones. Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages. In Annual Review in Automatic Programming, volume 7, pages 115–140. Pergamon, 1973. doi:10.1016/0066-4138(73)90003-7.
@incollection{HanfordJones73, author = {Hanford, K. V. and Jones, C. B.}, title = {Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages}, booktitle = {Annual Review in Automatic Programming}, publisher = {Pergamon}, year = {1973}, volume = {7}, pages = {115--140}, doi = {10.1016/0066-4138(73)90003-7}, url = {http://www.sciencedirect.com/science/article/pii/0066413873900037} } - C. B. Jones. Formal Development of Correct Algorithms: an Example Based on Earley’s Recogniser. In SIGPLAN Notices, Volume 7 Number 1, pages 150–169. ACM, January 1972.
@inproceedings{Jones72a, author = {Jones, C. B.}, title = {Formal Development of Correct Algorithms: an Example Based on {Earley's} Recogniser}, booktitle = {SIGPLAN Notices, Volume 7 Number 1}, year = {1972}, pages = {150-169}, organization = {ACM}, month = jan, url = {http://portal.acm.org/ft_gateway.cfm?id=807083&type=pdf&coll=ACM&dl=ACM&CFID=23963294&CFTOKEN=25930840} } - W. Henhapl and C. B. Jones. A Run-time Mechanism for Referencing Variables. Information Processing Letters, 1(1):14–16, 1971. doi:doi:10.1016/0020-0190(71)90015-9.
@article{HenhaplJones71, author = {Henhapl, W. and Jones, C. B.}, title = {A Run-time Mechanism for Referencing Variables}, journal = {Information Processing Letters}, year = {1971}, volume = {1}, number = {1}, pages = {14--16}, doi = {doi:10.1016/0020-0190(71)90015-9} } - C. B. Jones and P. Lucas. Proving Correctness of Implementation Techniques. In E. Engeler, editor, A Symposium on Algorithmic Languages, volume 188 of Lecture Notes in Mathematics, pages 178–211. Springer-Verlag, 1971. doi:10.1007/BFb0059698.
@inproceedings{JonesLucas71a, author = {Jones, C. B. and Lucas, P.}, title = {Proving Correctness of Implementation Techniques}, booktitle = {A Symposium on Algorithmic Languages}, year = {1971}, editor = {Engeler, E.}, volume = {188}, pages = {178--211}, series = {Lecture Notes in Mathematics}, publisher = {Springer-Verlag}, doi = {10.1007/BFb0059698} } - S. N. Glassover, K. V. Hanford, and C. B. Jones. The Syntax Machine. In Programming Symposium, Atlantic City, New Jersey, pages 179–186. IBM, 1968.
@inproceedings{GHJ68b, author = {Glassover, S. N. and Hanford, K. V. and Jones, C. B.}, title = {The Syntax Machine}, booktitle = {Programming Symposium, Atlantic City, New Jersey}, year = {1968}, pages = {179-186}, organization = {IBM} } - K. V. Hanford and C. B. Jones. An Approach to Context Dependency. In Programming Symposium, Swampscott, Mass., pages 199–212. IBM, 1967. TR 00.1600 (Vol. II).
@inproceedings{HanfordJones67a, author = {Hanford, K. V. and Jones, C. B.}, title = {An Approach to Context Dependency}, booktitle = {Programming Symposium, Swampscott, Mass.}, year = {1967}, pages = {199-212}, organization = {IBM}, note = {TR 00.1600 (Vol. II)} } - C. B. Jones. A Special Purpose Compiler. BCS Computer Journal, 8(2):109–112, July 1965. doi:10.1093/comjnl/8.2.109.
@article{Jones65, author = {Jones, C. B.}, title = {A Special Purpose Compiler}, journal = {BCS Computer Journal}, year = {1965}, volume = {8}, number = {2}, pages = {109--112}, month = jul, doi = {10.1093/comjnl/8.2.109} }
Books (authored and edited)
- Cliff B. Jones and Jayadev Misra, editors. Theories of programming: the life and works of Tony Hoare. ACM, 2021. doi:10.1145/3477355.
@book{JonesMisra21, title = {Theories of programming: the life and works of {Tony Hoare}}, publisher = {ACM}, year = {2021}, editor = {Jones, Cliff B. and Misra, Jayadev}, doi = {10.1145/3477355} } - Cliff B. Jones. Understanding Programming Languages. Springer, 2020.
@book{Jones-UPLs-20, title = {Understanding Programming Languages}, publisher = {Springer}, year = {2020}, author = {Jones, Cliff B.}, url = {https://doi.org/10.1007/978-3-030-59257-8} } - Cliff Jones, Ji Wang, and Naijun Zhang, editors. Real-time and Hybrid Systems, volume 11180 of LNCS. Springer-Verlag, 2018. doi:10.1007/978-3-030-01461-2.
@proceedings{ZCC18, title = {Real-time and Hybrid Systems}, year = {2018}, editor = {Jones, Cliff and Wang, Ji and Zhang, Naijun}, publisher = {Springer-Verlag}, volume = {11180}, series = {LNCS}, doi = {10.1007/978-3-030-01461-2}, url = {http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=11180} } - Cliff Jones, Pekka Pihlajasaari, and Jun Sun, editors. FM 2014: Formal Methods, volume 8442 of LNCS. Springer-Verlag, 2014. doi:10.1007/978-3-319-06410-9.
@proceedings{FM14, title = {FM 2014: Formal Methods}, year = {2014}, editor = {Jones, Cliff and Pihlajasaari, Pekka and Sun, Jun}, publisher = {Springer-Verlag}, volume = {8442}, series = {LNCS}, doi = {10.1007/978-3-319-06410-9} } - Alexander Romanovsky, Cliff Jones, Jens Bendisposto, and Michael Leuschel, editors. Automated Verification of Critical Systems 2011, volume 46. EASST, 2012.
@proceedings{AVoCS-11, title = {Automated Verification of Critical Systems 2011}, year = {2012}, editor = {Romanovsky, Alexander and Jones, Cliff and Bendisposto, Jens and Leuschel, Michael}, publisher = {EASST}, volume = {46}, url = {http://journal.ub.tu-berlin.de/eceasst/issue/view/58} } - Cliff B. Jones and John L. Lloyd, editors. Dependable and Historic Computing. Springer, 2011. doi:10.1007/978-3-642-24541-1.
@proceedings{BR-FS-11, title = {Dependable and Historic Computing}, year = {2011}, editor = {Jones, Cliff B. and Lloyd, John L.}, publisher = {Springer}, doi = {10.1007/978-3-642-24541-1} } - Cliff B. Jones, A. W. Roscoe, and Kenneth R. Wood, editors. Reflections on the work of C.A.R. Hoare. Springer, 2010. doi:10.1007/978-1-84882-912-1.
@proceedings{CARH-FS-10, title = {Reflections on the work of C.A.R. Hoare}, year = {2010}, editor = {Jones, Cliff B. and Roscoe, A. W. and Wood, Kenneth R.}, publisher = {Springer}, doi = {10.1007/978-1-84882-912-1} } - Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, and Elena Troubitsyna, editors. Methods, Models and Tools for Fault-Tolerance, volume 5454 of LNCS. Springer, 2009. doi:10.1007/978-3-642-00867-2.
@proceedings{MeMoT07book, title = {Methods, Models and Tools for Fault-Tolerance}, year = {2009}, editor = {Butler, Michael J. and Jones, Cliff B. and Romanovsky, Alexander and Troubitsyna, Elena}, publisher = {Springer}, volume = {5454}, series = {LNCS}, doi = {10.1007/978-3-642-00867-2} } - Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors. Theoretical Aspects of Computing – ICTAC 2007, number 4711 in LNCS. Springer, 2007. doi:10.1007/978-3-540-75292-9.
@proceedings{ICTAC-07, title = {Theoretical Aspects of Computing -- ICTAC 2007}, year = {2007}, editor = {Jones, Cliff B. and Liu, Zhiming and Woodcock, Jim}, number = {4711}, publisher = {Springer}, series = {LNCS}, doi = {10.1007/978-3-540-75292-9} } - Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays, volume 4700 of LNCS. Springer, 2007. doi:10.1007/978-3-540-75221-9.
@proceedings{BjZCCprocs07, title = {Formal Methods and Hybrid Real-Time Systems: Essays in Honour of {D}ines {B}jørner and {Z}hou {C}haochen on the Occasion of Their 70th Birthdays}, year = {2007}, editor = {Jones, Cliff B. and Liu, Zhiming and Woodcock, Jim}, publisher = {Springer}, volume = {4700}, series = {LNCS}, doi = {10.1007/978-3-540-75221-9} } - D. Besnard, C. Gacek, and C. B. Jones, editors. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer, 2006. doi:10.1007/b138838.
@book{DIRC-Structure06, title = {Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective}, publisher = {Springer}, year = {2006}, editor = {Besnard, D. and Gacek, C. and Jones, C. B.}, doi = {10.1007/b138838} } - M. Butler, C. Jones, A. Romanovsky, and E. Troubitsyna, editors. Rigorous Development of Complex Fault-Tolerant Systems, volume 4157 of LNCS. Springer, 2006. doi:10.1007/11916246.
@proceedings{REFT06, title = {Rigorous Development of Complex Fault-Tolerant Systems}, year = {2006}, editor = {Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E.}, publisher = {Springer}, volume = {4157}, series = {LNCS}, doi = {10.1007/11916246} } - Ali E. Abdallah, Cliff B. Jones, and Jeff W. Sanders, editors. Communicating Sequential Processes: the First 25 years, volume 3525 of LNCS. Springer, 2005. doi:10.1007/b136154.
@proceedings{CSP25, title = {Communicating Sequential Processes: the First 25 years}, year = {2005}, editor = {Abdallah, Ali E. and Jones, Cliff B. and Sanders, Jeff W.}, publisher = {Springer}, volume = {3525}, series = {LNCS}, doi = {10.1007/b136154} } - John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors. FME’97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of LNCS. Springer-Verlag, 1997. doi:10.1007/3-540-63533-5.
@proceedings{FME97, title = {FME'97: Industrial Applications and Strengthened Foundations of Formal Methods}, year = {1997}, editor = {Fitzgerald, John and Jones, Cliff B. and Lucas, Peter}, publisher = {Springer-Verlag}, volume = {1313}, series = {LNCS}, doi = {10.1007/3-540-63533-5} } - Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hans-Jörg Schek, editors. Object Orientation with Parallelism and Persistence. Kluwer Academic Publishers, 1996.
@proceedings{Dag95, title = {Object Orientation with Parallelism and Persistence}, year = {1996}, editor = {Freitag, Burkhard and Jones, Cliff B. and Lengauer, Christian and Schek, Hans-J{\"{o}}rg}, publisher = {Kluwer Academic Publishers}, url = {http://portal.acm.org/citation.cfm?id=261075} } - C. B. Jones. VDM: Une méthode rigoureuse pour le développment du logiciel. Paris, 1993. Masson. French translation of the 1990 VDM book.
@book{Jones90aFrench, title = {{VDM: Une m\'{e}thode rigoureuse pour le d\'{e}veloppment du logiciel}}, publisher = {Masson}, year = {1993}, author = {Jones, C. B.}, address = {Paris}, note = {French translation of the 1990 VDM book} } - C. B. Jones, R. C. Shaw, and T. Denvir, editors. 5Th Refinement Workshop. Springer-Verlag, 1992.
@proceedings{REFWS5, title = {5th Refinement Workshop}, year = {1992}, editor = {Jones, C. B. and Shaw, R. C. and Denvir, T.}, publisher = {Springer-Verlag}, url = {http://www.springer.com/gb/book/9783540197522} } - C. B. Jones, K. D. Jones, P. A. Lindsay, and R. Moore. Mural: A Formal Development Support System. Springer-Verlag, 1991.
@book{JJLM91, title = {{mural}: A Formal Development Support System}, publisher = {Springer-Verlag}, year = {1991}, author = {Jones, C. B. and Jones, K. D. and Lindsay, P. A. and Moore, R.}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Books/mural.pdf} } - C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, Second edition, 1990.
@book{Jones90a, title = {Systematic Software Development using VDM}, publisher = {Prentice Hall International}, year = {1990}, author = {Jones, C. B.}, edition = {Second}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Books/Jones1990.pdf} } - M. Broy and C. B. Jones, editors. Programming Concepts and Methods. North-Holland, April 1990.
@book{BroyJones90, title = {Programming Concepts and Methods}, publisher = {North-Holland}, year = {1990}, editor = {Broy, M. and Jones, C. B.}, month = apr } - C. B. Jones and R. C. F. Shaw, editors. Case Studies in Systematic Software Development. Prentice Hall International, 1990.
@book{JonesShaw90, title = {Case Studies in Systematic Software Development}, publisher = {Prentice Hall International}, year = {1990}, editor = {Jones, C. B. and Shaw, R. C. F.}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Books/cases90.pdf} } - C. A. R. Hoare and C. B. Jones. Essays in Computing Science. Prentice Hall International, 1989.
@book{HoareJones88, title = {Essays in Computing Science}, publisher = {Prentice Hall International}, year = {1989}, author = {Hoare, C. A. R. and Jones, C. B.}, url = {http://dl.acm.org/citation.cfm?id=63445} } - D. Bjørner, C. B. Jones, M. Mac an Airchinnigh, and E. J. Neuhold, editors. VDM – A Formal Definition at Work, volume 252 of LNCS. Springer-Verlag, 1987. doi:10.1007/3-540-17654-3.
@proceedings{VDM87, title = {VDM -- A Formal Definition at Work}, year = {1987}, editor = {{Bj\o rner}, D. and Jones, C. B. and {Mac an Airchinnigh}, M. and Neuhold, E. J.}, publisher = {Springer-Verlag}, volume = {252}, series = {LNCS}, doi = {10.1007/3-540-17654-3} } - C. B. Jones. Systematic Software Development Using VDM. Prentice Hall International, 1986.
@book{Jones86a, title = {Systematic Software Development Using VDM}, publisher = {Prentice Hall International}, year = {1986}, author = {Jones, C. B.} } - C. B. Jones. Konstruowanie oprogramowania metoda̧ systematyczna̧. Warsaw, 1984. Wydawnictwa Naukowo-Techniczne. Polish translation of 1980 VDM book.
@book{Jones80aPolish, title = {{Konstruowanie oprogramowania metod\c{a} systematyczn\c{a}}}, publisher = {Wydawnictwa Naukowo-Techniczne}, year = {1984}, author = {Jones, C. B.}, address = {Warsaw}, note = {Polish translation of 1980 VDM book} } - H. Bekič and C. B. Jones, editors. Programming Languages and Their Definition: Selected Papers of H. Bekič, volume 177 of LNCS. Springer-Verlag, 1984. doi:10.1007/BFb0048933.
@book{BekicJones84, title = {Programming Languages and Their Definition: Selected Papers of {H. Beki\v{c}}}, publisher = {Springer-Verlag}, year = {1984}, editor = {{Beki\v{c}}, H. and Jones, C. B.}, volume = {177}, series = {LNCS}, doi = {10.1007/BFb0048933} } - Dines Bjørner and Cliff B. Jones, editors. Formal Specification and Software Development. Prentice Hall International, 1982.
@book{BjornerJones82, title = {Formal Specification and Software Development}, publisher = {Prentice Hall International}, year = {1982}, editor = {Bjørner, Dines and Jones, Cliff B.}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Books/BjornerJones1982} } - C. B. Jones. Software Development: A Rigorous Approach. Englewood Cliffs, N.J., USA, 1980. Prentice Hall International.
@book{Jones80a, title = {Software Development: A Rigorous Approach}, publisher = {Prentice Hall International}, year = {1980}, author = {Jones, C. B.}, address = {Englewood Cliffs, N.J., USA}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Books/SDRA.pdf} } - D. Bjørner and C. B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of LNCS. Springer-Verlag, 1978. doi:10.1007/3-540-08766-4.
@book{BjornerJones78, title = {The Vienna Development Method: The Meta-Language}, publisher = {Springer-Verlag}, year = {1978}, editor = {Bjørner, D. and Jones, C. B.}, volume = {61}, series = {LNCS}, doi = {10.1007/3-540-08766-4} }
(Selected) Technical reports
- C.B. Jones and M. Thomas. The development and deployment of formal methods in the UK. arXiv, 2020.
@techreport{JonesThomas20, author = {Jones, C.B. and Thomas, M.}, title = {The development and deployment of formal methods in the UK}, institution = {arXiv}, year = {2020} } - Cliff B. Jones and Nisansala Yatapanage. Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example. Technical Report CS-TR-1521, Newcastle University, June 2018.
@techreport{JonesYatapanage-18TR, author = {Jones, Cliff B. and Yatapanage, Nisansala}, title = {Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example}, institution = {Newcastle University}, year = {2018}, type = {Technical Report}, number = {CS-TR-1521}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1521.pdf} } - Cliff B. Jones and Troy K. Astarte. Challenges for semantic description: comparing responses from the main approaches. Technical Report CS-TR-1516, Newcastle University, November 2017.
@techreport{JonesAstarte-17TR, author = {Jones, Cliff B. and Astarte, Troy K.}, title = {Challenges for semantic description: comparing responses from the main approaches}, institution = {Newcastle University}, year = {2017}, type = {Technical Report}, number = {CS-TR-1516}, month = nov, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1516.pdf} } - Cliff B. Jones and Troy K. Astarte. An Exegesis of Four Formal Descriptions of ALGOL 60. Technical Report CS-TR-1498, Newcastle University, September 2016.
@techreport{JonesAstarte-16TR, author = {Jones, Cliff B. and Astarte, Troy K.}, title = {An Exegesis of Four Formal Descriptions of ALGOL~60}, institution = {Newcastle University}, year = {2016}, type = {Technical Report}, number = {CS-TR-1498}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1498.pdf} } - Cliff B. Jones and Nisansala Yatapanage. Reasoning about Separation using Abstraction and Reification (including proofs). Technical Report CS-TR-1472, Newcastle University, June 2015.
@techreport{JonesYatapanage-15TR, author = {Jones, Cliff B. and Yatapanage, Nisansala}, title = {Reasoning about Separation using Abstraction and Reification (including proofs)}, institution = {Newcastle University}, year = {2015}, number = {CS-TR-1472}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1472.pdf} } - Jim Norton, Cliff Jones, and others. Connecting data: driving productivity and innovation. Royal Academy of Engineering, November 2015.
@techreport{RAEng-Data, author = {Norton, Jim and Jones, Cliff and others}, title = {Connecting data: driving productivity and innovation}, institution = {Royal Academy of Engineering}, year = {2015}, month = nov, url = {http://www.raeng.org.uk/publications/reports/connecting-data-driving-productivity} } - Cliff B. Jones and Ian J. Hayes. Possible values: exploring a concept for concurrency. Technical Report CS-TR-1483, Newcastle University, September 2015.
@techreport{JonesHayes-15TR, author = {Jones, Cliff B. and Hayes, Ian J.}, title = {Possible values: exploring a concept for concurrency}, institution = {Newcastle University}, year = {2015}, number = {CS-TR-1483}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1483.pdf} } - Cliff B. Jones and Nisansala Yatapanage. Tackling Separation via Abstraction (with proofs). Technical Report CS-TR-1447, Newcastle University, January 2015.
@techreport{JonesYatapanage-1st-TR, author = {Jones, Cliff B. and Yatapanage, Nisansala}, title = {Tackling Separation via Abstraction (with proofs)}, institution = {Newcastle University}, year = {2015}, number = {CS-TR-1447}, month = jan, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1447.pdf} } - Matthew J. Lovert Cliff B. Jones and L. Jason Steggles. Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions. Technical Report CS-TR-1414, Newcastle University, March 2014.
@techreport{JoLovSteg-13-TR, author = {Cliff B. Jones, Matthew J. Lovert and Steggles, L. Jason}, title = {Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions}, institution = {Newcastle University}, year = {2014}, number = {CS-TR-1414}, month = mar, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1414.pdf} } - Cliff B. Jones. Turing and Software Verification. Technical Report CS-TR-1441, Newcastle University, December 2014.
@techreport{re-AMT-14TR, author = {Jones, Cliff B.}, title = {Turing and Software Verification}, institution = {Newcastle University}, year = {2014}, number = {CS-TR-1441}, month = dec, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1441.pdf} } - Ian J. Hayes, Cliff B. Jones, and Robert J. Colvin. Laws and semantics for rely-guarantee refinement. Technical Report CS-TR-1425, Newcastle University, July 2014.
@techreport{HayesJonesColvin14TR, author = {Hayes, Ian J. and Jones, Cliff B. and Colvin, Robert J.}, title = {Laws and semantics for rely-guarantee refinement}, institution = {Newcastle University}, year = {2014}, number = {CS-TR-1425}, month = jul, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1425.pdf} } - M. Tran, J. Hall, R. Ebrahimy, C. Jones, and others. National infrastructure assessment: Analysis of options for infrastructure provision in Great Britain. ITRC, January 2014.
@techreport{ITRC-Interim-14, author = {Tran, M. and Hall, J. and Ebrahimy, R. and Jones, C. and others}, title = {National infrastructure assessment: Analysis of options for infrastructure provision in Great Britain}, institution = {ITRC}, year = {2014}, month = jan, url = {http://www.itrc.org.uk/wordpress/wp-content/results/ITRC-First-results-WEB.pdf} } - Ian J. Hayes, Cliff B. Jones, and Robert J. Colvin. Reasoning about concurrent programs: Refining rely-guarantee thinking. Technical Report CS-TR-1395, Newcastle University, September 2013.
@techreport{HayesJonesColvin13TR, author = {Hayes, Ian J. and Jones, Cliff B. and Colvin, Robert J.}, title = {Reasoning about concurrent programs: Refining rely-guarantee thinking}, institution = {Newcastle University}, year = {2013}, number = {CS-TR-1395}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1395.pdf} } - Leo Freitas, Cliff B. Jones, Andrius Velykis, and Iain Whiteside. How to Say Why (in AI4FM). Technical Report CS-TR-1398, Newcastle University, October 2013.
@techreport{FJVW13TR, author = {Freitas, Leo and Jones, Cliff B. and Velykis, Andrius and Whiteside, Iain}, title = {How to Say Why (in {AI4FM})}, institution = {Newcastle University}, year = {2013}, number = {CS-TR-1398}, month = oct, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1398.pdf} } - Cliff B. Jones. Balancing Expressiveness in Formal Approaches to Concurrency. Technical Report CS-TR-1394, Newcastle University, September 2013.
@techreport{Jones-balancing-TR-13, author = {Jones, Cliff B.}, title = {Balancing Expressiveness in Formal Approaches to Concurrency}, institution = {Newcastle University}, year = {2013}, number = {CS-TR-1394}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1394.pdf} } - C. B. Jones, M. J. Lovert, and L. J. Steggles. A Semantic Analysis of Logics that Cope with Partial Functions. Technical Report CS-TR-1310, Newcastle University, January 2012.
@techreport{JoLovSteg12aTR, author = {Jones, C. B. and Lovert, M. J. and Steggles, L. J.}, title = {A Semantic Analysis of Logics that Cope with Partial Functions}, institution = {Newcastle University}, year = {2012}, number = {CS-TR-1310}, month = jan, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1310.pdf} } - Cliff B. Jones. A Specification for ACMs. Technical Report CS-TR-1360, Newcastle University, November 2012.
@techreport{JonesACMafterthought, author = {Jones, Cliff B.}, title = {A Specification for {ACMs}}, institution = {Newcastle University}, year = {2012}, number = {CS-TR-1360}, month = nov, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1360.pdf} } - Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore. AI meets Formal Software Development (Dagstuhl Seminar 12271). Technical Report 2:7, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2012. doi:http://dx.doi.org/10.4230/DagRep.2.7.1.
@techreport{BundyEt-12, author = {Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother}, title = {{AI meets Formal Software Development (Dagstuhl Seminar 12271)}}, institution = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, year = {2012}, number = {2:7}, address = {Dagstuhl, Germany}, doi = {http://dx.doi.org/10.4230/DagRep.2.7.1}, url = {http://drops.dagstuhl.de/opus/volltexte/2012/3731} } - Cliff B. Jones. Abstraction as a unifying link for formal approaches to concurrency. Technical Report CS-TR-1339, Newcastle University, June 2012.
@techreport{JonesSEFM12TR, author = {Jones, Cliff B.}, title = {Abstraction as a unifying link for formal approaches to concurrency}, institution = {Newcastle University}, year = {2012}, number = {CS-TR-1339}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1339.pdf} } - I. J. Hayes, C. B. Jones, and R. J. Colvin. Refining rely-guarantee thinking. Technical Report CS-TR-1334, Newcastle University, May 2012.
@techreport{HaJoCol12TR, author = {Hayes, I. J. and Jones, C. B. and Colvin, R. J.}, title = {Refining rely-guarantee thinking}, institution = {Newcastle University}, year = {2012}, number = {CS-TR-1334}, month = may, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1334.pdf} } - M. Butler, A. Edmunds, A. Rezazadeh, C. B. Jones, and others. DEPLOY Methods: Final Report. Technical Report D6.6 (D44), DEPLOY Project, April 2012.
@techreport{DEPLOY-D44, author = {Butler, M. and Edmunds, A. and Rezazadeh, A. and Jones, C. B. and others}, title = {DEPLOY Methods: Final Report}, institution = {DEPLOY Project}, year = {2012}, number = {D6.6 (D44)}, month = apr, url = {www.deploy-project.eu/pdf/D44.pdf} } - Rainer Gmehlich, Katrin Grau, Michael Jackson, Cliff Jones, Felix Loesch, and Manuel Mazzara. Towards a Formalism-Based Toolkit for Automotive Applications. Technical Report CS-TR-1317, Newcastle University, March 2012.
@techreport{Jones-Bosch-12TR, author = {Gmehlich, Rainer and Grau, Katrin and Jackson, Michael and Jones, Cliff and Loesch, Felix and Mazzara, Manuel}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, institution = {Newcastle University}, year = {2012}, number = {CS-TR-1317}, month = mar, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1317.pdf} } - C. B. Jones, M. J. Lovert, and L. J. Steggles. Towards a Mechanisation of a Logic that Copes with Partial Terms. Technical Report CS-TR-1314, Newcastle University, February 2012.
@techreport{JoLovSteg12bTR, author = {Jones, C. B. and Lovert, M. J. and Steggles, L. J.}, title = {Towards a Mechanisation of a Logic that Copes with Partial Terms}, institution = {Newcastle University}, year = {2012}, number = {CS-TR-1314}, month = feb, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1314.pdf} } - Jim Hall, C. B. Jones, R. Velykiene, and others. A Fast Track Analysis of strategies for infrastructure provision in Great Britain. ITRC, January 2012.
@techreport{ITRC-FTA-12, author = {Hall, Jim and Jones, C. B. and Velykiene, R. and others}, title = {A Fast Track Analysis of strategies for infrastructure provision in Great Britain}, institution = {ITRC}, year = {2012}, month = jan, url = {http://www.itrc.org.uk/wordpress/wp-content/FTA/ITRC-FTA-Technical-report.pdf} } - Manuel Mazzara, Cliff Jones, and Alexei Iliasov. Lessons from DEPLOYment. Technical Report CS-TR-1309, School of Computing Science, University of Newcastle, January 2012.
@techreport{MazzJoIli-12TR, author = {Mazzara, Manuel and Jones, Cliff and Iliasov, Alexei}, title = {Lessons from {DEPLOYment}}, institution = {School of Computing Science, University of Newcastle}, year = {2012}, number = {CS-TR-1309}, month = jan, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1309.pdf} } - Jens Bendisposto, Cliff Jones, Michael Leuschel, and Alexander Romanovsky. Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. Technical Report CS-TR-1272, School of Computing Science, University of Newcastle, September 2011.
@techreport{AVoCS-11-TR, author = {Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander}, title = {Proceedings of the 11th International Workshop on Automated Verification of Critical Systems}, institution = {School of Computing Science, University of Newcastle}, year = {2011}, number = {CS-TR-1272}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1272.pdf} } - Roberta Velykiene and Cliff B. Jones. A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure. Technical Report CS-TR-1282, School of Computing Science, University of Newcastle, September 2011.
@techreport{VelkJo-11-TR, author = {Velykiene, Roberta and Jones, Cliff B.}, title = {A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure}, institution = {School of Computing Science, University of Newcastle}, year = {2011}, number = {CS-TR-1282}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1282.pdf} } - Ian J. Hayes, Alan Burns, Brijesh Dongol, and Cliff B. Jones. Comparing Models of Nondeterministic Expression Evaluation. Technical Report CS-TR-1273, School of Computing Science, University of Newcastle, September 2011.
@techreport{TB-models-TR, author = {Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B.}, title = {Comparing Models of Nondeterministic Expression Evaluation}, institution = {School of Computing Science, University of Newcastle}, year = {2011}, number = {CS-TR-1273}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1273.pdf} } - C. B. Jones and K. G. Pierce. What Can the pi-calculus Tell Us About the Mondex Purse System? Technical Report CS-TR-1185, Newcastle University, January 2010.
@techreport{JonesPierce10trA, author = {Jones, C. B. and Pierce, K. G.}, title = {What Can the pi-calculus Tell Us About the Mondex Purse System?}, institution = {Newcastle University}, year = {2010}, number = {CS-TR-1185}, month = jan, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1185.pdf} } - Gudmund Grov and Cliff B. Jones. AI4FM: A New Project Seeking Challenges! Technical Report CS-TR-1216, School of Computing Science, Newcastle University, 2010.
@techreport{GrovJones10-TR, author = {Grov, Gudmund and Jones, Cliff B.}, title = {{AI4FM}: A New Project Seeking Challenges!}, institution = {School of Computing Science, Newcastle University}, year = {2010}, number = {CS-TR-1216}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1216.pdf} } - C. B. Jones and M. J. Lovert. Semantic Models for a Logic of Partial Functions. Technical Report CS-TR-1220, Newcastle University, September 2010.
@techreport{JonesLovert10tr, author = {Jones, C. B. and Lovert, M. J.}, title = {Semantic Models for a Logic of Partial Functions}, institution = {Newcastle University}, year = {2010}, number = {CS-TR-1220}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1220.pdf} } - M. J. Butler, C. B. Jones, and others. Methods: Tackling Industry Specific Challenges. Technical Report D6.2 (D31), DEPLOY Project, August 2010.
@techreport{DEPLOY-D31, author = {Butler, M. J. and Jones, C. B. and others}, title = {Methods: Tackling Industry Specific Challenges}, institution = {DEPLOY Project}, year = {2010}, number = {D6.2 (D31)}, month = aug, url = {www.deploy-project.eu/pdf/D31-submit.pdf} } - Cliff B. Jones, Gudmund Grov, and Alan Bundy. Ideas for a high-level proof strategy language. Technical Report EDI-INF-RR-1377, Informatics, Edinburgh University, 2010.
@techreport{JonesGrovBundy10-TR-Ed, author = {Jones, Cliff B. and Grov, Gudmund and Bundy, Alan}, title = {Ideas for a high-level proof strategy language}, institution = {Informatics, Edinburgh University}, year = {2010}, number = {EDI-INF-RR-1377}, url = {http://www.inf.ed.ac.uk/publications/report/1377.html} } - Cliff B. Jones, Gudmund Grov, and Alan Bundy. Ideas for a high-level proof strategy language. Technical Report CS-TR-1210, School of Computing Science, Newcastle University, 2010.
@techreport{JonesGrovBundy10-TR, author = {Jones, Cliff B. and Grov, Gudmund and Bundy, Alan}, title = {Ideas for a high-level proof strategy language}, institution = {School of Computing Science, Newcastle University}, year = {2010}, number = {CS-TR-1210}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1210.pdf} } - C. B. Jones and K. G. Pierce. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Technical Report CS-TR-1186, Newcastle University, January 2010.
@techreport{JonesPierce10trB, author = {Jones, C. B. and Pierce, K. G.}, title = {Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification}, institution = {Newcastle University}, year = {2010}, number = {CS-TR-1186}, month = jan, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1186.pdf} } - Cliff B. Jones. From Problem Frames to HJJ (and its known unknowns). Technical Report CS-TR-1163, School of Computing Science, Newcastle University, August 2009.
@techreport{Jones09TR-MAJ-FS, author = {Jones, Cliff B.}, title = {From {Problem Frames} to {HJJ} (and its known unknowns)}, institution = {School of Computing Science, Newcastle University}, year = {2009}, number = {CS-TR-1163}, month = aug, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1163.pdf} } - C. B. Jones. Advances in Methods. Technical Report D6.1 (D15), DEPLOY Project, July 2009.
@techreport{DEPLOY-D15, author = {Jones, C. B.}, title = {Advances in Methods}, institution = {DEPLOY Project}, year = {2009}, number = {D6.1 (D15)}, month = jul, url = {www.deploy-project.eu/pdf/D15final.pdf} } - Cliff B. Jones. The role of auxiliary variables in the formal development of concurrent programs. Technical Report CS-TR-1179, School of Computing Science, Newcastle University, 2009.
@techreport{Jones09CARH-FS-TR, author = {Jones, Cliff B.}, title = {The role of auxiliary variables in the formal development of concurrent programs}, institution = {School of Computing Science, Newcastle University}, year = {2009}, number = {CS-TR-1179}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1179.pdf} } - Cliff B. Jones and Ken G. Pierce. Elucidating concurrent algorithms via layers of abstraction and reification. Technical Report CS-TR-1166, School of Computing Science, Newcastle University, 2009.
@techreport{JonesPierce09TR, author = {Jones, Cliff B. and Pierce, Ken G.}, title = {Elucidating concurrent algorithms via layers of abstraction and reification}, institution = {School of Computing Science, Newcastle University}, year = {2009}, number = {CS-TR-1166}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1166.pdf} } - J. W. Bryans, J. S. Fitzgerald, D. Greathead, C. B. Jones, and R. J. Payne. A Dynamic Coalitions Workbench: Final Report. Technical Report CS-TR-1091, School of Computing Science, Newcastle University, April 2008.
@techreport{Jones08TR-DC, author = {Bryans, J. W. and Fitzgerald, J. S. and Greathead, D. and Jones, C. B. and Payne, R. J.}, title = {A Dynamic Coalitions Workbench: Final Report}, institution = {School of Computing Science, Newcastle University}, year = {2008}, number = {CS-TR-1091}, month = apr, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1091.pdf} } - J. W. Coleman and C. B. Jones. A structural proof of the soundness of rely/guarantee rules (revised). Technical Report CS-TR-1029, Newcastle University, June 2007.
@techreport{CoJoTR07, author = {Coleman, J. W. and Jones, C. B.}, title = {A structural proof of the soundness of rely/guarantee rules (revised)}, institution = {Newcastle University}, year = {2007}, number = {CS-TR-1029}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1029.pdf} } - Cliff B. Jones. Understanding programming language concepts via operational semantics. Technical Report CS-TR-1046, School of Computing Science, Newcastle University, August 2007.
@techreport{Jones07eTR, author = {Jones, Cliff B.}, title = {Understanding programming language concepts via operational semantics}, institution = {School of Computing Science, Newcastle University}, year = {2007}, number = {CS-TR-1046}, month = aug, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1046.pdf} } - Cliff B. Jones, Ian J. Hayes, and Michael A. Jackson. Deriving Specifications for Systems That are Connected to the Physical World. Technical Report CS-TR-1045, School of Computing Science, Newcastle University, August 2007.
@techreport{JHJ07TR, author = {Jones, Cliff B. and Hayes, Ian J. and Jackson, Michael A.}, title = {Deriving Specifications for Systems That are Connected to the Physical World}, institution = {School of Computing Science, Newcastle University}, year = {2007}, number = {CS-TR-1045}, month = aug, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1045.pdf} } - J. S. Fitzgerald and C. B. Jones. The Connection between Two Ways of Reasoning about Partial Functions. Technical Report CS-TR-1044, School of Computing Science, Newcastle University, August 2007.
@techreport{FitzJones07TR, author = {Fitzgerald, J. S. and Jones, C. B.}, title = {The Connection between Two Ways of Reasoning about Partial Functions}, institution = {School of Computing Science, Newcastle University}, year = {2007}, number = {CS-TR-1044}, month = aug, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1044.pdf} } - M. Butler, C. B. Jones, A. Romanovsky, and E. Troubitsyna. Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance. Technical Report CS-TR-1032, School of Computing Science, University of Newcastle, July 2007. Organised at IFM2007, Oxford.
@techreport{MeMoT07TR, author = {Butler, M. and Jones, C. B. and Romanovsky, A. and Troubitsyna, E.}, title = {Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance}, institution = {School of Computing Science, University of Newcastle}, year = {2007}, number = {CS-TR-1032}, month = jul, note = {Organised at IFM2007, Oxford}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1032.pdf} } - Nigel Gilbert, Cliff Jones, and others. Dilemmas of Privacy and Surveillance: Challenges of Technological Change. Royal Academy of Engineering, March 2007.
@techreport{RAEng-DPS, author = {Gilbert, Nigel and Jones, Cliff and others}, title = {Dilemmas of Privacy and Surveillance: Challenges of Technological Change}, institution = {Royal Academy of Engineering}, year = {2007}, month = mar, url = {https://www.raeng.org.uk/publications/reports/dilemmas-of-privacy-and-surveillance-report} } - J. W. Bryans, J. S. Fitzgerald, C. B. Jones, and I. Mozolevsky. Dimensions of Dynamic Coalitions. Technical Report CS-TR-963, School of Computing Science, University of Newcastle, May 2006.
@techreport{BFJM06tr, author = {Bryans, J. W. and Fitzgerald, J. S. and Jones, C. B. and Mozolevsky, I.}, title = {Dimensions of Dynamic Coalitions}, institution = {School of Computing Science, University of Newcastle}, year = {2006}, number = {CS-TR-963}, month = may, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-963.pdf} } - C. B. Jones. RODIN: Intermediate Report on Methodology. Technical Report CS-TR-990, School of Computing Science, University of Newcastle, November 2006.
@techreport{RODIN-D19, author = {Jones, C. B.}, title = {RODIN: Intermediate Report on Methodology}, institution = {School of Computing Science, University of Newcastle}, year = {2006}, number = {CS-TR-990}, month = nov, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-990.pdf} } - J. W. Coleman and C. B. Jones. A structural proof of the soundness of rely/guarantee rules. Technical Report CS-TR-987, School of Computing Science, University of Newcastle, October 2006.
@techreport{CoJo06b, author = {Coleman, J. W. and Jones, C. B.}, title = {A structural proof of the soundness of rely/guarantee rules}, institution = {School of Computing Science, University of Newcastle}, year = {2006}, number = {CS-TR-987}, month = oct, url = {http://www.cs.ncl.ac.uk/research/pubs/trs/papers/987.pdf} } - Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, and Igor Mozolevsky. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Technical Report CS-TR-981, Newcastle University, September 2006.
@techreport{DC-TR06, author = {Bryans, Jeremy W. and Fitzgerald, John S. and Jones, Cliff B. and Mozolevsky, Igor}, title = {Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering}, institution = {Newcastle University}, year = {2006}, number = {CS-TR-981}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-981.pdf} } - Joey W. Coleman, Nigel P. Jefferson, and Cliff B. Jones. Comments on several years of teaching of modelling programming language concepts. Technical Report CS-TR-978, Newcastle University, July 2006.
@techreport{ColJefJon06TR, author = {Coleman, Joey W. and Jefferson, Nigel P. and Jones, Cliff B.}, title = {Comments on several years of teaching of modelling programming language concepts}, institution = {Newcastle University}, year = {2006}, number = {CS-TR-978}, month = jul, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-978.pdf} } - Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump. Roadmap for Enhanced Languages and Methods to Aid Verification. Technical Report 06-21, Iowa State University, Department of Computer Science, Ames, IA, July 2006.
@techreport{Leavens-etal06a, author = {Leavens, Gary T. and Abrial, Jean-Raymond and Batory, Don and Butler, Michael and Coglio, Alessandro and Fisler, Kathi and Hehner, Eric and Jones, Cliff and Miller, Dale and Peyton-Jones, Simon and Sitaraman, Murali and Smith, Douglas R. and Stump, Aaron}, title = {Roadmap for Enhanced Languages and Methods to Aid Verification}, institution = {Iowa State University, Department of Computer Science}, year = {2006}, number = {06-21}, address = {Ames, IA}, month = jul, url = {ftp://ftp.cs.iastate.edu/pub/techreports/TR06-21/TR.pdf} } - C. B. Jones, I. J. Hayes, and M. A. Jackson. Specifying systems that connect to the physical world. Technical Report CS-TR-964, School of Computing Science, University of Newcastle, May 2006.
@techreport{JHJ-TR06, author = {Jones, C. B. and Hayes, I. J. and Jackson, M. A.}, title = {Specifying systems that connect to the physical world}, institution = {School of Computing Science, University of Newcastle}, year = {2006}, number = {CS-TR-964}, month = may, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-964.pdf} } - J. W. Coleman and C. B. Jones. Guaranteeing the soundness of rely/guarantee rules. Technical Report CS-TR-955, School of Computing Science, University of Newcastle, March 2006.
@techreport{CoJo06, author = {Coleman, J. W. and Jones, C. B.}, title = {Guaranteeing the soundness of rely/guarantee rules}, institution = {School of Computing Science, University of Newcastle}, year = {2006}, number = {CS-TR-955}, month = mar, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-955.pdf} } - M. Butler, C. B. Jones, A. Romanovsky, and E. Troubitsyna. Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Technical Report CS-TR-915, ISSN 1368-1060, School of Computing Science, University of Newcastle, June 2005.
@techreport{REFT05, author = {Butler, M. and Jones, C. B. and Romanovsky, A. and Troubitsyna, E.}, title = {Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems ({REFT} 2005)}, institution = {School of Computing Science, University of Newcastle}, year = {2005}, number = {CS-TR-915, ISSN 1368-1060}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-915.pdf} } - C. B. Jones. RODIN: Intermediate Report on Methodology. Technical Report D9, RODIN Project, November 2005.
@techreport{RODIN-D9, author = {Jones, C. B.}, title = {RODIN: Intermediate Report on Methodology}, institution = {RODIN Project}, year = {2005}, number = {D9}, month = nov } - J. Coleman, N. Jefferson, and C. B. Jones. Black Tie Optional: Modelling Programming Language Concepts. Technical Report CS-TR-844, School of Computing Science, Newcastle University, May 2004. Submitted to Ghent Teaching Conference.
@techreport{Jones04b, author = {Coleman, J. and Jefferson, N. and Jones, C. B.}, title = {Black Tie Optional: Modelling Programming Language Concepts}, institution = {School of Computing Science, Newcastle University}, year = {2004}, number = {CS-TR-844}, month = may, note = {Submitted to Ghent Teaching Conference}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-844.pdf} } - A. T. Lawrie and C. B. Jones. Goal-Diversity in the Design of Dependable Computer-Based Systems. Technical Report CS-TR-762, Department of Computing Science, Newcastle University, February 2002.
@techreport{Jones02c, author = {Lawrie, A. T. and Jones, C. B.}, title = {Goal-Diversity in the Design of Dependable Computer-Based Systems}, institution = {Department of Computing Science, Newcastle University}, year = {2002}, number = {CS-TR-762}, month = feb, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-762.pdf} } - A. Romanovsky, J. Arlat, J.-C. Fabre, V. Issarny, C. B. Jones, N. Levy, E. Marsden, P. Periorellis, M. Rodriguez, F. Tartanoglu, and I. Welch. Further Results on Architectures and Dependability Mechanisms for Dependable SoSs. Technical Report CS-TR-779, School of Computing Science, Newcastle University, 2002.
@techreport{DSoS-Arch, author = {Romanovsky, A. and Arlat, J. and Fabre, J.-C. and Issarny, V. and Jones, C. B. and Levy, N. and Marsden, E. and Periorellis, P. and Rodriguez, M. and Tartanoglu, F. and Welch, I.}, title = {Further Results on Architectures and Dependability Mechanisms for Dependable {SoSs}}, institution = {School of Computing Science, Newcastle University}, year = {2002}, number = {CS-TR-779}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-779.pdf} } - M.-C. Gaudel, V. Issarny, C. B. Jones, H. Kopetz, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, B. Randell, A. Romanovsky, R.J. Stroud, and F. Taini. Final Version of DSoS Conceptual Model. Technical Report CS-TR-782, School of Computing Science, Newcastle University, 2002.
@techreport{DSoS-Final, author = {Gaudel, M.-C. and Issarny, V. and Jones, C. B. and Kopetz, H. and Marsden, E. and Moffat, N. and Paulitsch, M. and Powell, D. and Randell, B. and Romanovsky, A. and Stroud, R.J. and Taini, F.}, title = {Final Version of {DSoS} Conceptual Model}, institution = {School of Computing Science, Newcastle University}, year = {2002}, number = {CS-TR-782}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-782.pdf} } - C. B. Jones, M-O. Killijian, H. Kopetz, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, B. Randell, A. Romanovsky, and R.J. Stroud. Revised Version of the DSoS Conceptual Model. Technical Report CS-TR-746, Department of Computing Science, Newcastle University, 2001.
@techreport{DSoS-CM2, author = {Jones, C. B. and Killijian, M-O. and Kopetz, H. and Marsden, E. and Moffat, N. and Paulitsch, M. and Powell, D. and Randell, B. and Romanovsky, A. and Stroud, R.J.}, title = {Revised Version of the {DSoS} Conceptual Model}, institution = {Department of Computing Science, Newcastle University}, year = {2001}, number = {CS-TR-746}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-746.pdf} } - J. S. Fitzgerald and C. B. Jones. Proof in the Analysis of a Model of a Tracking System. Technical Report CS-TR-617, Newcastle University, 1997.
@techreport{FitzgeraldJones98d, author = {Fitzgerald, J. S. and Jones, C. B.}, title = {Proof in the Analysis of a Model of a Tracking System}, institution = {Newcastle University}, year = {1997}, number = {CS-TR-617}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-617.pdf} } - Pierre Collette and Cliff B. Jones. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations. Technical Report UMCS-95-10-3, Manchester University, 1995.
@techreport{ColletteJones95, author = {Collette, Pierre and Jones, Cliff B.}, title = {Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations}, institution = {Manchester University}, year = {1995}, number = {UMCS-95-10-3}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS-95-10-3.pdf} } - J. R. Gurd and C. B. Jones. The Global-yet-Personal Information System. Technical Report UMCS-94-4-1, Manchester University, 1994.
@techreport{GurdJones94, author = {Gurd, J. R. and Jones, C. B.}, title = {The Global-yet-Personal Information System}, institution = {Manchester University}, year = {1994}, number = {UMCS-94-4-1}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS-94-4-1.pdf} } - C. B. Jones. Process Algebraic Foundations for an Object-Based Design Notation. Technical Report UMCS-93-10-1, Manchester University, 1993.
@techreport{Jones93w, author = {Jones, C. B.}, title = {Process Algebraic Foundations for an Object-Based Design Notation}, institution = {Manchester University}, year = {1993}, number = {UMCS-93-10-1}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS-93-10-1.pdf} } - I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. Technical Report UMCS-93-8-1, Manchester University, 1993.
@techreport{ZVDM93, author = {Hayes, I. J. and Jones, C. B. and Nicholls, J. E.}, title = {Understanding the differences between {VDM} and {Z}}, institution = {Manchester University}, year = {1993}, number = {UMCS-93-8-1}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS-93-8-1.pdf} } - C.B. Jones and C.A. Middelburg. A Typed Logic of Partial Functions Reconstructed Classically. Logic Group Preprint Series 89, Utrecht University, Department of Philosophy, April 1993.
@techreport{JonesMiddelburg93a, author = {Jones, C.B. and Middelburg, C.A.}, title = {A Typed Logic of Partial Functions Reconstructed Classically}, institution = {Utrecht University, Department of Philosophy}, year = {1993}, type = {Logic Group Preprint Series}, number = {89}, month = apr, url = {http://igitur-archive.library.uu.nl/lg/2008-0225-204254/preprint89.pdf} } - C. B. Jones and A. M. McCauley. Formal Methods – Selected Historical References. Technical Report UMCS-92-12-2, Manchester University, 1992.
@techreport{JonesMcCauley92, author = {Jones, C. B. and McCauley, A. M.}, title = {Formal Methods -- Selected Historical References}, institution = {Manchester University}, year = {1992}, number = {UMCS-92-12-2}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS-92-12-2.pdf} } - C. B. Jones. An Object-Based Design Method for Concurrent Programs. Technical Report UMCS-92-12-1, Manchester University, 1992.
@techreport{Jones92n, author = {Jones, C. B.}, title = {An Object-Based Design Method for Concurrent Programs}, institution = {Manchester University}, year = {1992}, number = {UMCS-92-12-1}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS-92-12-1.pdf} } - C. B. Jones. Some comments on (BSI) VDMSL. Note for BSI Committee, number ??, May 1991.
@unpublished{Jones91n, author = {Jones, C. B.}, note = {Note for BSI Committee, number ??}, title = {Some comments on {(BSI) VDMSL}}, month = may, year = {1991} } - C. B. Jones. Operation Quotation in VDM. Note for Adelard, March 1991.
@unpublished{Jones91g, author = {Jones, C. B.}, note = {Note for Adelard}, title = {Operation Quotation in {VDM}}, month = mar, year = {1991} } - C. B. Jones. Interference Revisited. internal communication, November 1990.
@unpublished{Jones90q, author = {Jones, C. B.}, note = {internal communication}, title = {Interference Revisited}, month = nov, year = {1990} } - C. B. Jones. Final Report on SERC Grant No. GR/D/60294: IPSE 2.5. internal communication, July 1990.
@unpublished{Jones90n, author = {Jones, C. B.}, note = {internal communication}, title = {Final Report on {SERC Grant No. GR/D/60294: IPSE 2.5}}, month = jul, year = {1990} } - C. B. Jones. Systematic Software Development using VDM (Second Edition) Teaching Notes. Prentice Hall International, 1990.
@techreport{Jones90k, author = {Jones, C. B.}, title = {Systematic Software Development using {VDM} (Second Edition) Teaching Notes}, institution = {Prentice Hall International}, year = {1990} } - C. B. Jones. Combining Implicit/Explicit Function Definitions in the VDM Proto-Standard. BSI IST/5/50 Document No. 58, April 1988.
@unpublished{Jones88i, author = {Jones, C. B.}, note = {BSI IST/5/50 Document No. 58}, title = {Combining Implicit/Explicit Function Definitions in the {VDM} Proto-Standard}, month = apr, year = {1988} } - C. B. Jones. Response to Arentoft and Larsen’s: Under-specification and Non-determinism Note. BSI IST/5/50 Document No. 67, May 1988.
@unpublished{Jones88j, author = {Jones, C. B.}, note = {BSI IST/5/50 Document No. 67}, title = {Response to {Arentoft and Larsen}'s: Under-specification and Non-determinism Note}, month = may, year = {1988} } - C. B. Jones. Teaching Notes (second version) for Systematic Software Development Using VDM. Technical Report UMCS 87-12-9, Manchester University, December 1987.
@techreport{Jones87q, author = {Jones, C. B.}, title = {Teaching Notes (second version) for Systematic Software Development Using {VDM}}, institution = {Manchester University}, year = {1987}, number = {UMCS 87-12-9}, month = dec } - C. B. Jones and R. Moore. An Experimental User Interface for a Theorem Proving Assistant. Technical Report UMCS 87-12-8, Manchester University, December 1987.
@techreport{Jones87p, author = {Jones, C. B. and Moore, R.}, title = {An Experimental User Interface for a Theorem Proving Assistant}, institution = {Manchester University}, year = {1987}, number = {UMCS 87-12-8}, month = dec, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS-87-12-8.pdf} } - C. B. Jones. Teaching Notes for Systematic Software Development Using VDM. Technical Report UMCS 86-4-2, University of Manchester, 1986.
@techreport{Jones86c, author = {Jones, C. B.}, title = {Teaching Notes for Systematic Software Development Using {VDM}}, institution = {University of Manchester}, year = {1986}, number = {UMCS 86-4-2} } - I. D. Cottam, C. B. Jones, T. N. Nipkow, A. C. Wills, M. Wolczko, and A. Yaghi. Mule – An Environment for Rigorous Software Development (final Report to SERC on Grant Number GR/C/05762). Department of Computer Science, University of Manchester, 1986.
@techreport{Jones86s, author = {Cottam, I. D. and Jones, C. B. and Nipkow, T. N. and Wills, A. C. and Wolczko, M. and Yaghi, A.}, title = {Mule -- An Environment for Rigorous Software Development (final Report to {SERC} on Grant Number {GR/C/05762})}, institution = {Department of Computer Science, University of Manchester}, year = {1986} } - C. B. Jones, P. Lindsay, and C. Wadsworth. IPSE 2.5 Theorem Proving Concepts Paper. Technical Report 060/00021/1.5, Manchester University and Rutherford Appleton Laboratory, June 1986.
@techreport{Jones86r, author = {Jones, C. B. and Lindsay, P. and Wadsworth, C.}, title = {IPSE 2.5 Theorem Proving Concepts Paper}, institution = {Manchester University and Rutherford Appleton Laboratory}, year = {1986}, number = {060/00021/1.5}, month = jun } - C. B. Jones. Program Specification and Verification in VDM. Technical Report UMCS 86-10-5, University of Manchester, 1986. extended version of \citeJones87o (includes the full proofs).
@techreport{Jones86k, author = {Jones, C. B.}, title = {Program Specification and Verification in {VDM}}, institution = {University of Manchester}, year = {1986}, number = {UMCS 86-10-5}, note = {extended version of \cite{Jones87o} (includes the full proofs)}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MUCS-TRs/UMCS_86_10_5.pdf} } - B. T. Denvir, V. A. Downes, C. B. Jones, R. A. Snowdon, and M. K. Tordoff. IPSE 2.5 Project Proposal. ICL/STC-IDEC/STL/University of Manchester, February 1985.
@techreport{Jones85i, author = {Denvir, B. T. and Downes, V. A. and Jones, C. B. and Snowdon, R. A. and Tordoff, M. K.}, title = {IPSE 2.5 Project Proposal}, institution = {ICL/STC-IDEC/STL/University of Manchester}, year = {1985}, month = feb } - H. Barringer and C. B. Jones. A Survey of Verification Techniques for Parallel Programs. University of Manchester, September 1982.
@techreport{BarringerJones82, author = {Barringer, H. and Jones, C. B.}, title = {A Survey of Verification Techniques for Parallel Programs}, institution = {University of Manchester}, year = {1982}, month = sep } - C. B. Jones. Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University, June 1981. Printed as: Programming Research Group, Technical Monograph 25.
@phdthesis{Jones81d, author = {Jones, C. B.}, title = {Development Methods for Computer Programs including a Notion of Interference}, school = {Oxford University}, year = {1981}, month = jun, note = {Printed as: Programming Research Group, Technical Monograph 25}, url = {http://www.cs.ox.ac.uk/files/9025/PRG-25.pdf} } - C. B. Jones. Mathematical Semantics of Goto: Exit Formulation and its Relation to Continuations. IBM Laboratory Vienna, July 1978.
@techreport{Jones78a2q, author = {Jones, C. B.}, title = {Mathematical Semantics of Goto: Exit Formulation and its Relation to Continuations}, institution = {IBM Laboratory Vienna}, year = {1978}, month = jul } - C. B. Jones. Implementation Bias in Constructive Specification of Abstract Objects. typescript, September 1977.
@unpublished{Jones77f, author = {Jones, C. B.}, note = {typescript}, title = {Implementation Bias in Constructive Specification of Abstract Objects}, month = sep, year = {1977} } - C. B. Jones. Program Development Using Data Abstraction. typescript, June 1977.
@unpublished{Jones77e, author = {Jones, C. B.}, note = {typescript}, title = {Program Development Using Data Abstraction}, month = jun, year = {1977} } - C. B. Jones. Some Requirements for Specification Languages. Technical Report LN 25.3.108, IBM Laboratory, Vienna, February 1976.
@techreport{Jones76c, author = {Jones, C. B.}, title = {Some Requirements for Specification Languages}, institution = {IBM Laboratory, Vienna}, year = {1976}, number = {LN 25.3.108}, month = feb, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/LN25.3.108.pdf} } - C. B. Jones. Program Development Using Data Abstraction. typescript, December 1976.
@unpublished{Jones76d, author = {Jones, C. B.}, note = {typescript}, title = {Program Development Using Data Abstraction}, month = dec, year = {1976} } - C. B. Jones. Formal Definition in Compiler Development. Technical Report 25.145, IBM Laboratory Vienna, February 1976.
@techreport{Jones76a, author = {Jones, C. B.}, title = {Formal Definition in Compiler Development}, institution = {IBM Laboratory Vienna}, year = {1976}, number = {25.145}, month = feb, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR25.145.pdf} } - H. Bekič, H. Izbicki, C. B. Jones, and F. Weissenböck. Some Experiments with Using a Formal Language Definition in Compiler Development. Technical Report LN 25.3.107, IBM Laboratory, Vienna, December 1975.
@techreport{BIJW75, author = {{Beki\v{c}}, H. and Izbicki, H. and Jones, C. B. and {Weissenb\"{o}ck}, F.}, title = {Some Experiments with Using a Formal Language Definition in Compiler Development}, institution = {IBM Laboratory, Vienna}, year = {1975}, number = {LN 25.3.107}, month = dec } - H. Bekič, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas. A Formal Definition of a PL/I Subset (Part II). Technical Report 25.139, IBM Laboratory Vienna, December 1974.
@techreport{BBHJL74ii, author = {{Beki\v{c}}, H. and {Bj\o rner}, D. and Henhapl, W. and Jones, C. B. and Lucas, P.}, title = {A Formal Definition of a {PL/I} Subset (Part~II)}, institution = {IBM Laboratory Vienna}, year = {1974}, number = {25.139}, month = dec, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR25.139-Part2.pdf} } - H. Bekič, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas. A Formal Definition of a PL/I Subset (Part I). Technical Report 25.139, IBM Laboratory Vienna, December 1974.
@techreport{BBHJL74i, author = {{Beki\v{c}}, H. and {Bj\o rner}, D. and Henhapl, W. and Jones, C. B. and Lucas, P.}, title = {A Formal Definition of a {PL/I} Subset (Part~I)}, institution = {IBM Laboratory Vienna}, year = {1974}, number = {25.139}, month = dec, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR25.139-Part1.pdf} } - C. B. Jones. Formal Development of Programs. Technical Report 12.117, IBM Laboratory Hursley, June 1973.
@techreport{Jones73a, author = {Jones, C. B.}, title = {Formal Development of Programs}, institution = {IBM Laboratory Hursley}, year = {1973}, number = {12.117}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR12.117.pdf} } - C. D. Allen and C. B. Jones. The Formal Development of an Algorithm. Technical Report 12.110, IBM Laboratory Hursley, March 1973.
@techreport{AJ73, author = {Allen, C. D. and Jones, C. B.}, title = {The Formal Development of an Algorithm}, institution = {IBM Laboratory Hursley}, year = {1973}, number = {12.110}, month = mar, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR12.110.pdf} } - D. N. Chapman and C. B. Jones. Formal Development: An Example using FDSS. Technical Report TN 9007, IBM Laboratory, Hursley, 1973.
@techreport{CJ73, author = {Chapman, D. N. and Jones, C. B.}, title = {Formal Development: An Example using {FDSS}}, institution = {IBM Laboratory, Hursley}, year = {1973}, number = {TN 9007} } - C. B. Jones. Operations and Formal Development. Technical Report TN 9004, IBM Laboratory, Hursley, September 1972.
@techreport{Jones72b, author = {Jones, C. B.}, title = {Operations and Formal Development}, institution = {IBM Laboratory, Hursley}, year = {1972}, number = {TN 9004}, month = sep, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TN 9004.pdf} } - C. D. Allen, D. N. Chapman, and C. B. Jones. A Formal Definition of ALGOL 60. Technical Report 12.105, IBM Laboratory Hursley, August 1972.
@techreport{ACJ72, author = {Allen, C. D. and Chapman, D. N. and Jones, C. B.}, title = {A Formal Definition of {ALGOL} 60}, institution = {IBM Laboratory Hursley}, year = {1972}, number = {12.105}, month = aug, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR12.105.pdf} } - B Bridges and C. B. Jones. Syntax Machine Techniques – Sequences and Structures. Technical Report TN 9003, IBM Laboratory, Hursley, January 1972.
@techreport{BridgesJones72, author = {Bridges, B and Jones, C. B.}, title = {Syntax Machine Techniques -- Sequences and Structures}, institution = {IBM Laboratory, Hursley}, year = {1972}, number = {TN 9003}, month = jan } - C. B. Jones. Formal Development of Correct Algorithms: an Example Based on Earley’s Recogniser. Technical Report 12.095, IBM Laboratory Hursley, December 1971.
@techreport{Jones71b, author = {Jones, C. B.}, title = {Formal Development of Correct Algorithms: an Example Based on {Earley's} Recogniser}, institution = {IBM Laboratory Hursley}, year = {1971}, number = {12.095}, month = dec, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR12.095.pdf} } - K. V. Hanford and C. B. Jones. Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages. Technical Report 12.090, IBM Laboratory Hursley, June 1971.
@techreport{HanfordJones71, author = {Hanford, K. V. and Jones, C. B.}, title = {Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages}, institution = {IBM Laboratory Hursley}, year = {1971}, number = {12.090}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR12.090.pdf} } - C. B. Jones. Sufficient Properties for Implementation Correctness: Assignment Language. Technical Report TN 9002, IBM Laboratory, Hursley, June 1971.
@techreport{Jones71d, author = {Jones, C. B.}, title = {Sufficient Properties for Implementation Correctness: Assignment Language}, institution = {IBM Laboratory, Hursley}, year = {1971}, number = {TN 9002}, month = jun } - C. B. Jones. Development of Correct Programs: An Example Based on Earley’s Recogniser. Technical Report TN 9000, IBM Laboratory, Hursley, April 1971.
@techreport{Jones71c, author = {Jones, C. B.}, title = {Development of Correct Programs: An Example Based on Earley's Recogniser}, institution = {IBM Laboratory, Hursley}, year = {1971}, number = {TN 9000}, month = apr } - C. B. Jones and P. Lucas. Proving Correctness of Implementation Techniques. Technical Report TR 25.110, IBM Laboratory Vienna, August 1970.
@techreport{Jones70a, author = {Jones, C. B. and Lucas, P.}, title = {Proving Correctness of Implementation Techniques}, institution = {IBM Laboratory Vienna}, year = {1970}, number = {TR 25.110}, month = aug, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR25.110.pdf} } - C. B. Jones. Yet Another Proof of the Block Concept. Technical Report LN 25.3.075, IBM Laboratory, Vienna, August 1970.
@techreport{Jones70c, author = {Jones, C. B.}, title = {Yet Another Proof of the Block Concept}, institution = {IBM Laboratory, Vienna}, year = {1970}, number = {LN 25.3.075}, month = aug, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/LN25.3.075.pdf} } - W. Henhapl and C. B. Jones. A Run-time Mechanism for Referencing Variables. Technical Report LR 25.3.074, IBM Laboratory, Vienna, July 1970.
@techreport{HenhaplJones70d, author = {Henhapl, W. and Jones, C. B.}, title = {A Run-time Mechanism for Referencing Variables}, institution = {IBM Laboratory, Vienna}, year = {1970}, number = {LR 25.3.074}, month = jul } - W. Henhapl and C. B. Jones. Some Observations on the Implementation of Reference Mechanisms for Automatic Variables. Technical Report LR 25.3.070, IBM Laboratory, Vienna, May 1970.
@techreport{HenhaplJones70c, author = {Henhapl, W. and Jones, C. B.}, title = {Some Observations on the Implementation of Reference Mechanisms for Automatic Variables}, institution = {IBM Laboratory, Vienna}, year = {1970}, number = {LR 25.3.070}, month = may } - C. B. Jones. A Technique for Showing that Two Functions Preserve a Relation Between Their Domains. Technical Report LR 25.3.067, IBM Laboratory, Vienna, April 1970.
@techreport{Jones70b, author = {Jones, C. B.}, title = {A Technique for Showing that Two Functions Preserve a Relation Between Their Domains}, institution = {IBM Laboratory, Vienna}, year = {1970}, number = {LR 25.3.067}, month = apr, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/LR25.3.067.pdf} } - W. Henhapl and C. B. Jones. The Block Concept and Some Possible Implementations, with Proofs of Equivalence. Technical Report 25.104, IBM Laboratory Vienna, April 1970.
@techreport{HenhaplJones70a, author = {Henhapl, W. and Jones, C. B.}, title = {The Block Concept and Some Possible Implementations, with Proofs of Equivalence}, institution = {IBM Laboratory Vienna}, year = {1970}, number = {25.104}, month = apr, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/TR25.104.pdf} } - W. Henhapl and C. B. Jones. On the Interpretation of GOTO Statements in the ULD. Technical Report LN 25.3.065, IBM Laboratory, Vienna, March 1970.
@techreport{HenhaplJones70b, author = {Henhapl, W. and Jones, C. B.}, title = {On the Interpretation of {GOTO} Statements in the {ULD}}, institution = {IBM Laboratory, Vienna}, year = {1970}, number = {LN 25.3.065}, month = mar } - C. B. Jones. A Proof of the Correctness of an Interpreter Based on Axiom Schema. Technical Report LN 25.3.052, IBM Laboratory, Vienna, June 1969.
@techreport{Jones69c, author = {Jones, C. B.}, title = {A Proof of the Correctness of an Interpreter Based on Axiom Schema}, institution = {IBM Laboratory, Vienna}, year = {1969}, number = {LN 25.3.052}, month = jun } - C. B. Jones. A Proof of the Correctness of Some Optimising Techniques. Technical Report LN 25.3.051, IBM Laboratory, Vienna, June 1969.
@techreport{Jones69b, author = {Jones, C. B.}, title = {A Proof of the Correctness of Some Optimising Techniques}, institution = {IBM Laboratory, Vienna}, year = {1969}, number = {LN 25.3.051}, month = jun, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/LN25.3.051.pdf} } - C. B. Jones. A Comparison of Two Approaches to Language Definition as Bases for the Construction of Proofs. Technical Report LN 25.3.050, IBM Laboratory, Vienna, February 1969.
@techreport{Jones69a, author = {Jones, C. B.}, title = {A Comparison of Two Approaches to Language Definition as Bases for the Construction of Proofs}, institution = {IBM Laboratory, Vienna}, year = {1969}, number = {LN 25.3.050}, month = feb, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/LN25.3.050.pdf} } - S. M. Glassover, K. V. Hanford, and C. B. Jones. The Syntax Machine: A Description. Technical Report 12.078, IBM Laboratory Hursley, January 1969.
@techreport{GHJ69, author = {Glassover, S. M. and Hanford, K. V. and Jones, C. B.}, title = {The Syntax Machine: A Description}, institution = {IBM Laboratory Hursley}, year = {1969}, number = {12.078}, month = jan } - S. M. Glassover, K. V. Hanford, and C. B. Jones. The Syntax Machine: An Introduction. Technical Report 12.077, IBM Laboratory Hursley, October 1968.
@techreport{GHJ68a, author = {Glassover, S. M. and Hanford, K. V. and Jones, C. B.}, title = {The Syntax Machine: An Introduction}, institution = {IBM Laboratory Hursley}, year = {1968}, number = {12.077}, month = oct } - C. B. Jones. A Retrospective View of APEX (Automatic Production of Executable Programs). Technical Report 12.065, IBM Laboratory Hursley, October 1966.
@techreport{Jones66, author = {Jones, C. B.}, title = {A Retrospective View of {APEX} ({Automatic Production of Executable Programs})}, institution = {IBM Laboratory Hursley}, year = {1966}, number = {12.065}, month = oct } - P. B. Schofield and C. B. Jones. A Random Generator for the Automatic Production of Executable PL/I Programs (APEX). Technical Report 12.062, IBM Laboratory Hursley, April 1966.
@techreport{SchofieldJones66a, author = {Schofield, P. B. and Jones, C. B.}, title = {A Random Generator for the Automatic Production of Executable {PL/I} Programs ({APEX})}, institution = {IBM Laboratory Hursley}, year = {1966}, number = {12.062}, month = apr } - C. P. Jones and K. H. Palmer. System for Input Generation by MAGIC and Analysis — SIGMA. Technical Report 12.062, Esso Petroleum, June 1963.
@techreport{JonesPalmerSemmens-63, author = {Jones, C. P. and Palmer, K. H.}, title = {System for Input Generation by MAGIC and Analysis --- SIGMA}, institution = {Esso Petroleum}, year = {1963}, number = {12.062}, month = jun }
Conference talks
- Cliff B. Jones. Semantics of Programming Languages: historical notes. March 2018. BSHM, Oxford.
@conftalk{Jones-BSHM-18, title = {Semantics of Programming Languages: historical notes}, author = {Jones, Cliff B.}, month = mar, year = {2018}, note = {BSHM, Oxford} } - Cliff B. Jones. General lessons from a rely/guarantee development. October 2017. SETTA, Changsha.
@conftalk{Jones-SETTA-17, title = {General lessons from a rely/guarantee development}, author = {Jones, Cliff B.}, month = oct, year = {2017}, note = {SETTA, Changsha} } - Cliff B. Jones. Reasoning about the design of concurrent programs. October 2017. Workshop on Real-Time and Embedded Systems, Changsha.
@conftalk{Jones-ZCC-17, title = {Reasoning about the design of concurrent programs}, author = {Jones, Cliff B.}, month = oct, year = {2017}, note = {Workshop on Real-Time and Embedded Systems, Changsha} } - Cliff B. Jones. Programming Language Semantics: Why, What, How. October 2017. HaPoc-17, Brno.
@conftalk{Jones-HaPoC-17, title = {Programming Language Semantics: Why, What, How}, author = {Jones, Cliff B.}, month = oct, year = {2017}, note = {HaPoc-17, Brno} } - Troy K. Astarte and Cliff B. Jones. Formal Semantics of ALGOL 60: a comparison of four descriptions. June 2016. HaPoP-16, Paris, presented by Troy Astarte.
@conftalk{Jones-HaPoP-16, title = {Formal Semantics of ALGOL 60: a comparison of four descriptions}, author = {Astarte, Troy K. and Jones, Cliff B.}, month = jun, year = {2016}, note = {HaPoP-16, Paris, presented by Troy Astarte} } - Cliff B. Jones. Intuition before Formalism. June 2015. On receiving the FM-E Fellowship, Oslo.
@conftalk{Jones-Oslo-15, title = {Intuition before Formalism}, author = {Jones, Cliff B.}, month = jun, year = {2015}, note = {On receiving the FM-E Fellowship, Oslo} } - Cliff B. Jones. Possible values: exploring a concept for concurrency. September 2015. JNO-60, Guimaraes.
@conftalk{Jones-JNO-15, title = {Possible values: exploring a concept for concurrency}, author = {Jones, Cliff B.}, month = sep, year = {2015}, note = {JNO-60, Guimaraes} } - Cliff B. Jones. It ain’t necessarily so. December 2013. Cornell University.
@conftalk{Jones-FBS-shindig-13, title = {It ain't necessarily so}, author = {Jones, Cliff B.}, month = dec, year = {2013}, note = {Cornell University} } - Cliff Jones. Expressiveness of Notations for Reasoning about Concurrency. July 2013. ICECCS, Singapore, Keynote Talk.
@conftalk{Jones-ICECCS-13, title = {Expressiveness of Notations for Reasoning about Concurrency}, author = {Jones, Cliff}, month = jul, year = {2013}, note = {ICECCS, Singapore, Keynote Talk} } - Cliff B. Jones. Turing in the History of Software. June 2012. Turing’s Worlds, British Society for the History of Mathematics, Oxford University.
@conftalk{Jones12OxAMT, title = {Turing in the History of Software}, author = {Jones, Cliff B.}, month = jun, year = {2012}, note = {Turing's Worlds, British Society for the History of Mathematics, Oxford University} } - Manuel Mazzara, Cliff Jones, and Alexei Iliasov. Lessons from DEPLOYment. February 2012. Rodin Workshop, Fontainebleau.
@conftalk{MazzJoIli-12, title = {Lessons from {DEPLOYment}}, author = {Mazzara, Manuel and Jones, Cliff and Iliasov, Alexei}, month = feb, year = {2012}, note = {Rodin Workshop, Fontainebleau} } - Cliff B. Jones. Mechanising LPF. December 2011. invited talk at HB60.
@conftalk{Jones11HB60, title = {Mechanising {LPF}}, author = {Jones, Cliff B.}, month = dec, year = {2011}, note = {invited talk at {HB60}} } - Cliff B. Jones. AI4FM – how to say why – in proofs. April 2011. invited talk at BCTCS.
@conftalk{Jones11BCTCS, title = {{AI4FM} -- how to say why -- in proofs}, author = {Jones, Cliff B.}, month = apr, year = {2011}, note = {invited talk at {BCTCS}} } - Cliff B. Jones, Gudmund Grov, and Alan Bundy. Ideas for a high-level proof strategy language. July 2010. AFM Workshop at FLoC.
@conftalk{Jones10AFM-FLoC, title = {Ideas for a high-level proof strategy language}, author = {Jones, Cliff B. and Grov, Gudmund and Bundy, Alan}, month = jul, year = {2010}, note = {{AFM} Workshop at {FLoC}} } - Cliff B. Jones. Abstractions before Proofs. July 2010. invited talk at VERIFY Workshop at FLoC.
@conftalk{Jones10VERIFY-FLoC, title = {Abstractions before Proofs}, author = {Jones, Cliff B.}, month = jul, year = {2010}, note = {invited talk at {VERIFY} Workshop at {FLoC}} } - Cliff B. Jones. Rely/guarantee thinking and its role in splitting atoms safely. June 2009. PSY Workshop at CAV, Grenoble.
@conftalk{Jones09PSY-CAV, title = {Rely/guarantee thinking and its role in splitting atoms safely}, author = {Jones, Cliff B.}, month = jun, year = {2009}, note = {{PSY} Workshop at {CAV}, Grenoble} } - C. B. Jones. Which system are we looking at: a dependability perspective. November 2008. EAJ/RAEng Symposium, British Embassy, Tokyo.
@conftalk{Jones08Tokyo1, title = {Which system are we looking at: a dependability perspective}, author = {Jones, C. B.}, month = nov, year = {2008}, note = {EAJ/RAEng Symposium, British Embassy, Tokyo} } - Cliff Jones. Developing programs by “Splitting atoms.” October 2008. FMCO, Sophia Antipolis.
@conftalk{Jones08-FMCOtalk, title = {Developing programs by ``Splitting atoms''}, author = {Jones, Cliff}, month = oct, year = {2008}, note = {FMCO, Sophia Antipolis} } - C. B. Jones. (Avoiding, describing and understanding) Interference. May 2005. MFPS XXI.
@conftalk{Jones05m, title = {({A}voiding, describing and understanding) Interference}, author = {Jones, C. B.}, month = may, year = {2005}, note = {MFPS~XXI} } - Cliff Jones. The case for research into obtaining the right specification. June 2005. Presented at IEEE’s ICECCS-2005, Shanghai.
@conftalk{Jones05p, title = {The case for research into obtaining the right specification}, author = {Jones, Cliff}, month = jun, year = {2005}, note = {Presented at IEEE's ICECCS-2005, Shanghai} } - Cliff Jones. Determining the specification of systems involving humans. July 2005. Presented at DSVIS-05.
@conftalk{Jones05u, title = {Determining the specification of systems involving humans}, author = {Jones, Cliff}, month = jul, year = {2005}, note = {Presented at DSVIS-05} } - Cliff Jones. Technical Challenges for Verification in Design. July 2005. Presented at GC-6 Workshop, FM-05.
@conftalk{Jones05w, title = {Technical Challenges for Verification in Design}, author = {Jones, Cliff}, month = jul, year = {2005}, note = {Presented at GC-6 Workshop, FM-05} } - Cliff Jones. Operational Semantics: concepts and their expression. April 2003. ETAPS-WMT 2003, Warsaw.
@conftalk{Jones03g, title = {Operational Semantics: concepts and their expression}, author = {Jones, Cliff}, month = apr, year = {2003}, note = {ETAPS-WMT~2003, Warsaw} } - Cliff Jones. How can design abstractions be used in testing? September 2003. SoftTest, York.
@conftalk{Jones03o, title = {How can design abstractions be used in testing?}, author = {Jones, Cliff}, month = sep, year = {2003}, note = {SoftTest, York} } - C. B. Jones. Whither Formal Methods? July 1997. Irish Workshop on Formal Methods, Dublin.
@conftalk{Jones97a, title = {Whither Formal Methods?}, author = {Jones, C. B.}, month = jul, year = {1997}, note = {Irish Workshop on Formal Methods, Dublin} } - C. B. Jones. Describing the semantics conncurrent object-oriented languages. July 1996. FOOL-3 (LICS) Workshop, Rutgers University.
@conftalk{Jones96j, title = {Describing the semantics conncurrent object-oriented languages}, author = {Jones, C. B.}, month = jul, year = {1996}, note = {FOOL-3 (LICS) Workshop, Rutgers University} } - C. B. Jones. Compositional Design Methods for Concurrent Object-Based Programs. September 1996. Invited talk, Northern Formal Methods Workshop, Ilkley.
@conftalk{Jones96NFMWS, title = {Compositional Design Methods for Concurrent Object-Based Programs}, author = {Jones, C. B.}, month = sep, year = {1996}, note = {Invited talk, Northern Formal Methods Workshop, Ilkley} } - C. B. Jones. Lessons from the development of a concurrent program: formality as a guide to intuition. May 1995. FMTA, Poland.
@conftalk{Jones95j, title = {Lessons from the development of a concurrent program: formality as a guide to intuition}, author = {Jones, C. B.}, month = may, year = {1995}, note = {FMTA, Poland} } - C. B. Jones. Some practical problems and their influence on semantics. July 1995. Newton Institute in mathematical Sciences, Cambridge.
@conftalk{Jones95k, title = {Some practical problems and their influence on semantics}, author = {Jones, C. B.}, month = jul, year = {1995}, note = {Newton Institute in mathematical Sciences, Cambridge} } - C. B. Jones. What Inhibits the use of Formal Methods? April 1992. Mathematical Foundations of Programming Semantics, Oxford.
@conftalk{Jones92d, title = {What Inhibits the use of Formal Methods?}, author = {Jones, C. B.}, month = apr, year = {1992}, note = {Mathematical Foundations of Programming Semantics, Oxford} } - C. B. Jones. Support Tools for Reification. January 1990. talk at: Third Refinement Workshop, Hursley.
@conftalk{Jones90b, title = {Support Tools for Reification}, author = {Jones, C. B.}, month = jan, year = {1990}, note = {talk at: Third Refinement Workshop, Hursley} } - C. B. Jones. Computer-Aided Formal Reasoning for Software Design. March 1989. talk at: TAPSOFT’89, Barcelona.
@conftalk{Jones89a, title = {Computer-Aided Formal Reasoning for Software Design}, author = {Jones, C. B.}, month = mar, year = {1989}, note = {talk at: TAPSOFT'89, Barcelona} } - C. B. Jones. VDM’s Notions of Data Type and Data Reification. April 1987. talk at: YoP Texas.
@conftalk{Jones87f, title = {{VDM}'s Notions of Data Type and Data Reification}, author = {Jones, C. B.}, month = apr, year = {1987}, note = {talk at: YoP Texas} } - C. B. Jones. Recent Developments in VDM. March 1987. talk at: VDM’87 Symposium.
@conftalk{Jones87e, title = {Recent Developments in {VDM}}, author = {Jones, C. B.}, month = mar, year = {1987}, note = {talk at: VDM'87 Symposium} } - C. B. Jones. Specifications and Programs. 1986. talks at: WspółCzesne Kierunki Rozwoju Informtyki, Mra̧gowo, Poland.
@conftalk{Jones86nn, title = {Specifications and Programs}, author = {Jones, C. B.}, month = {6 November}, year = {1986}, note = {talks at: {Wsp\'{o}\l Czesne Kierunki Rozwoju Informtyki}, Mr\c{a}gowo, Poland} } - C. B. Jones. Computing Science, Mathematics, and the Alvey Programme. September 1986. talk at annual meeting of British Association for the Advancement of Science, Bristol.
@conftalk{Jones86m, title = {Computing Science, Mathematics, and the {Alvey} Programme}, author = {Jones, C. B.}, month = sep, year = {1986}, note = {talk at annual meeting of British Association for the Advancement of Science, Bristol} } - C. B. Jones. Data Reification; Operation Decomposition; A Logic for Partial Functions; Support Environments for Formal Methods. July 1986. Four talks at Summer School, Marktoberdorf, Germany.
@conftalk{Jones86l, title = {Data Reification; Operation Decomposition; A Logic for Partial Functions; Support Environments for Formal Methods}, author = {Jones, C. B.}, month = jul, year = {1986}, note = {Four talks at Summer School, Marktoberdorf, Germany} } - C. B. Jones. Software Development Based on Formal Methods; IPSE 2.5. May 1986. Two talks at: Innovative Software Factories and Ada, Capri.
@conftalk{Jones86i, title = {Software Development Based on Formal Methods; {IPSE} 2.5}, author = {Jones, C. B.}, month = may, year = {1986}, note = {Two talks at: Innovative Software Factories and Ada, Capri} } - C. B. Jones. Rigorous Design: Some Experiments in Top-down Design. March 1983. BCS-FACS/SERC Conference on Program Specification and Verification, University of York.
@conftalk{Jones83k, title = {Rigorous Design: Some Experiments in Top-down Design}, author = {Jones, C. B.}, month = mar, year = {1983}, note = {BCS-FACS/SERC Conference on Program Specification and Verification, University of York} } - I. D. Cottam, C. B. Jones, T. Nipkow, and A. C. Wills. MULE: A Support System for Formal Specification and Rigorous Software Development. March 1983. BCS-FACS/SERC Conference on Program Specification and Verification, University of York.
@conftalk{CJNW83, title = {MULE: A Support System for Formal Specification and Rigorous Software Development}, author = {Cottam, I. D. and Jones, C. B. and Nipkow, T. and Wills, A. C.}, month = mar, year = {1983}, note = {BCS-FACS/SERC Conference on Program Specification and Verification, University of York} } - C. B. Jones. The Rigorous Method. September 1982. Three lectures at the Joint International Seminar on the Teaching of Computer Science – Formal Specification, Newcastle.
@conftalk{Jones82h, title = {The Rigorous Method}, author = {Jones, C. B.}, month = sep, year = {1982}, note = {Three lectures at the Joint International Seminar on the Teaching of Computer Science -- Formal Specification, Newcastle} } - C. B. Jones. Abstract Data Types. August 1979. Software Institute, UCSC, Santa Cruz, California.
@conftalk{Jones79c, title = {Abstract Data Types}, author = {Jones, C. B.}, month = aug, year = {1979}, note = {Software Institute, UCSC, Santa Cruz, California} } - C. B. Jones. Abstract Data Types. September 1979. International Seminar on Teaching Computer Science, University of Newcastle.
@conftalk{Jones79d, title = {Abstract Data Types}, author = {Jones, C. B.}, month = sep, year = {1979}, note = {International Seminar on Teaching Computer Science, University of Newcastle} } - D. Bjørner and C. B. Jones. The Vienna Development Method: Software Abstraction Principles and Software Architecture. January 1979. Copenhagen Winter School on ‘Abstract Software Specification.’
@conftalk{BjornerJones79, title = {The {Vienna} {Development} {Method}: Software Abstraction Principles and Software Architecture}, author = {{Bj\o rner}, D. and Jones, C. B.}, month = jan, year = {1979}, note = {Copenhagen Winter School on `Abstract Software Specification'} }
Seminars
- Cliff B. Jones. Compositionality and Expressiveness. January 2017. Northern Concurrency Working Group, Teesside University.
@seminar{Jones-NCWG-17, title = {Compositionality and Expressiveness}, author = {Jones, Cliff B.}, month = jan, year = {2017}, note = {Northern Concurrency Working Group, Teesside University} } - Cliff B. Jones. Formal Methods: a Historical Perspective. October 2017. Chinese Academy of Sciences.
@seminar{Jones-CAS-17, title = {Formal Methods: a Historical Perspective}, author = {Jones, Cliff B.}, month = oct, year = {2017}, note = {Chinese Academy of Sciences} } - Cliff B. Jones. Limits of expressiveness of Rely/Guarantee notation. May 2017. Aarhus Concurrency Group, Denmark.
@seminar{Jones-ACG-17, title = {Limits of expressiveness of Rely/Guarantee notation}, author = {Jones, Cliff B.}, month = may, year = {2017}, note = {Aarhus Concurrency Group, Denmark} } - Cliff B. Jones. Facing up to Interference in the Design of Cyber-Physical Systems. June 2016. Bosch Research, Renningen.
@seminar{Jones-Bosch-16, title = {Facing up to Interference in the Design of Cyber-Physical Systems}, author = {Jones, Cliff B.}, month = jun, year = {2016}, note = {Bosch Research, Renningen} } - Cliff B. Jones. Interference Reasoning: updates and clarifications. May 2016. Schloss Dagstuhl.
@seminar{Jones-Dagstuhl-16, title = {Interference Reasoning: updates and clarifications}, author = {Jones, Cliff B.}, month = may, year = {2016}, note = {Schloss Dagstuhl} } - Cliff B. Jones. Early Search for Tractable Ways of Reasoning about Programs (revised). February 2016. BCS-SW Branch, Plymouth University.
@seminar{Jones-Plymouth-16, title = {Early Search for Tractable Ways of Reasoning about Programs (revised)}, author = {Jones, Cliff B.}, month = feb, year = {2016}, note = {BCS-SW Branch, Plymouth University} } - Cliff B. Jones. Reasoning about Interference (or lack thereof). March 2016. Technical University, Vienna.
@seminar{Jones-TUV-16, title = {Reasoning about Interference (or lack thereof)}, author = {Jones, Cliff B.}, month = mar, year = {2016}, note = {Technical University, Vienna} } - Cliff B. Jones. Expressiveness of notations for concurrency. October 2016. Villebrumier.
@seminar{Jones-WG23-16, title = {Expressiveness of notations for concurrency}, author = {Jones, Cliff B.}, month = oct, year = {2016}, note = {Villebrumier} } - Cliff B. Jones. Facing up to Interference in the Design of Concurrent Programs. June 2016. Delft.
@seminar{Jones-Delft-16, title = {Facing up to Interference in the Design of Concurrent Programs}, author = {Jones, Cliff B.}, month = jun, year = {2016}, note = {Delft} } - Cliff B. Jones. Tackling Separation via Abstraction. January 2015.
@seminar{Jones-York-15, title = {Tackling Separation via Abstraction}, author = {Jones, Cliff B.}, month = jan, year = {2015} } - Cliff B. Jones. Reasoning about possible values in concurrency. May 2015. Dagstuhl Seminar on Future Concurrency.
@seminar{Jones-Dagstuhl-15, title = {Reasoning about possible values in concurrency}, author = {Jones, Cliff B.}, month = may, year = {2015}, note = {Dagstuhl Seminar on Future Concurrency} } - Cliff B. Jones. Reasoning Abstractly about Concurrency. March 2015.
@seminar{Jones-ProCoS-15, title = {Reasoning Abstractly about Concurrency}, author = {Jones, Cliff B.}, month = mar, year = {2015} } - Cliff B. Jones. One equation, a puzzle and a possible solution. January 2015.
@seminar{Jones-TechChat-15, title = {One equation, a puzzle and a possible solution}, author = {Jones, Cliff B.}, month = jan, year = {2015} } - Cliff B. Jones. Historical notes on formal language descriptions. June 2014. Seminar at Swansea University.
@seminar{Jones-Swansea-14, title = {Historical notes on formal language descriptions}, author = {Jones, Cliff B.}, month = jun, year = {2014}, note = {Seminar at Swansea University} } - Cliff B. Jones. Separation as an Abstraction. December 2014. IFIP WG 1.9 meeting, Paris.
@seminar{Jones-WG1.9-14-12, title = {Separation as an Abstraction}, author = {Jones, Cliff B.}, month = dec, year = {2014}, note = {IFIP WG~1.9 meeting, Paris}, url = {http://www.lri.fr/~filliatr/meeting-1.9-vienna/cj.pdf} } - Cliff B. Jones. Concurrency: Issues, Abstraction and Expressiveness. October 2014. Seminar at McMaster University, Ontario.
@seminar{Jones-McMaster-14, title = {Concurrency: Issues, Abstraction and Expressiveness}, author = {Jones, Cliff B.}, month = oct, year = {2014}, note = {Seminar at McMaster University, Ontario} } - Cliff B. Jones. Historical notes on formal language descriptions. August 2014. Talk at PLanCompS Plenary, RHUL.
@seminar{Jones-RHUL-14, title = {Historical notes on formal language descriptions}, author = {Jones, Cliff B.}, month = aug, year = {2014}, note = {Talk at PLanCompS Plenary, RHUL} } - Cliff B. Jones. Refining Rely/Guarantee: a (more) algebraic presentation. July 2014. IFIP WG 1.9 meeting, Vienna.
@seminar{Jones-WG1.9-14, title = {Refining Rely/Guarantee: a (more) algebraic presentation}, author = {Jones, Cliff B.}, month = jul, year = {2014}, note = {IFIP WG~1.9 meeting, Vienna}, url = {http://www.lri.fr/~filliatr/meeting-1.9-vienna/cj.pdf} } - Cliff B. Jones. Feature interaction and cars. July 2014. Dagstuhl Seminar on Feature Interactions.
@seminar{Jones-Dagstuhl-14, title = {Feature interaction and cars}, author = {Jones, Cliff B.}, month = jul, year = {2014}, note = {Dagstuhl Seminar on Feature Interactions} } - Cliff B. Jones. Expressiveness in Notations for Concurrency. July 2014. Erasmus Mundus course at St Andrews University.
@seminar{Jones-StAndrews-14, title = {Expressiveness in Notations for Concurrency}, author = {Jones, Cliff B.}, month = jul, year = {2014}, note = {Erasmus Mundus course at St Andrews University} } - Cliff B. Jones. Concurrency, Rely/Guarantee and Separation Logic. June 2014. Talk at 12^th Overture Workshop.
@seminar{Jones-Overture-14, title = {Concurrency, Rely/Guarantee and Separation Logic}, author = {Jones, Cliff B.}, month = jun, year = {2014}, note = {Talk at $12^{th}$ Overture Workshop} } - Cliff B. Jones. R/G Thinking. May 2014. Joint meeting of ARC/EPSRC projects, Singapore.
@seminar{Jones-QC-14, title = {R/G Thinking}, author = {Jones, Cliff B.}, month = may, year = {2014}, note = {Joint meeting of ARC/EPSRC projects, Singapore} } - Cliff Jones. ICT and (Physical) Infrastructures. July 2013. ITRC Stakeholders’ Meeting, Wills Building, London.
@seminar{Jones-ITRC-Stakes-13, title = {ICT and (Physical) Infrastructures}, author = {Jones, Cliff}, month = jul, year = {2013}, note = {ITRC Stakeholders' Meeting, Wills Building, London} } - Cliff B. Jones. Ours is to Reason why. December 2013. IFIP WG 1.9, University of Central Florida.
@seminar{Jones-WG19-13, title = {Ours is to Reason why}, author = {Jones, Cliff B.}, month = dec, year = {2013}, note = {IFIP WG~1.9, University of Central Florida} } - Cliff B. Jones. Early Search for Tractable Ways of Reasoning about Programs. October 2013. U. Waterloo, Canada.
@seminar{Jones-Waterloo-13, title = {Early Search for Tractable Ways of Reasoning about Programs}, author = {Jones, Cliff B.}, month = oct, year = {2013}, note = {U. Waterloo, Canada} } - Cliff B. Jones. Expressiveness of Notations for Reasoning about Concurrency. September 2013. USTC, Suzhou, China.
@seminar{Jones-Suzhou-13, title = {Expressiveness of Notations for Reasoning about Concurrency}, author = {Jones, Cliff B.}, month = sep, year = {2013}, note = {USTC, Suzhou, China} } - Cliff Jones. Expressiveness of Notations for Reasoning about Concurrency. July 2013. Newcastle, Dependability Tech Chat.
@seminar{Jones-ICECCS-NU-13, title = {Expressiveness of Notations for Reasoning about Concurrency}, author = {Jones, Cliff}, month = jul, year = {2013}, note = {Newcastle, Dependability Tech Chat} } - Cliff B. Jones. A Transformational View of Rely/Guarantee Rules. July 2013. IFIP WG 2.3, Saint Petersburg.
@seminar{Jones13-WG23, title = {A Transformational View of Rely/Guarantee Rules}, author = {Jones, Cliff B.}, month = jul, year = {2013}, note = {IFIP WG~2.3, Saint Petersburg} } - Cliff B. Jones. Methods work: DEPLOY. June 2012. Brussels.
@seminar{JonesDEPLOYfinal12, title = {Methods work: DEPLOY}, author = {Jones, Cliff B.}, month = jun, year = {2012}, note = {Brussels} } - Cliff B. Jones. Heap Storage example (to explain WhyM). December 2012. AI4FM, Edinburgh.
@seminar{Jones12-12-AI4FM, title = {Heap Storage example (to explain WhyM)}, author = {Jones, Cliff B.}, month = dec, year = {2012}, note = {AI4FM, Edinburgh} } - Cliff B. Jones. Abstraction as a unifying link for formal approaches to concurrency. November 2012. Distinguished Lecture, University of Luxembourg.
@seminar{Jones12Lux, title = {Abstraction as a unifying link for formal approaches to concurrency}, author = {Jones, Cliff B.}, month = nov, year = {2012}, note = {Distinguished Lecture, University of Luxembourg} } - Cliff B. Jones. Turing in the History of Software. November 2012. Newcastle Turing event.
@seminar{Jones12-AMT, title = {Turing in the History of Software}, author = {Jones, Cliff B.}, month = nov, year = {2012}, note = {Newcastle Turing event} } - Cliff B. Jones. Abstraction as a unifying link for formal approaches to concurrency. October 2012. Distinguished Speaker, Queen’s University, Ontario.
@seminar{Jones12Queens, title = {Abstraction as a unifying link for formal approaches to concurrency}, author = {Jones, Cliff B.}, month = oct, year = {2012}, note = {Distinguished Speaker, Queen's University, Ontario} } - Cliff B. Jones. Synergy between Separation Logic and Rely/Guarantee thinking. July 2012. IFIP WG 2.3, Kirkland, USA.
@seminar{Jones12WG23, title = {Synergy between Separation Logic and Rely/Guarantee thinking}, author = {Jones, Cliff B.}, month = jul, year = {2012}, note = {IFIP WG~2.3, Kirkland, USA} } - Cliff B. Jones. Refelections on Dagstuhl event: AI meets Formal Software Development. July 2012. IFIP WG 1.9, Kirkland, USA.
@seminar{Jones12WG19, title = {Refelections on Dagstuhl event: AI meets Formal Software Development}, author = {Jones, Cliff B.}, month = jul, year = {2012}, note = {IFIP WG~1.9, Kirkland, USA} } - Cliff B. Jones. Towards convergence: separation as abstraction. July 2012. Concurrency Working Group, Oxford.
@seminar{Jones12-Ox, title = {Towards convergence: separation as abstraction}, author = {Jones, Cliff B.}, month = jul, year = {2012}, note = {Concurrency Working Group, Oxford} } - Cliff B. Jones. Languages and states (another view of Why). July 2012. Dagstuhl (12271): AI meets Formal Software Development.
@seminar{Jones12DagstuhlB, title = {Languages and states (another view of Why)}, author = {Jones, Cliff B.}, month = jul, year = {2012}, note = {Dagstuhl (12271): AI meets Formal Software Development} } - Cliff B. Jones. Formalism: pitfalls and overcoming them (with AI?). July 2012. Dagstuhl 12271 on "AI meets Formal Software Development".
@seminar{Jones12DagstuhlA, title = {Formalism: pitfalls and overcoming them (with AI?)}, author = {Jones, Cliff B.}, month = jul, year = {2012}, note = {Dagstuhl 12271 on "AI meets Formal Software Development"} } - Cliff Jones. One vision of TrAmS-2. April 2012. TrAmS-2 SRG.
@seminar{Jones-TrAmS-short-12, title = {One vision of {TrAmS-2}}, author = {Jones, Cliff}, month = apr, year = {2012}, note = {TrAmS-2 SRG} } - Cliff B. Jones. A short history of VDM. April 2012. Arhus.
@seminar{JonesArhus12, title = {A short history of {VDM}}, author = {Jones, Cliff B.}, month = apr, year = {2012}, note = {Arhus} } - Cliff B. Jones. Rely/Guarantee Thinking. January 2012. Universität Augsburg.
@seminar{Jones12Augsburg, title = {Rely/Guarantee Thinking}, author = {Jones, Cliff B.}, month = jan, year = {2012}, note = {Universit\"{a}t Augsburg} } - Cliff B. Jones and Viktor Vafeiadis. Rely-guarantee thinking and separation logic. June 2011. Tutorial at FM-2011.
@seminar{JonesVafeiadis11-FMtut, title = {Rely-guarantee thinking and separation logic}, author = {Jones, Cliff B. and Vafeiadis, Viktor}, month = jun, year = {2011}, note = {Tutorial at {FM-2011}}, url = {http://homepages.cs.ncl.ac.uk/cliff.jones/publications/FM2011-tutorial/} } - Cliff B. Jones. AI4FM: can a system learn how an expert tackles a class of proofs? December 2011. IFIP WG 1.9.
@seminar{Jones11WG215, title = {{AI4FM}: can a system learn how an expert tackles a class of proofs?}, author = {Jones, Cliff B.}, month = dec, year = {2011}, note = {IFIP WG~1.9} } - Cliff B. Jones. Is ‘To be or not to be’ valid? December 2011. Annual Peter Landin Seminar.
@seminar{Jones11PJL, title = {Is {`To be or not to be'} valid?}, author = {Jones, Cliff B.}, month = dec, year = {2011}, note = {Annual Peter Landin Seminar} } - Cliff B. Jones. Is ‘To be or not to be’ valid? November 2011. Dependability Tech Chat.
@seminar{Jones11PJLpre, title = {Is {`To be or not to be'} valid?}, author = {Jones, Cliff B.}, month = nov, year = {2011}, note = {Dependability Tech Chat} } - Cliff B. Jones. Possible values: an additional notation for assertions. September 2011. IFIP WG 2.3.
@seminar{Jones11WG23b, title = {Possible values: an additional notation for assertions}, author = {Jones, Cliff B.}, month = sep, year = {2011}, note = {IFIP WG~2.3} } - Cliff B. Jones. Inferring intent from proof attempts. September 2011. IFIP WG 2.3.
@seminar{Jones11WG23a, title = {Inferring intent from proof attempts}, author = {Jones, Cliff B.}, month = sep, year = {2011}, note = {IFIP WG~2.3} } - Cliff B. Jones. Concurrent, and sometimes interfering, research agendas. July 2011. Foundations and Practice of Systems and Software Engineering: in honour of Manfred Broy.
@seminar{Jones11Broy, title = {Concurrent, and sometimes interfering, research agendas}, author = {Jones, Cliff B.}, month = jul, year = {2011}, note = {Foundations and Practice of Systems and Software Engineering: in honour of Manfred Broy} } - Cliff B. Jones. Learning from DEPLOYment. March 2011. Dependability Tech Chat.
@seminar{Jones11DepTechChat, title = {Learning from {DEPLOYment}}, author = {Jones, Cliff B.}, month = mar, year = {2011}, note = {Dependability Tech Chat} } - Cliff B. Jones. Abstractions for reasoning about concurrency. February 2010. Oxford, Strachey Lecture.
@seminar{Jones10-Ox-Strachey, title = {Abstractions for reasoning about concurrency}, author = {Jones, Cliff B.}, month = feb, year = {2010}, note = {Oxford, Strachey Lecture} } - Cliff B. Jones. Tackling concurrency by reasoning explicitly about inference. August 2010. Tutorial at SICSA Summer School on Formal Reasoning.
@seminar{Jones10-SSfRR, title = {Tackling concurrency by reasoning explicitly about inference}, author = {Jones, Cliff B.}, month = aug, year = {2010}, note = {Tutorial at SICSA Summer School on Formal Reasoning} } - Cliff B. Jones, Gudmund Grov, and Alan Bundy. Ideas for a high-level proof strategy language. July 2010.
@seminar{AFM10-talk, title = {Ideas for a high-level proof strategy language}, author = {Jones, Cliff B. and Grov, Gudmund and Bundy, Alan}, month = jul, year = {2010} } - Cliff B. Jones. Abstractions for reasoning about concurrency. May 2010. de Montfort, Annual Distinguished Lecture.
@seminar{Jones10-deMontfort, title = {Abstractions for reasoning about concurrency}, author = {Jones, Cliff B.}, month = may, year = {2010}, note = {de Montfort, Annual Distinguished Lecture} } - C. B. Jones. Rely/guarantee even without races. March 2010. IFIP WG 2.3, Lachen, Switzerland.
@seminar{Jones10-WG23, title = {Rely/guarantee even without races}, author = {Jones, C. B.}, month = mar, year = {2010}, note = {IFIP WG~2.3, Lachen, Switzerland} } - Cliff B. Jones. AI4FM: Setting forth. January 2010. Edinburgh.
@seminar{Jones10Ed-AI4FM, title = {AI4FM: Setting forth}, author = {Jones, Cliff B.}, month = jan, year = {2010}, note = {Edinburgh} } - Cliff B. Jones. Abstraction is all we’ve got. February 2009. Deploy First International Workshop.
@seminar{Jones09Deploy, title = {Abstraction is all we've got}, author = {Jones, Cliff B.}, month = feb, year = {2009}, note = {Deploy First International Workshop} } - Cliff B. Jones. AI4FM. December 2009. Edinburgh.
@seminar{Jones09-Ed, title = {{AI4FM}}, author = {Jones, Cliff B.}, month = dec, year = {2009}, note = {Edinburgh} } - Cliff B. Jones. Rely/guarantee for race-free reasoning. November 2009. Northern Concurrency Workshop.
@seminar{Jones09NCW, title = {Rely/guarantee for race-free reasoning}, author = {Jones, Cliff B.}, month = nov, year = {2009}, note = {Northern Concurrency Workshop} } - Cliff B. Jones. The role of auxiliary variables in formal development. November 2009. York.
@seminar{Jones09York, title = {The role of auxiliary variables in formal development}, author = {Jones, Cliff B.}, month = nov, year = {2009}, note = {York} } - Cliff B. Jones. How to do research in Formal Methods. November 2009. FM-09.
@seminar{Jones09FM, title = {How to do research in Formal Methods}, author = {Jones, Cliff B.}, month = nov, year = {2009}, note = {FM-09} } - Cliff B. Jones. A rational development of an ACM implementation. January 2009. London Concurrency Meeting.
@seminar{Jones09concurrency, title = {A rational development of an {ACM} implementation}, author = {Jones, Cliff B.}, month = jan, year = {2009}, note = {London Concurrency Meeting} } - Cliff B. Jones. Abstraction is all we’ve got: “4-slot” with R/G thinking. September 2009. Schloß Dagstuhl.
@seminar{Jones09Dagstuhl, title = {Abstraction is all we've got: ``4-slot'' with {R/G} thinking}, author = {Jones, Cliff B.}, month = sep, year = {2009}, note = {Schlo\ss\ Dagstuhl}, url = {http://www.dagstuhl.de/Materials/Files/09/09381/09381.JonesClifford1.Slides.pdf} } - Cliff B. Jones. Lessons from running a large Interdisciplinary project: DIRC. June 2009. Trust Economics Workshop, London.
@seminar{Jones09trust, title = {Lessons from running a large Interdisciplinary project: {DIRC}}, author = {Jones, Cliff B.}, month = jun, year = {2009}, note = {Trust Economics Workshop, London} } - C. B. Jones. Why I am not the "current King of France". July 2008. Newcastle.
@seminar{Jones08notKoF, title = {Why {I} am not the "current {King of France}"}, author = {Jones, C. B.}, month = jul, year = {2008}, note = {Newcastle} } - C. B. Jones. Early Search for Tractable Ways of Reasoning about Programs. November 2008. Tokyo University.
@seminar{Jones08Tokyo2, title = {Early Search for Tractable Ways of Reasoning about Programs}, author = {Jones, C. B.}, month = nov, year = {2008}, note = {Tokyo University} } - C. B. Jones. Programming Languages Design. June 2008. Aarhus.
@seminar{Jones08Aarhus, title = {Programming Languages Design}, author = {Jones, C. B.}, month = jun, year = {2008}, note = {Aarhus} } - C. B. Jones. Observations on a structural proof of soundness for rely/guarantee rules. April 2007. Swansea University.
@seminar{Jones07c, title = {Observations on a structural proof of soundness for rely/guarantee rules}, author = {Jones, C. B.}, month = apr, year = {2007}, note = {Swansea University} } - C. B. Jones. Early Search for Tractable Ways of Reasoning about Programs. February 2007. Open University.
@seminar{Jones07b, title = {Early Search for Tractable Ways of Reasoning about Programs}, author = {Jones, C. B.}, month = feb, year = {2007}, note = {Open University} } - C. B. Jones. Formal development of a Fault-Tolerant POSIX File System. January 2007. ReSIST informal talk.
@seminar{Jones07a, title = {Formal development of a Fault-Tolerant POSIX File System}, author = {Jones, C. B.}, month = jan, year = {2007}, note = {ReSIST informal talk} } - C. B. Jones. Program Verification: KT! April 2007. KTN RAEng, London.
@seminar{Jones07g, title = {Program Verification: KT!}, author = {Jones, C. B.}, month = apr, year = {2007}, note = {KTN RAEng, London} } - C. B. Jones. Why I am getting interested in AI. June 2007. Reasonning and Modelling — informal talk.
@seminar{Jones07f, title = {Why I am getting interested in AI}, author = {Jones, C. B.}, month = jun, year = {2007}, note = {Reasonning and Modelling --- informal talk} } - C. B. Jones. How little of the Context can we get away with modelling? August 2006. Schloß Dagstuhl.
@seminar{Jones06i, title = {How little of the Context can we get away with modelling?}, author = {Jones, C. B.}, month = aug, year = {2006}, note = {Schlo\ss\ Dagstuhl} } - C. B. Jones. Specifying systems that connect to the physical world. April 2006. Combined FACS Group FM-E Seminar, London.
@seminar{Jones06f, title = {Specifying systems that connect to the physical world}, author = {Jones, C. B.}, month = apr, year = {2006}, note = {Combined FACS Group FM-E Seminar, London} } - C. B. Jones. Early Search for Tractable Ways of Reasoning about Programs. March 2006. City University.
@seminar{Jones06d, title = {Early Search for Tractable Ways of Reasoning about Programs}, author = {Jones, C. B.}, month = mar, year = {2006}, note = {City University} } - C. B. Jones. Proving the soundness of some rely/guarantee rules. March 2006. IFIP WG 2.3, Bruges.
@seminar{Jones06WG23, title = {Proving the soundness of some rely/guarantee rules}, author = {Jones, C. B.}, month = mar, year = {2006}, note = {IFIP WG~2.3, Bruges} } - C. B. Jones. Making the File System Fault-Tolerant. December 2006. GC-6 event in Dublin.
@seminar{Jones06n, title = {Making the File System Fault-Tolerant}, author = {Jones, C. B.}, month = dec, year = {2006}, note = {GC-6 event in Dublin} } - John Hughes and Cliff Jones. Proofs using SOS: support tooling. November 2006. Overture Workshop.
@seminar{Jones06m, title = {Proofs using SOS: support tooling}, author = {Hughes, John and Jones, Cliff}, month = nov, year = {2006}, note = {Overture Workshop} } - C. B. Jones. Rely/guarantee rules: a structural proof of soundness. October 2006. Cambridge Logic and Semantics Seminar.
@seminar{Jones06k, title = {Rely/guarantee rules: a structural proof of soundness}, author = {Jones, C. B.}, month = oct, year = {2006}, note = {Cambridge Logic and Semantics Seminar} } - Ken Pierce and Cliff Jones. What Can a Pi-calculus Description Tell Us About Electronic Purses. October 2006. York, GC-6 Meeting.
@seminar{Jones06l, title = {What Can a Pi-calculus Description Tell Us About Electronic Purses}, author = {Pierce, Ken and Jones, Cliff}, month = oct, year = {2006}, note = {York, GC-6 Meeting} } - C. B. Jones. Linking ways of sequencing operations (and dynamically creating objects). March 2005. Rodin, Helsinki.
@seminar{JonesRodin-05, title = {Linking ways of sequencing operations (and dynamically creating objects)}, author = {Jones, C. B.}, month = mar, year = {2005}, note = {Rodin, Helsinki} } - C. B. Jones. Interdisciplinary Research on Dependability. November 2005. TTCP, Oxford.
@seminar{Jones05z3, title = {Interdisciplinary Research on Dependability}, author = {Jones, C. B.}, month = nov, year = {2005}, note = {TTCP, Oxford} } - C. B. Jones. Specification before Satisfaction: the case for research into obtaining the right specification. June 2005. RMCS.
@seminar{Jones05o, title = {Specification before Satisfaction: the case for research into obtaining the right specification}, author = {Jones, C. B.}, month = jun, year = {2005}, note = {RMCS} } - C. B. Jones. Dynamically creating objects and sequencing operations. June 2005. IFIP WG 2.3, Niagara, Canada.
@seminar{Jones05n, title = {Dynamically creating objects and sequencing operations}, author = {Jones, C. B.}, month = jun, year = {2005}, note = {IFIP WG~2.3, Niagara, Canada} } - C. B. Jones. Specification before Satisfaction: the case for research into obtaining the right specification. May 2005. ETH, Zurich.
@seminar{Jones05l, title = {Specification before Satisfaction: the case for research into obtaining the right specification}, author = {Jones, C. B.}, month = may, year = {2005}, note = {ETH, Zurich} } - C. B. Jones. Understanding the wider system before choosing the program specification. January 2005. King’s College, London.
@seminar{Jones05f, title = {Understanding the wider system before choosing the program specification}, author = {Jones, C. B.}, month = jan, year = {2005}, note = {King's College, London} } - C. B. Jones. Towards a development method: Splitting Atoms Safely. September 2004. IFIP WG 2.3, Prato, Italy.
@seminar{Jones04j, title = {Towards a development method: Splitting Atoms Safely}, author = {Jones, C. B.}, month = sep, year = {2004}, note = {IFIP WG~2.3, Prato, Italy} } - C. B. Jones. Language Semantics: the Vienna part of the story. December 2004. Science Museum, London.
@seminar{Jones04e, title = {Language Semantics: the {V}ienna part of the story}, author = {Jones, C. B.}, month = dec, year = {2004}, note = {Science Museum, London} } - C. B. Jones. Interdisciplinary Collaboration. November 2004. IEE, Legal Seminar.
@seminar{Jones04f, title = {Interdisciplinary Collaboration}, author = {Jones, C. B.}, month = nov, year = {2004}, note = {IEE, Legal Seminar} } - C. B. Jones. Beyond the Verifying Compiler. September 2004. IFIP WG 2.3, Prato, Italy.
@seminar{Jones04i, title = {Beyond the Verifying Compiler}, author = {Jones, C. B.}, month = sep, year = {2004}, note = {IFIP WG~2.3, Prato, Italy} } - C. B. Jones. Rely/guarantee-conditions and their relevance to error-tolerance. January 2003. University of Kent.
@seminar{Jones03c, title = {Rely/guarantee-conditions and their relevance to error-tolerance}, author = {Jones, C. B.}, month = jan, year = {2003}, note = {University of Kent} } - C. B. Jones. Some Thoughts towards Architecture for Autonomic Computing. October 2003. IBM at IEE, London.
@seminar{Jones03q, title = {Some Thoughts towards Architecture for Autonomic Computing}, author = {Jones, C. B.}, month = oct, year = {2003}, note = {IBM at IEE, London} } - C. B. Jones. Early Search for Tractable Ways of Reasoning about Programs. October 2003. Technical University, Vienna.
@seminar{Jones03p, title = {Early Search for Tractable Ways of Reasoning about Programs}, author = {Jones, C. B.}, month = oct, year = {2003}, note = {Technical University, Vienna} } - C. B. Jones. Formal Methods Light. May 2003. Software Reliability and Metrics Club, London.
@seminar{Jones03f, title = {Formal Methods Light}, author = {Jones, C. B.}, month = may, year = {2003}, note = {Software Reliability and Metrics Club, London} } - C. B. Jones. Using rely/guarantee-conditions to derive specifications of control systems. January 2003. Birmingham University.
@seminar{Jones03b, title = {Using rely/guarantee-conditions to derive specifications of control systems}, author = {Jones, C. B.}, month = jan, year = {2003}, note = {Birmingham University} } - C. B. Jones. Rely/guarantee-conditions and their relevance to error-tolerance. January 2003. DARPS Seminar, Manchester Airport.
@seminar{Jones03d, title = {Rely/guarantee-conditions and their relevance to error-tolerance}, author = {Jones, C. B.}, month = jan, year = {2003}, note = {DARPS Seminar, Manchester Airport} } - C. B. Jones. Achieving Dependability requires an interdisciplinary approach. October 2002. Philips Research, Eindhoven.
@seminar{Jones02g, title = {Achieving Dependability requires an interdisciplinary approach}, author = {Jones, C. B.}, month = oct, year = {2002}, note = {Philips Research, Eindhoven} } - C. B. Jones. What can we do about human components? November 2002. Schloß Dagstuhl.
@seminar{Jones02f2, title = {What can we do about human components?}, author = {Jones, C. B.}, month = nov, year = {2002}, note = {Schlo\ss\ Dagstuhl} } - C. B. Jones. Rely/guarantee-conditions and their relevance to error-tolerance. November 2002. Schloß Dagstuhl.
@seminar{Jones02f, title = {Rely/guarantee-conditions and their relevance to error-tolerance}, author = {Jones, C. B.}, month = nov, year = {2002}, note = {Schlo\ss\ Dagstuhl} } - C. B. Jones. SOS. July 2002. Dependability Research Group, Newcastle.
@seminar{Jones02h, title = {{SOS}}, author = {Jones, C. B.}, month = jul, year = {2002}, note = {Dependability Research Group, Newcastle} } - C. B. Jones. Formalising some dependability notions. May 2002. Combined MATISSE/DSoS meeting.
@seminar{Jones02i, title = {Formalising some dependability notions}, author = {Jones, C. B.}, month = may, year = {2002}, note = {Combined MATISSE/DSoS meeting} } - C. B. Jones. The Sluice Gate. May 2002. Combined MATISSE/DSoS meeting.
@seminar{Jones02j, title = {The Sluice Gate}, author = {Jones, C. B.}, month = may, year = {2002}, note = {Combined MATISSE/DSoS meeting} } - C. B. Jones. Dependability. April 2002. Siemens Research, Munich.
@seminar{Jones02k, title = {Dependability}, author = {Jones, C. B.}, month = apr, year = {2002}, note = {Siemens Research, Munich} } - C. B. Jones. Attempting to reason about failures. November 2001. Cambridge Computer Laboratory.
@seminar{Jones01e, title = {Attempting to reason about failures}, author = {Jones, C. B.}, month = nov, year = {2001}, note = {Cambridge Computer Laboratory} } - C. B. Jones. Faults as Interference. January 2001. VDM Structuring Meeting.
@seminar{Jones01b, title = {Faults as Interference}, author = {Jones, C. B.}, month = jan, year = {2001}, note = {VDM Structuring Meeting} } - C. B. Jones. Faults as Interference. January 2001. St Andrews.
@seminar{Jones01a, title = {Faults as Interference}, author = {Jones, C. B.}, month = jan, year = {2001}, note = {St Andrews} } - C. B. Jones. Dependability of Computer-Based Systems. October 2000. SRG, Newcastle.
@seminar{Jones00m, title = {Dependability of Computer-Based Systems}, author = {Jones, C. B.}, month = oct, year = {2000}, note = {SRG, Newcastle} } - C. B. Jones. Dependability of Computer-Based Systems. October 2000. DCSC Workshop, Harrowgate.
@seminar{Jones00l, title = {Dependability of Computer-Based Systems}, author = {Jones, C. B.}, month = oct, year = {2000}, note = {DCSC Workshop, Harrowgate} } - C. B. Jones. Dependability of Computer-Based Systems. September 2000. Sowerby Health Informatics in Newcastle.
@seminar{Jones00k, title = {Dependability of Computer-Based Systems}, author = {Jones, C. B.}, month = sep, year = {2000}, note = {Sowerby Health Informatics in Newcastle} } - C. B. Jones. Faults as interference. October 2000. LAAS, Toulouse.
@seminar{Jones00LAAS, title = {Faults as interference}, author = {Jones, C. B.}, month = oct, year = {2000}, note = {LAAS, Toulouse} } - C. B. Jones. Faults as interference. September 2000. VDM Workshop, York.
@seminar{Jones00j, title = {Faults as interference}, author = {Jones, C. B.}, month = sep, year = {2000}, note = {VDM Workshop, York} } - C. B. Jones. Dependability of Computer-Based Systems. June 2000. Turku Centre for Computer Science, Finland.
@seminar{Jones00h, title = {Dependability of Computer-Based Systems}, author = {Jones, C. B.}, month = jun, year = {2000}, note = {Turku Centre for Computer Science, Finland} } - C. B. Jones. Dependability of Computer-Based Systems. May 2000. QMW.
@seminar{Jones00g, title = {Dependability of Computer-Based Systems}, author = {Jones, C. B.}, month = may, year = {2000}, note = {QMW} } - C. B. Jones. Dependability of Computer-Based Systems. May 2000. Babbage seminar, Cambridge University.
@seminar{Jones00f, title = {Dependability of Computer-Based Systems}, author = {Jones, C. B.}, month = may, year = {2000}, note = {Babbage seminar, Cambridge University} } - C. B. Jones. Faults as Interference. April 2000. IFIP WG 2.3.
@seminar{Jones00e, title = {Faults as Interference}, author = {Jones, C. B.}, month = apr, year = {2000}, note = {IFIP WG~2.3} } - C. B. Jones. The development of concurrent software: some prejudices. March 2000. Edinburgh University.
@seminar{Jones00c, title = {The development of concurrent software: some prejudices}, author = {Jones, C. B.}, month = mar, year = {2000}, note = {Edinburgh University} } - C. B. Jones. Some mistakes I’ve made; what I’ve learned from them. March 2000. Motorola, Basingstoke.
@seminar{Jones00d, title = {Some mistakes I've made; what I've learned from them}, author = {Jones, C. B.}, month = mar, year = {2000}, note = {Motorola, Basingstoke} } - C. B. Jones. The Sluice Gate. October 2000. IFIP WG 2.3, Santa Cruz.
@seminar{Jones00o, title = {The Sluice Gate}, author = {Jones, C. B.}, month = oct, year = {2000}, note = {IFIP WG~2.3, Santa Cruz} } - C. B. Jones. Dependability of Computer-Based Systems. October 2000. LAAS, Toulouse.
@seminar{Jones00n, title = {Dependability of Computer-Based Systems}, author = {Jones, C. B.}, month = oct, year = {2000}, note = {LAAS, Toulouse} } - C. B. Jones. The Search for Tractable Ways of Reasoning about Programs. November 1999. SRG, University of Newcastle.
@seminar{Jones99f, title = {The Search for Tractable Ways of Reasoning about Programs}, author = {Jones, C. B.}, month = nov, year = {1999}, note = {SRG, University of Newcastle} } - C. B. Jones. Compositionality and Concurrency. November 1999. CMU.
@seminar{Jones99e, title = {Compositionality and Concurrency}, author = {Jones, C. B.}, month = nov, year = {1999}, note = {CMU} } - C. B. Jones. A Concurrent OOL: its SOS and some proofs. April 1996. Fourth Japan/UK Workshop on Concurrency.
@seminar{Jones96d, title = {A Concurrent {OOL}: its {SOS} and some proofs}, author = {Jones, C. B.}, month = apr, year = {1996}, note = {Fourth Japan/UK Workshop on Concurrency} } - C. B. Jones. Fixing the semantics of some concurrent object-oriented concepts. July 1996. Schloß Dagstuhl, Germany.
@seminar{Jones96i, title = {Fixing the semantics of some concurrent object-oriented concepts}, author = {Jones, C. B.}, month = jul, year = {1996}, note = {Schlo\ss\ Dagstuhl, Germany} } - C. B. Jones. Some practical problems and their influence on semantics. March 1996. Computer Laboratory, Cambridge.
@seminar{Jones96b, title = {Some practical problems and their influence on semantics}, author = {Jones, C. B.}, month = mar, year = {1996}, note = {Computer Laboratory, Cambridge} } - C. B. Jones. Lessons from the development of a concurrent program: formality as a guide to intuition. May 1995. Distinguished Lecture, Glasgow.
@seminar{Jones95f, title = {Lessons from the development of a concurrent program: formality as a guide to intuition}, author = {Jones, C. B.}, month = may, year = {1995}, note = {Distinguished Lecture, Glasgow} } - C. B. Jones. Non-Interference Properties of a Concurrent Object-Based Language: Proofs based on an Operational Semantics. November 1995. Newton Institute, Cambridge.
@seminar{Jones95m, title = {Non-Interference Properties of a Concurrent Object-Based Language: Proofs based on an Operational Semantics}, author = {Jones, C. B.}, month = nov, year = {1995}, note = {Newton Institute, Cambridge} } - C. B. Jones. Partial Functions and Logic. July 1995. IFIP WG 2.3, Cornell Universiuty, Ithaca, NY.
@seminar{Jones95l, title = {Partial Functions and Logic}, author = {Jones, C. B.}, month = jul, year = {1995}, note = {IFIP WG~2.3, Cornell Universiuty, Ithaca, NY} } - C. B. Jones. Formal Methods. May 1995. Japan Railways.
@seminar{Jones95i, title = {Formal Methods}, author = {Jones, C. B.}, month = may, year = {1995}, note = {Japan Railways} } - C. B. Jones. Fixing the semantics of some concurrent object-oriented concepts. April 1995. Schloß Dagstuhl, Germany.
@seminar{Jones95d, title = {Fixing the semantics of some concurrent object-oriented concepts}, author = {Jones, C. B.}, month = apr, year = {1995}, note = {Schlo\ss\ Dagstuhl, Germany} } - C. B. Jones. Lessons from the development of a concurrent program: formality as a guide to intuition. May 1995. RIMS, Kyoto University.
@seminar{Jones95h, title = {Lessons from the development of a concurrent program: formality as a guide to intuition}, author = {Jones, C. B.}, month = may, year = {1995}, note = {RIMS, Kyoto University} } - C. B. Jones. Lessons from the development of a concurrent program: formality as a guide to intuition. May 1995. Tokyo University.
@seminar{Jones95g, title = {Lessons from the development of a concurrent program: formality as a guide to intuition}, author = {Jones, C. B.}, month = may, year = {1995}, note = {Tokyo University} } - C. B. Jones. Granularity and the Development of Concurrent Programs. March 1995. Edinburgh University.
@seminar{Jones95a, title = {Granularity and the Development of Concurrent Programs}, author = {Jones, C. B.}, month = mar, year = {1995}, note = {Edinburgh University} } - C. B. Jones. Granularity in Concurrent Programs. May 1994. University of Tokyo.
@seminar{Jones94g, title = {Granularity in Concurrent Programs}, author = {Jones, C. B.}, month = may, year = {1994}, note = {University of Tokyo} } - C. B. Jones. A Concurrent Object-Based Design Notation and its Semantics. January 1994. Swansea University.
@seminar{Jones94b, title = {A Concurrent Object-Based Design Notation and its Semantics}, author = {Jones, C. B.}, month = jan, year = {1994}, note = {Swansea University} } - C. B. Jones. A Concurrent Object-Based Design Notation and its Semantics. May 1994. Tohuku University, Sendai.
@seminar{Jones94c, title = {A Concurrent Object-Based Design Notation and its Semantics}, author = {Jones, C. B.}, month = may, year = {1994}, note = {Tohuku University, Sendai} } - C. B. Jones. A Compositional Design Method for Object-Based Concurrent Programs. May 1994. Toshiba.
@seminar{Jones94d, title = {A Compositional Design Method for Object-Based Concurrent Programs}, author = {Jones, C. B.}, month = may, year = {1994}, note = {Toshiba} } - C. B. Jones. A Concurrent Object-Based Design Notation and its Semantics. May 1994. Ritsumeikan University, Kyoto.
@seminar{Jones94e, title = {A Concurrent Object-Based Design Notation and its Semantics}, author = {Jones, C. B.}, month = may, year = {1994}, note = {Ritsumeikan University, Kyoto} } - C. B. Jones. A Compositional Design Method for Object-Based Concurrent Programs. May 1994. University of Tokyo.
@seminar{Jones94f, title = {A Compositional Design Method for Object-Based Concurrent Programs}, author = {Jones, C. B.}, month = may, year = {1994}, note = {University of Tokyo} } - C. B. Jones. Granularity in Concurrent Programs. May 1994. Manchester Metropolitan University.
@seminar{Jones94h, title = {Granularity in Concurrent Programs}, author = {Jones, C. B.}, month = may, year = {1994}, note = {Manchester Metropolitan University} } - C. B. Jones. \Pi o βλ to the \pi-calculus. June 1994. IFIP WG 2.3, Ispra, Italy.
@seminar{Jones94i, title = {{$\pi o \beta \lambda$} to the {$\pi$}-calculus}, author = {Jones, C. B.}, month = jun, year = {1994}, note = {IFIP WG~2.3, Ispra, Italy} } - J. R. Gurd and C. B. Jones. The Global yet Personal Information System. October 1994. Manchester University.
@seminar{Jones94j, title = {The Global yet Personal Information System}, author = {Gurd, J. R. and Jones, C. B.}, month = oct, year = {1994}, note = {Manchester University} } - C. B. Jones. Compositional Development for COOLs. November 1994. EROS Workshop, London.
@seminar{Jones94k, title = {Compositional Development for COOLs}, author = {Jones, C. B.}, month = nov, year = {1994}, note = {EROS Workshop, London} } - C. B. Jones. A Compositional Design Method for Object-Based Concurrent Programs. November 1994. Oxford University.
@seminar{Jones94l, title = {A Compositional Design Method for Object-Based Concurrent Programs}, author = {Jones, C. B.}, month = nov, year = {1994}, note = {Oxford University} } - C. B. Jones. Formulating Rely/Guarantee-conditions. December 1994. FACS Workshop, Imperial College.
@seminar{Jones94m, title = {Formulating Rely/Guarantee-conditions}, author = {Jones, C. B.}, month = dec, year = {1994}, note = {FACS Workshop, Imperial College} } - C. B. Jones. The Search for Tractable Methods of Reasoning about Programs. February 1993. Seminar at GMD (IPSI) Darmstadt.
@seminar{Jones93b, title = {The Search for Tractable Methods of Reasoning about Programs}, author = {Jones, C. B.}, month = feb, year = {1993}, note = {Seminar at GMD (IPSI) Darmstadt} } - C. B. Jones. A Concurrent Object-Based Design Notation and its Semantics. December 1993. BCS-FACS Workshop on Formal Aspects of Object-Oriented Systems.
@seminar{Jones93y, title = {A Concurrent Object-Based Design Notation and its Semantics}, author = {Jones, C. B.}, month = dec, year = {1993}, note = {BCS-FACS Workshop on Formal Aspects of Object-Oriented Systems} } - C. B. Jones. An Object-Based Design Approach to Concurrency. November 1993. Essex University.
@seminar{Jones93x, title = {An Object-Based Design Approach to Concurrency}, author = {Jones, C. B.}, month = nov, year = {1993}, note = {Essex University} } - C. B. Jones. Process Algebra Foundations for an Object-Based Design Notation. September 1993. Erlangen Workshop: ‘Fränkishe OOrientierungstage.’
@seminar{Jones93v, title = {Process Algebra Foundations for an Object-Based Design Notation}, author = {Jones, C. B.}, month = sep, year = {1993}, note = {Erlangen Workshop: {`Fr\"{a}nkishe OOrientierungstage'}} } - C. B. Jones. A Development Method for Parallel Programs. September 1993. SERC, Senior Fellows Presentation.
@seminar{Jones93u, title = {A Development Method for Parallel Programs}, author = {Jones, C. B.}, month = sep, year = {1993}, note = {SERC, Senior Fellows Presentation} } - C. B. Jones. An Object-Based Approach to the Design of Concurrent Programs. June 1993. BNR, Ottawa.
@seminar{Jones93r, title = {An Object-Based Approach to the Design of Concurrent Programs}, author = {Jones, C. B.}, month = jun, year = {1993}, note = {BNR, Ottawa} } - C. B. Jones. Formal Methods and their Dissemination. June 1993. IPA, Tokyo.
@seminar{Jones93q, title = {Formal Methods and their Dissemination}, author = {Jones, C. B.}, month = jun, year = {1993}, note = {IPA, Tokyo} } - C. B. Jones. Using Object-Based Concepts to Develop Concurrent Programs. June 1993. RIMS, Kyoto University.
@seminar{Jones93p, title = {Using Object-Based Concepts to Develop Concurrent Programs}, author = {Jones, C. B.}, month = jun, year = {1993}, note = {RIMS, Kyoto University} } - C. B. Jones. Using Object-Based Concepts to Develop Concurrent Programs. June 1993. Keio University.
@seminar{Jones93o, title = {Using Object-Based Concepts to Develop Concurrent Programs}, author = {Jones, C. B.}, month = jun, year = {1993}, note = {Keio University} } - C. B. Jones. Object-Oriented Languages meet the \pi-Calculus. June 1993. University of Tokyo.
@seminar{Jones93n, title = {Object-Oriented Languages meet the $\pi$-Calculus}, author = {Jones, C. B.}, month = jun, year = {1993}, note = {University of Tokyo} } - C. B. Jones. The \pi-Calculus Meets Object-Oriented Languages. April 1993. Seminar at Manchester University.
@seminar{Jones93m, title = {The $\pi$-Calculus Meets Object-Oriented Languages}, author = {Jones, C. B.}, month = apr, year = {1993}, note = {Seminar at Manchester University} } - C. B. Jones. The Search for Tractable Methods of Reasoning about Programs. April 1993. Seminar at University of Zurich.
@seminar{Jones93l, title = {The Search for Tractable Methods of Reasoning about Programs}, author = {Jones, C. B.}, month = apr, year = {1993}, note = {Seminar at University of Zurich} } - C. B. Jones. Using Object-Based Concepts to Develop Concurrent Programs. April 1993. Seminar at University of Geneva.
@seminar{Jones93k, title = {Using Object-Based Concepts to Develop Concurrent Programs}, author = {Jones, C. B.}, month = apr, year = {1993}, note = {Seminar at University of Geneva} } - C. B. Jones. Using Object-Based Concepts to Develop Concurrent Programs. April 1993. Seminar to AFCET, Paris.
@seminar{Jones93j, title = {Using Object-Based Concepts to Develop Concurrent Programs}, author = {Jones, C. B.}, month = apr, year = {1993}, note = {Seminar to AFCET, Paris} } - C. B. Jones. How I Learned to Stop Worrying about the Semantics of Object-Oriented Languages (and Love the Pi-Calculus). March 1993. Seminar at Concurrency Club, Edinburgh University.
@seminar{Jones93e, title = {How {I} Learned to Stop Worrying about the Semantics of Object-Oriented Languages (and Love the Pi-Calculus)}, author = {Jones, C. B.}, month = mar, year = {1993}, note = {Seminar at Concurrency Club, Edinburgh University} } - C. B. Jones. Using Object-Based Concepts to Develop Concurrent Programs. March 1993. Seminar at Newcastle University.
@seminar{Jones93d, title = {Using Object-Based Concepts to Develop Concurrent Programs}, author = {Jones, C. B.}, month = mar, year = {1993}, note = {Seminar at Newcastle University} } - C. B. Jones. The Search for Tractable Methods of Reasoning about Programs. March 1993. Seminar at Newcastle University.
@seminar{Jones93c, title = {The Search for Tractable Methods of Reasoning about Programs}, author = {Jones, C. B.}, month = mar, year = {1993}, note = {Seminar at Newcastle University} } - C. B. Jones. Constraining Interference in a Design Method for Object-Based Concurrency. February 1993. Seminar at Warwick University.
@seminar{Jones93a, title = {Constraining Interference in a Design Method for Object-Based Concurrency}, author = {Jones, C. B.}, month = feb, year = {1993}, note = {Seminar at Warwick University} } - C. B. Jones. The Search for Tractable Methods of Reasoning about Programs. February 1992. Seminar at Oxford University.
@seminar{Jones92b, title = {The Search for Tractable Methods of Reasoning about Programs}, author = {Jones, C. B.}, month = feb, year = {1992}, note = {Seminar at Oxford University} } - C. B. Jones. Towards a Development Method for Object-Based Concurrency. December 1992. Talk at ‘Proof Club’, NPL.
@seminar{Jones92m, title = {Towards a Development Method for Object-Based Concurrency}, author = {Jones, C. B.}, month = dec, year = {1992}, note = {Talk at `Proof Club', NPL} } - C. B. Jones. Using Object-Based Concepts to Develop Concurrent Programs. November 1992. Talk at Darmstadt University.
@seminar{Jones92l, title = {Using Object-Based Concepts to Develop Concurrent Programs}, author = {Jones, C. B.}, month = nov, year = {1992}, note = {Talk at Darmstadt University} } - C. B. Jones. Choosing a semantic style for a concurrent object-based design language. November 1992. Talk at Oslo University.
@seminar{Jones92j, title = {Choosing a semantic style for a concurrent object-based design language}, author = {Jones, C. B.}, month = nov, year = {1992}, note = {Talk at Oslo University} } - C. B. Jones. A Semantics for a Concurrent Object-Based language. October 1992. Talk at Afrodite Workshop, Zwolle.
@seminar{Jones92h, title = {A Semantics for a Concurrent Object-Based language}, author = {Jones, C. B.}, month = oct, year = {1992}, note = {Talk at Afrodite Workshop, Zwolle} } - C. B. Jones. A type of theorem I can’t prove. July 1992. Talk at IFIP WG 2.3, New Forest, England.
@seminar{Jones92g, title = {A type of theorem {I} can't prove}, author = {Jones, C. B.}, month = jul, year = {1992}, note = {Talk at IFIP WG~2.3, New Forest, England} } - C. B. Jones. Using Object-based Concepts to Control Concurrency. May 1992. Seminar at York University.
@seminar{Jones92f, title = {Using Object-based Concepts to Control Concurrency}, author = {Jones, C. B.}, month = may, year = {1992}, note = {Seminar at York University} } - C. B. Jones. \Pi oβλ. April 1992. Seminar at Technische Universität Munich.
@seminar{Jones92e, title = {{$\pi o\beta\lambda$}}, author = {Jones, C. B.}, month = apr, year = {1992}, note = {Seminar at Technische Universität Munich} } - C. B. Jones. The Search for Tractable Methods of Reasoning about Programs. February 1992. Seminar at Edinburgh University.
@seminar{Jones92a, title = {The Search for Tractable Methods of Reasoning about Programs}, author = {Jones, C. B.}, month = feb, year = {1992}, note = {Seminar at Edinburgh University} } - C. B. Jones. Program verification. June 1991. TC2 seminars, Bond University, Australia.
@seminar{Jones91p, title = {Program verification}, author = {Jones, C. B.}, month = jun, year = {1991}, note = {TC2 seminars, Bond University, Australia} } - C. B. Jones. Formal Methods: What’s on offer? Why isn’t it used more? November 1991. Talk at IBM Hursley.
@seminar{Jones91x, title = {Formal Methods: What's on offer? Why isn't it used more?}, author = {Jones, C. B.}, month = nov, year = {1991}, note = {Talk at IBM Hursley} } - C. B. Jones. Formal Methods. August 1991. Seminar at Asian Institute of Technology, Bangkok.
@seminar{Jones91w, title = {Formal Methods}, author = {Jones, C. B.}, month = aug, year = {1991}, note = {Seminar at Asian Institute of Technology, Bangkok} } - C. B. Jones. Mural. August 1991. Seminar at Griffith University, Australia.
@seminar{Jones91v, title = {Mural}, author = {Jones, C. B.}, month = aug, year = {1991}, note = {Seminar at Griffith University, Australia} } - C. B. Jones. Handling Partial Functions. July 1991. Seminar at University of Queensland.
@seminar{Jones91t, title = {Handling Partial Functions}, author = {Jones, C. B.}, month = jul, year = {1991}, note = {Seminar at University of Queensland} } - C. B. Jones. Mural. July 1991. Seminar at University of Melbourne.
@seminar{Jones91s, title = {Mural}, author = {Jones, C. B.}, month = jul, year = {1991}, note = {Seminar at University of Melbourne} } - C. B. Jones. Formal Methods. July 1991. Seminar at CITRI, Melbourne.
@seminar{Jones91r, title = {Formal Methods}, author = {Jones, C. B.}, month = jul, year = {1991}, note = {Seminar at {CITRI}, Melbourne} } - C. B. Jones. Mural. June 1991. TC2 seminars, Bond University, Australia.
@seminar{Jones91q, title = {Mural}, author = {Jones, C. B.}, month = jun, year = {1991}, note = {TC2 seminars, Bond University, Australia} } - C. B. Jones. Interference Resumed. April 1991. Seminar at Instituto Superior Técnico, Lisbon.
@seminar{Jones91k, title = {Interference Resumed}, author = {Jones, C. B.}, month = apr, year = {1991}, note = {Seminar at Instituto Superior {T\'{e}cnico}, Lisbon} } - C. B. Jones. Interference Resumed. March 1991. Seminar at British Colloquium on Theoretical Computer Science, Liverpool.
@seminar{Jones91i, title = {Interference Resumed}, author = {Jones, C. B.}, month = mar, year = {1991}, note = {Seminar at British Colloquium on Theoretical Computer Science, Liverpool} } - C. B. Jones. Interference Resumed: the quest continues. March 1991. Seminar at Schloß Dagstuhl, Germany.
@seminar{Jones91h, title = {Interference Resumed: the quest continues}, author = {Jones, C. B.}, month = mar, year = {1991}, note = {Seminar at Schlo\ss\ Dagstuhl, Germany} } - C. B. Jones. Interference Resumed: beyond rely/guarantee/wait. February 1991. Seminar at Programming Research Group, Oxford University.
@seminar{Jones91d, title = {Interference Resumed: beyond rely/guarantee/wait}, author = {Jones, C. B.}, month = feb, year = {1991}, note = {Seminar at Programming Research Group, Oxford University} } - C. B. Jones. Interference Revisited. February 1991. Seminar at Queen’s University of Belfast.
@seminar{Jones91c, title = {Interference Revisited}, author = {Jones, C. B.}, month = feb, year = {1991}, note = {Seminar at Queen's University of Belfast} } - C. B. Jones. Interference Revisited. January 1991. Talk at Formal Methods Group, Manchester University.
@seminar{Jones91a, title = {Interference Revisited}, author = {Jones, C. B.}, month = jan, year = {1991}, note = {Talk at Formal Methods Group, Manchester University} } - C. B. Jones. Interference Revisited. December 1990. Talk at IFIP WG 2.3, Santa Catalina, California.
@seminar{Jones90o, title = {Interference Revisited}, author = {Jones, C. B.}, month = dec, year = {1990}, note = {Talk at IFIP WG~2.3, Santa Catalina, California} } - C. B. Jones. A biased survey of logics which handle partial functions. May 1990. Seminar at SRI: Menlo Park, California.
@seminar{Jones90g, title = {A biased survey of logics which handle partial functions}, author = {Jones, C. B.}, month = may, year = {1990}, note = {Seminar at SRI: Menlo Park, California} } - C. B. Jones. Formal Methods: Thoughts and Problems. May 1990. Seminar at MCC: Austin, Texas.
@seminar{Jones90f, title = {Formal Methods: Thoughts and Problems}, author = {Jones, C. B.}, month = may, year = {1990}, note = {Seminar at MCC: Austin, Texas} } - C. B. Jones. Computing Science. March 1990. Talk at Balliol Computer Society.
@seminar{Jones90e, title = {Computing Science}, author = {Jones, C. B.}, month = mar, year = {1990}, note = {Talk at Balliol Computer Society} } - C. B. Jones. What tools are required to use formal methods. September 1990. Seminar at Dr. Neher Labs., PTT, The Netherlands.
@seminar{Jones90l, title = {What tools are required to use formal methods}, author = {Jones, C. B.}, month = sep, year = {1990}, note = {Seminar at Dr. Neher Labs., PTT, The Netherlands} } - C. B. Jones. Beyond mural. July 1990. Talk at Manchester: Frameworks for Formal Systems.
@seminar{Jones90j, title = {Beyond mural}, author = {Jones, C. B.}, month = jul, year = {1990}, note = {Talk at Manchester: Frameworks for Formal Systems} } - C. B. Jones. Formal Reasoning Needs of VDM. May 1989. Seminar at LFCS, Edinburgh University.
@seminar{Jones89b, title = {Formal Reasoning Needs of {VDM}}, author = {Jones, C. B.}, month = may, year = {1989}, note = {Seminar at LFCS, Edinburgh University} } - C. B. Jones. Modularizing the Formal Description of a Database System. September 1989. Seminar at METEOR Conference, Netherlands.
@seminar{Jones89d, title = {Modularizing the Formal Description of a Database System}, author = {Jones, C. B.}, month = sep, year = {1989}, note = {Seminar at METEOR Conference, Netherlands} } - C. B. Jones. What is a Specification? December 1989. Seminar at BCS/FACS Workshop, London.
@seminar{Jones89f, title = {What is a Specification?}, author = {Jones, C. B.}, month = dec, year = {1989}, note = {Seminar at BCS/FACS Workshop, London} } - C. B. Jones. Recent Developments in VDM. March 1988. Seminar at South Bank Polytechnic.
@seminar{Jones88c, title = {Recent Developments in {VDM}}, author = {Jones, C. B.}, month = mar, year = {1988}, note = {Seminar at South Bank Polytechnic} } - C. B. Jones. A Novel User Interface to a Theorem Proving Assistant. February 1988. (with R. Moore), Joint seminar at Oxford University.
@seminar{Jones88a, title = {A Novel User Interface to a Theorem Proving Assistant}, author = {Jones, C. B.}, month = feb, year = {1988}, note = {(with R. Moore), Joint seminar at Oxford University} } - C. B. Jones. Muffin: A User Interface Design Experiment for a Theorem Proving Assistant. December 1988. Seminar at Southampton University.
@seminar{Jones88h, title = {Muffin: A User Interface Design Experiment for a Theorem Proving Assistant}, author = {Jones, C. B.}, month = dec, year = {1988}, note = {Seminar at Southampton University} } - C. B. Jones. Series of talks on Formal Methods. July 1988. For University of Helsinki, Forssa, Finland.
@seminar{Jones88e, title = {Series of talks on Formal Methods}, author = {Jones, C. B.}, month = jul, year = {1988}, note = {For University of Helsinki, Forssa, Finland} } - C. B. Jones. Recent Developments in VDM. March 1988. Seminar at University of Bath.
@seminar{Jones88d, title = {Recent Developments in {VDM}}, author = {Jones, C. B.}, month = mar, year = {1988}, note = {Seminar at University of Bath} } - C. B. Jones. Specifications Should Not be Executed. March 1988. Seminar at IBM Science Centre, Winchester.
@seminar{Jones88b, title = {Specifications Should Not be Executed}, author = {Jones, C. B.}, month = mar, year = {1988}, note = {Seminar at IBM Science Centre, Winchester} } - C. B. Jones. Hopes and Fears for Formal Methods in Software Development. March 1987. Seminar, Oxford University.
@seminar{Jones87b, title = {Hopes and Fears for Formal Methods in Software Development}, author = {Jones, C. B.}, month = mar, year = {1987}, note = {Seminar, Oxford University} } - C. B. Jones. The VDM Program Development Method. July 1987. Public Seminar, Tohoku University, Japan.
@seminar{Jones87n, title = {The {VDM} Program Development Method}, author = {Jones, C. B.}, month = jul, year = {1987}, note = {Public Seminar, Tohoku University, Japan} } - C. B. Jones. Reasoning about Partial Functions. July 1987. Seminar at Japan/UK Workshop, Sendai, Japan.
@seminar{Jones87m, title = {Reasoning about Partial Functions}, author = {Jones, C. B.}, month = jul, year = {1987}, note = {Seminar at Japan/UK Workshop, Sendai, Japan} } - C. B. Jones. A Logic for Partial Functions and Least Fixed Points. June 1987. Talk at IFIP WG 2.2 meeting, Sophia Antipolis.
@seminar{Jones87l, title = {A Logic for Partial Functions and Least Fixed Points}, author = {Jones, C. B.}, month = jun, year = {1987}, note = {Talk at IFIP WG~2.2 meeting, Sophia Antipolis} } - C. B. Jones. Application of Formal Methods. May 1987. Seminar at London Mathematical Society meeting, Isle of Thorns.
@seminar{Jones87k, title = {Application of Formal Methods}, author = {Jones, C. B.}, month = may, year = {1987}, note = {Seminar at London Mathematical Society meeting, Isle of Thorns} } - C. B. Jones. Advances in Formal Methods. May 1987. Seminar at NPL, Teddington.
@seminar{Jones87j, title = {Advances in Formal Methods}, author = {Jones, C. B.}, month = may, year = {1987}, note = {Seminar at NPL, Teddington} } - C. B. Jones. A Logic for Partial Functions. April 1987. Seminar at Theoretical Computer Science Colloquim.
@seminar{Jones87i, title = {A Logic for Partial Functions}, author = {Jones, C. B.}, month = apr, year = {1987}, note = {Seminar at Theoretical Computer Science Colloquim} } - C. B. Jones. A Logic for Partial Functions. April 1987. Seminar at University of Texas, Austin.
@seminar{Jones87h, title = {A Logic for Partial Functions}, author = {Jones, C. B.}, month = apr, year = {1987}, note = {Seminar at University of Texas, Austin} } - C. B. Jones. Challenges for Modularization in Specification Languages. April 1987. seminar at: Year of Programming, Texas.
@seminar{Jones87g, title = {Challenges for Modularization in Specification Languages}, author = {Jones, C. B.}, month = apr, year = {1987}, note = {seminar at: Year of Programming, Texas} } - C. B. Jones. Unifying the State Concepts in VDM. March 1987. Seminar, BSI-VDM Meeting, Brussels.
@seminar{Jones87d, title = {Unifying the State Concepts in {VDM}}, author = {Jones, C. B.}, month = mar, year = {1987}, note = {Seminar, BSI-VDM Meeting, Brussels} } - C. B. Jones. Recent Developments in VDM. January 1987. Seminar at HP Research Labs., Bristol.
@seminar{Jones87a, title = {Recent Developments in {VDM}}, author = {Jones, C. B.}, month = jan, year = {1987}, note = {Seminar at HP Research Labs., Bristol} } - C. B. Jones. Recent Developments in VDM. February 1986. Seminar at Danish Datamatics Centre.
@seminar{Jones86e, title = {Recent Developments in {VDM}}, author = {Jones, C. B.}, month = feb, year = {1986}, note = {Seminar at Danish Datamatics Centre} } - C. B. Jones. Nondeterminism versus under-determined Functions. November 1986. Seminar at ESPRIT/RAISE Workshop.
@seminar{Jones86q, title = {Nondeterminism versus under-determined Functions}, author = {Jones, C. B.}, month = nov, year = {1986}, note = {Seminar at ESPRIT/RAISE Workshop} } - C. B. Jones. Current VDM Research. November 1986. Seminar at Polish Academy of Sciences, Warsaw.
@seminar{Jones86p, title = {Current {VDM} Research}, author = {Jones, C. B.}, month = nov, year = {1986}, note = {Seminar at Polish Academy of Sciences, Warsaw} } - C. B. Jones. Formal Methods and Program Development. June 1986. talk at IBM Seminar on ‘Advances in Software Development’, Fareham.
@seminar{Jones86o, title = {Formal Methods and Program Development}, author = {Jones, C. B.}, month = jun, year = {1986}, note = {talk at IBM Seminar on `Advances in Software Development', Fareham} } - C. B. Jones. Support Environments for Formal Methods. June 1986. Seminar at Imperial College.
@seminar{Jones86h, title = {Support Environments for Formal Methods}, author = {Jones, C. B.}, month = jun, year = {1986}, note = {Seminar at Imperial College} } - C. B. Jones. A Logic for Partial Functions. May 1986. Seminar at Leeds University.
@seminar{Jones86g, title = {A Logic for Partial Functions}, author = {Jones, C. B.}, month = may, year = {1986}, note = {Seminar at Leeds University} } - C. B. Jones. Vienna Development Method. May 1986. Seminar at Leicester University.
@seminar{Jones86f, title = {{Vienna} {Development} {Method}}, author = {Jones, C. B.}, month = may, year = {1986}, note = {Seminar at Leicester University} } - C. B. Jones. Vienna Development Method. January 1986. Seminar at Kent University.
@seminar{Jones86d, title = {{Vienna} {Development} {Method}}, author = {Jones, C. B.}, month = jan, year = {1986}, note = {Seminar at Kent University} } - C. B. Jones. Putting Types into a Logic of Partial Functions. April 1985. Talk at IFIP WG 2.3, Manchester.
@seminar{Jones85e, title = {Putting Types into a Logic of Partial Functions}, author = {Jones, C. B.}, month = apr, year = {1985}, note = {Talk at IFIP WG~2.3, Manchester} } - C. B. Jones. Strengths and Weaknesses of Vienna Development Method. December 1985. Seminar at Cambridge University.
@seminar{Jones85g, title = {Strengths and Weaknesses of {Vienna} {Development} {Method}}, author = {Jones, C. B.}, month = dec, year = {1985}, note = {Seminar at Cambridge University} } - C. B. Jones. Typesetting a Book with GML. May 1985. Talk to conference on SGML, NCC, Manchester.
@seminar{Jones85f, title = {Typesetting a Book with {GML}}, author = {Jones, C. B.}, month = may, year = {1985}, note = {Talk to conference on SGML, NCC, Manchester} } - C. B. Jones. Specifications and Designs Based on Them. January 1985. Invited talk, IEE Colloquim on ‘Specification Languages: Tools for the Development of Reliable Software’, London.
@seminar{Jones85d, title = {Specifications and Designs Based on Them}, author = {Jones, C. B.}, month = jan, year = {1985}, note = {Invited talk, IEE Colloquim on `Specification Languages: Tools for the Development of Reliable Software', London} } - C. B. Jones. Systematic Program Development. February 1984. Seminar at Department of Physics, Manchester University.
@seminar{Jones84c, title = {Systematic Program Development}, author = {Jones, C. B.}, month = feb, year = {1984}, note = {Seminar at Department of Physics, Manchester University} } - C. B. Jones. Systematic Program Development. October 1984. Seminar at STC Telecommunication.
@seminar{Jones84e, title = {Systematic Program Development}, author = {Jones, C. B.}, month = oct, year = {1984}, note = {Seminar at STC Telecommunication} } - C. B. Jones. Systematic Program Development. May 1984. Seminar at the Open University.
@seminar{Jones84d, title = {Systematic Program Development}, author = {Jones, C. B.}, month = may, year = {1984}, note = {Seminar at the Open University} } - C. B. Jones. Presentation of Proofs. January 1984. Seminar at Programming Research Group, Oxford University.
@seminar{Jones84b, title = {Presentation of Proofs}, author = {Jones, C. B.}, month = jan, year = {1984}, note = {Seminar at Programming Research Group, Oxford University} } - C. B. Jones. VDM. April 1983. Seminar at Beijing University, China.
@seminar{Jones83e, title = {{VDM}}, author = {Jones, C. B.}, month = apr, year = {1983}, note = {Seminar at Beijing University, China} } - C. B. Jones. Three-Valued Logic. September 1983. Talk at IFIP WG 2.3, Pont-a-Mousson.
@seminar{Jones83j, title = {Three-Valued Logic}, author = {Jones, C. B.}, month = sep, year = {1983}, note = {Talk at IFIP WG~2.3, Pont-a-Mousson} } - C. B. Jones. Developing Parallel Programs. April 1983. Seminar at Nanjing University, China.
@seminar{Jones83h, title = {Developing Parallel Programs}, author = {Jones, C. B.}, month = apr, year = {1983}, note = {Seminar at Nanjing University, China} } - C. B. Jones. Three-Valued Logic. April 1983. Seminar at Chinese Academy of Science, Beijing, China.
@seminar{Jones83g, title = {Three-Valued Logic}, author = {Jones, C. B.}, month = apr, year = {1983}, note = {Seminar at Chinese Academy of Science, Beijing, China} } - C. B. Jones. A (more) Formal Approach to System Design. April 1983. Seminar at Qin Hua University, Beijing, China.
@seminar{Jones83f, title = {A (more) Formal Approach to System Design}, author = {Jones, C. B.}, month = apr, year = {1983}, note = {Seminar at Qin Hua University, Beijing, China} } - C. B. Jones. An Overview of Rigorous Development of Software. March 1983. Seminar at Wolverhampton BCS.
@seminar{Jones83c, title = {An Overview of Rigorous Development of Software}, author = {Jones, C. B.}, month = mar, year = {1983}, note = {Seminar at Wolverhampton BCS} } - C. B. Jones. Documenting Systematic Program Design. February 1982. Seminar at York University.
@seminar{Jones82b, title = {Documenting Systematic Program Design}, author = {Jones, C. B.}, month = feb, year = {1982}, note = {Seminar at York University} } - C. B. Jones. Ada is not the Answer. December 1982. Talk at Ada U.K. Conference, York University.
@seminar{Jones82f, title = {Ada is not the Answer}, author = {Jones, C. B.}, month = dec, year = {1982}, note = {Talk at Ada U.K. Conference, York University} } - C. B. Jones. Towards More Formal Specification. May 1982. invited talk to EWICS TC11, Brussels.
@seminar{Jones82e, title = {Towards More Formal Specification}, author = {Jones, C. B.}, month = may, year = {1982}, note = {invited talk to EWICS TC11, Brussels} } - C. B. Jones. The Future of Software Quality Assurance. April 1982. Talk at IEE colloq. on Software Quality Assurance, London.
@seminar{Jones82d, title = {The Future of Software Quality Assurance}, author = {Jones, C. B.}, month = apr, year = {1982}, note = {Talk at IEE colloq. on Software Quality Assurance, London} } - C. B. Jones. Developing Parallel (Interfering) Programs. March 1982. Seminar at Newcastle University.
@seminar{Jones82c, title = {Developing Parallel (Interfering) Programs}, author = {Jones, C. B.}, month = mar, year = {1982}, note = {Seminar at Newcastle University} } - C. B. Jones. Developing Parallel (Interfering) Programs. February 1982. Seminar at Edinburgh University.
@seminar{Jones82a, title = {Developing Parallel (Interfering) Programs}, author = {Jones, C. B.}, month = feb, year = {1982}, note = {Seminar at Edinburgh University} } - C. B. Jones. A Formal Approach to Systems Design. May 1981. at IEE colloquium on ‘Formal Design Techniques for Microprocessor Systems.’
@seminar{Jones81h, title = {A Formal Approach to Systems Design}, author = {Jones, C. B.}, month = may, year = {1981}, note = {at IEE colloquium on `Formal Design Techniques for Microprocessor Systems'} } - C. B. Jones. Formal Methods in Software Development. November 1981. Seminar at Infotech, ‘State of the Art’, London.
@seminar{Jones81l, title = {Formal Methods in Software Development}, author = {Jones, C. B.}, month = nov, year = {1981}, note = {Seminar at Infotech, `State of the Art', London} } - C. B. Jones. Rigorous Design of Software. October 1981. Seminar at North Staffs BCS, Keele University.
@seminar{Jones81k, title = {Rigorous Design of Software}, author = {Jones, C. B.}, month = oct, year = {1981}, note = {Seminar at North Staffs BCS, Keele University} } - C. B. Jones. Development of Parallel Programs. October 1981. Talk at WG 2.3, Sintra, Portugal.
@seminar{Jones81j, title = {Development of Parallel Programs}, author = {Jones, C. B.}, month = oct, year = {1981}, note = {Talk at WG~2.3, Sintra, Portugal} } - C. B. Jones. Program Specification using Abstract Data Types. January 1981. Talk at API/FCUL ‘Advanced Seminar on Programming Methodologies’, Lisbon.
@seminar{Jones81i, title = {Program Specification using Abstract Data Types}, author = {Jones, C. B.}, month = jan, year = {1981}, note = {Talk at API/FCUL `Advanced Seminar on Programming Methodologies', Lisbon} } - C. B. Jones. Specifications and the Development of Parallel Algorithms. January 1981. Seminar at Warwick University.
@seminar{Jones81g, title = {Specifications and the Development of Parallel Algorithms}, author = {Jones, C. B.}, month = jan, year = {1981}, note = {Seminar at Warwick University} } - C. B. Jones. Specifications and the Development of Parallel Algorithms. January 1981. Seminar at IBM Research, San Jose.
@seminar{Jones81f, title = {Specifications and the Development of Parallel Algorithms}, author = {Jones, C. B.}, month = jan, year = {1981}, note = {Seminar at IBM Research, San Jose} } - C. B. Jones. Specifications and the Development of Parallel Algorithms. January 1981. Talk at WG 2.3, Hans-sur-Lesse.
@seminar{Jones81e, title = {Specifications and the Development of Parallel Algorithms}, author = {Jones, C. B.}, month = jan, year = {1981}, note = {Talk at WG~2.3, Hans-sur-Lesse} } - C. B. Jones. A Model Approach to Abstract Data Types. February 1980. Seminar at Edinburgh University.
@seminar{Jones80c, title = {A Model Approach to Abstract Data Types}, author = {Jones, C. B.}, month = feb, year = {1980}, note = {Seminar at Edinburgh University} } - C. B. Jones. The Constructive Approach to Abstract Data Types. December 1980. Talk at BCS Software Engineering Group.
@seminar{Jones80h, title = {The Constructive Approach to Abstract Data Types}, author = {Jones, C. B.}, month = dec, year = {1980}, note = {Talk at BCS Software Engineering Group} } - C. B. Jones. Specifications and Development of Parallel Solution. October 1980. Seminar at Oxford University.
@seminar{Jones80f, title = {Specifications and Development of Parallel Solution}, author = {Jones, C. B.}, month = oct, year = {1980}, note = {Seminar at Oxford University} } - C. B. Jones. A Model Approach to Abstract Data Types. July 1980. Seminar at Stuttgart University.
@seminar{Jones80e, title = {A Model Approach to Abstract Data Types}, author = {Jones, C. B.}, month = jul, year = {1980}, note = {Seminar at Stuttgart University} } - C. B. Jones. A Model Approach to Abstract Data Types. May 1980. Seminar at Leeds University.
@seminar{Jones80d, title = {A Model Approach to Abstract Data Types}, author = {Jones, C. B.}, month = may, year = {1980}, note = {Seminar at Leeds University} } - C. B. Jones. Formal Definition of Styles and Uses. February 1979. Talk at EFPL, Laussane.
@seminar{Jones79f, title = {Formal Definition of Styles and Uses}, author = {Jones, C. B.}, month = feb, year = {1979}, note = {Talk at EFPL, Laussane} } - C. B. Jones. Theories of Data Types. November 1979. Seminar at UMIST.
@seminar{Jones79h, title = {Theories of Data Types}, author = {Jones, C. B.}, month = nov, year = {1979}, note = {Seminar at UMIST} } - C. B. Jones. Formal Definition Styles and Uses. January 1979. Talk at DIKU, University of Copenhagen.
@seminar{Jones79e, title = {Formal Definition Styles and Uses}, author = {Jones, C. B.}, month = jan, year = {1979}, note = {Talk at DIKU, University of Copenhagen} } - C. B. Jones. Software Development. April 1978. Talk at Systems Development Considerations Course, Uithorn, The Netherlands.
@seminar{Jones78c, title = {Software Development}, author = {Jones, C. B.}, month = apr, year = {1978}, note = {Talk at Systems Development Considerations Course, Uithorn, The Netherlands} } - C. B. Jones. Program Development Using Data Abstraction. February 1978. Talk at Brussels University Computer Science Contact Group.
@seminar{Jones78bbb, title = {Program Development Using Data Abstraction}, author = {Jones, C. B.}, month = feb, year = {1978}, note = {Talk at Brussels University Computer Science Contact Group} } - C. B. Jones. Program Specifications and Formal Development. April 1977. Talk at SE Colloquium, IBM Denmark.
@seminar{Jones77h, title = {Program Specifications and Formal Development}, author = {Jones, C. B.}, month = apr, year = {1977}, note = {Talk at SE Colloquium, IBM Denmark} } - C. B. Jones. Implementation Bias in Constructive Specifications of Abstract Object. November 1977. Seminar at Edinburgh University.
@seminar{Jones77n, title = {Implementation Bias in Constructive Specifications of Abstract Object}, author = {Jones, C. B.}, month = nov, year = {1977}, note = {Seminar at Edinburgh University} } - C. B. Jones. Overview of Formal Methods of Program Development. November 1977. Talk at IBM Laboratory Hursley.
@seminar{Jones77m, title = {Overview of Formal Methods of Program Development}, author = {Jones, C. B.}, month = nov, year = {1977}, note = {Talk at IBM Laboratory Hursley} } - C. B. Jones. Current Work on Formal Definition Methods. November 1977. Talk at IBM Research Laboratory, Rüschlikon.
@seminar{Jones77l, title = {Current Work on Formal Definition Methods}, author = {Jones, C. B.}, month = nov, year = {1977}, note = {Talk at IBM Research Laboratory, {R\"{u}schlikon}} } - C. B. Jones. Program Development Using Data Abstraction. October 1977. Seminar at ETH Zurich.
@seminar{Jones77k, title = {Program Development Using Data Abstraction}, author = {Jones, C. B.}, month = oct, year = {1977}, note = {Seminar at ETH Zurich} } - C. B. Jones. Constructive Specifications of Data Types. August 1977. talk at IFIP WG 2.3, Canada.
@seminar{Jones77j, title = {Constructive Specifications of Data Types}, author = {Jones, C. B.}, month = aug, year = {1977}, note = {talk at IFIP WG~2.3, Canada} } - C. B. Jones. Program Development Using Data Abstraction. April 1977. Seminar at DIKU, University of Copenhagen.
@seminar{Jones77i, title = {Program Development Using Data Abstraction}, author = {Jones, C. B.}, month = apr, year = {1977}, note = {Seminar at DIKU, University of Copenhagen} } - C. B. Jones. Program Development Using Data Abstraction. December 1976. Talk at IFIP WG 2.3, Munich.
@seminar{Jones76e, title = {Program Development Using Data Abstraction}, author = {Jones, C. B.}, month = dec, year = {1976}, note = {Talk at IFIP WG~2.3, Munich} } - C. B. Jones. Formal Definition of Languages. April 1975. Seminar at Newcastle University.
@seminar{Jones75b, title = {Formal Definition of Languages}, author = {Jones, C. B.}, month = apr, year = {1975}, note = {Seminar at Newcastle University} } - C. B. Jones. On the Relevance of Formal Methods. October 1975. Seminar at IBM ESRI.
@seminar{Jones75c, title = {On the Relevance of Formal Methods}, author = {Jones, C. B.}, month = oct, year = {1975}, note = {Seminar at IBM ESRI} } - C. B. Jones. On Representational Abstraction. April 1974. Talk at IFIP WG 2.3, Boldern, Switzerland.
@seminar{Jones74b, title = {On Representational Abstraction}, author = {Jones, C. B.}, month = apr, year = {1974}, note = {Talk at IFIP WG~2.3, Boldern, Switzerland} } - C. B. Jones. Formal Development of Programs. May 1974. Seminar at Wiener Informatik Kreis, Technical University Vienna.
@seminar{Jones74c, title = {Formal Development of Programs}, author = {Jones, C. B.}, month = may, year = {1974}, note = {Seminar at Wiener Informatik Kreis, Technical University Vienna} } - C. B. Jones. Formal Definition. February 1973. Seminar at Essex University.
@seminar{Jones73b, title = {Formal Definition}, author = {Jones, C. B.}, month = feb, year = {1973}, note = {Seminar at Essex University} } - C. B. Jones. Design Verification. September 1972. 1 day course at IBM Hursley Lab.
@seminar{Jones72c, title = {Design Verification}, author = {Jones, C. B.}, month = sep, year = {1972}, note = {1 day course at IBM Hursley Lab} } - C. B. Jones. Development of Correctness Programs. July 1971. Seminar at Essex University.
@seminar{Jones71g, title = {Development of Correctness Programs}, author = {Jones, C. B.}, month = jul, year = {1971}, note = {Seminar at Essex University} } - C. B. Jones. Formal Development of Algorithms (FIND). November 1971. Seminar at Newcastle University.
@seminar{Jones71h, title = {Formal Development of Algorithms ({FIND})}, author = {Jones, C. B.}, month = nov, year = {1971}, note = {Seminar at Newcastle University} } - C. B. Jones. Proof of Block Implementation. January 1971. Seminar at Warwick University.
@seminar{Jones71e, title = {Proof of Block Implementation}, author = {Jones, C. B.}, month = jan, year = {1971}, note = {Seminar at Warwick University} } - C. B. Jones. Proof of Block Implementation. July 1971. Seminar at Essex University.
@seminar{Jones71f, title = {Proof of Block Implementation}, author = {Jones, C. B.}, month = jul, year = {1971}, note = {Seminar at Essex University} } - C. B. Jones. Yet Another Proof of the Block Concept. September 1970. Talk at IFIP W.G. 2.2 meeting, Boston.
@seminar{Jones70d, title = {Yet Another Proof of the Block Concept}, author = {Jones, C. B.}, month = sep, year = {1970}, note = {Talk at IFIP W.G.~2.2 meeting, Boston} } - C. B. Jones. Compiler Correctness Proofs. November 1970. Seminar at QMC, London University.
@seminar{Jones70e, title = {Compiler Correctness Proofs}, author = {Jones, C. B.}, month = nov, year = {1970}, note = {Seminar at QMC, London University} }