Items where authors include "Woodcock, Jim"

Article

Ye, Kangfeng, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Foster, Simon David orcid.org/0000-0002-9889-9514 (2024) Formally verified animation for RoboChart using interaction trees. Journal of Logical and Algebraic Methods in Programming. 100940. ISSN 2352-2216

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2024) Formally verified animation for RoboChart using interaction trees. Journal of Logical and Algebraic Methods in Programming. 100940. ISSN 2352-2216

Gleirscher, Mario orcid.org/0000-0002-9445-6863, van de Pol, Jaco and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) A manifesto for applicable formal methods. Software and Systems Modeling. ISSN 1619-1366

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Pol, Jaco van de and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Proceedings First Workshop on Applicable Formal Methods. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Foster, Simon orcid.org/0000-0002-9889-9514 et al. (2 more authors) (2021) Probabilistic modelling and verification using RoboChart and PRISM. Software and Systems Modeling. ISSN 1619-1366

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) RiskStructures : A Design Algebra for Risk-Aware Machines. Formal Aspects of Computing. pp. 763-802. ISSN 1433-299X

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2021) Automated verification of reactive and concurrent programs by calculation. Journal of Logical and Algebraic Methods in Programming. 100681. ISSN 2352-2216

Zhao, Hengjun, Zeng, Xia, Chen, Taolue et al. (2 more authors) (2021) Learning safe neural network controllers with barrier certificates. Formal Aspects of Computing. pp. 437-455. ISSN 1433-299X

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2020) Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. Science of Computer Programming. 102510. ISSN 0167-6423

Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran, Zhao, Shuai et al. (3 more authors) (2020) Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions in Embedded Computing Systems. ISSN 1558-3465 (In Press)

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2019) New Opportunities for Integrated Formal Methods. ACM Computing Surveys. 117.

Chapman, Roderick, White, Neil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2017) Viewpoints : What can agile methods bring to high-integrity software development? Communications of the ACM. pp. 38-41. ISSN 0001-0782

Ye, Kangfeng and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2017) Model checking of state-rich formalism Circus by linking to CSP∥B. International Journal on Software Tools for Technology Transfer. pp. 73-96. ISSN 1433-2779

Freitas, Leo and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2007) FDR Explorer. Electronic Notes in Theoretical Computer Science. pp. 19-34.

Book Section

Foster, Simon orcid.org/0000-0002-9889-9514, Zeyda, Frank and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2015) Isabelle/UTP : A Mechanised Theory Engineering Framework. In: Naumann, David, (ed.) Unifying Theories of Programming. Lecture Notes in Computer Science . Springer , pp. 21-41.

Wei, Kun, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Burns, Alan orcid.org/0000-0001-5621-8816 (2012) Modelling Temporal Behaviour in Complex Systems with Timebands. In: Hinchey, Mike and Coyle, Lorcan, (eds.) Conquering Complexity. Springer , London , pp. 277-307.

Conference or Workshop Item

Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) Albert: A CDT in Autonomous Robotic Systems for Laboratory Experiments. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York.

Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) CPD Course: Assured Software Engineering. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York.

Woodcock, Jim orcid.org/0000-0001-7955-2702, Fitzgerald, John, Gamble, Carl et al. (2 more authors) (2015) Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In: UNSPECIFIED.

Proceedings Paper

Attala, Ziggy, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) Modelling and Verifying Robotic Software that Uses Neural Networks. In: Ábrahám, Erika, Dubslaff, Clemens and Tarifa, Silvia Lizeth, (eds.) Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, 04-08 Dec 2023. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , PER , pp. 15-35.

Woodcock, Jim orcid.org/0000-0001-7955-2702, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Foster, Simon orcid.org/0000-0002-9889-9514 et al. (3 more authors) (2023) UTP, Circus, and Isabelle. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , pp. 19-51.

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) Formally Verified Animation for RoboChart Using Interaction Trees. In: Riesco, Adrian and Zhang, Min, (eds.) Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. 23rd International Conference on Formal Engineering Methods, ICFEM 2022, 24-27 Oct 2022. Lecture Notes in Computer Science . Springer , ESP , pp. 404-420.

Esterle, Lukas, Porter, Barry and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Verification and Uncertainties in Self-integrating System. In: El-Araby, Esam, Kalogeraki, Vana, Pianini, Danilo, Lassabe, Frederic, Porter, Barry, Ghahremani, Sona, Nunes, Ingrid, Bakhouya, Mohamed and Tomforde, Sven, (eds.) Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021. 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, 27 Sep - 01 Oct 2021. Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 . IEEE , USA , pp. 220-225.

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. In: Fahrenberg, Uli, Gehrke, Mai, Santocanale, Luigi and Winter, Michael, (eds.) Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, 02-05 Nov 2021. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 465-482.

Foster, Simon orcid.org/0000-0002-9889-9514, Hur, Chung-Kil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. In: International Conference on Concurrency Theory (CONCUR 2021). UNSPECIFIED. LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany .

Fitzgerald, John, Larsen, Peter Gorm, Margaria, Tiziana et al. (1 more author) (2021) Engineering of Digital Twins for Cyber-Physical Systems. In: Margaria, Tiziana and Steffen, Bernhard, (eds.) Leveraging Applications of Formal Methods, Verification and Validation:Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, 20-30 Oct 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , GRC , pp. 49-53.

Woodcock, Jim orcid.org/0000-0001-7955-2702, Gomes, Cláudio, Macedo, Hugo Daniel et al. (1 more author) (2021) Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. In: Margaria, Tiziana and Steffen, Bernhard, (eds.) Leveraging Applications of Formal Methods, Verification and Validation:Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, 20-30 Oct 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , GRC , pp. 72-87.

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2018) Features of integrated model-based co-modelling and co-simulation technology. In: Cerone, Antonio and Roveri, Marco, (eds.) Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops:DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, 04-05 Sep 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , ITA , pp. 377-390.

Foster, Simon orcid.org/0000-0002-9889-9514, Thiele, Bernhard, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2017) Towards a UTP semantics for modelica. In: Bowen, Jonathan P. and Zhu, Huibiao, (eds.) Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. 6th International Symposium on Unifying Theories of Programming, UTP 2016, 04-05 Jun 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , ISL , pp. 44-64.

Foster, Simon orcid.org/0000-0002-9889-9514, Zeyda, Frank and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2016) Unifying heterogeneous state-spaces with lenses. In: Wang, Farn and Sampaio, Augusto, (eds.) Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, 24-31 Oct 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , TWN , pp. 295-314.

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2016) Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. UNSPECIFIED. , pp. 171-186.

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (8 more authors) (2016) Integrated tool chain for model-based design of Cyber-Physical Systems : The INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016. 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 11 Apr 2016. IEEE , AUT .

Woodcock, Jim orcid.org/0000-0001-7955-2702, Foster, Simon David orcid.org/0000-0002-9889-9514 and Butterfield, Andrew (2016) Heterogeneous Semantics and Unifying Theories. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. UNSPECIFIED. , pp. 374-394. (In Press)

Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2013) Unifying Theories of Programming in Isabelle. In: Liu, Zhiming, Woodcock, Jim and Zhu, Huibiao, (eds.) Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 109-155.

Oliveira, Marcel Vinicius Medeiros, Júnior, Ivan Soares de Medeiros and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2013) A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. In: Hierons, Robert M., Merayo, Mercedes G. and Bravetti, Mario, (eds.) Software Engineering and Formal Methods:11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 46-60.

Woodcock, Jim orcid.org/0000-0001-7955-2702 and Bandur, Victor (2012) Unifying Theories of Undefinedness in UTP. In: Wolff, Burkhart, Gaudel, Marie-Claude and Feliachi, Abderrahmane, (eds.) Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , Heidelberg , pp. 1-22.

Wei, Kun, Woodcock, Jim and Burns, Alan orcid.org/0000-0001-5621-8816 (2011) Timed circus : Timed CSP with the miracle. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 27-29 Apr 2011. IEEE Computer Society , GBR , pp. 55-64.

Santos, Osmar Marchi dos, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2011) Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. UNSPECIFIED. IEEE Computer Society , pp. 117-126.

Preprint

Woodcock, Jim orcid.org/0000-0001-7955-2702, Aranha, Diego F., Hallerstede, Stefan et al. (7 more authors) (2023) State of the Art Report : Verified Computation. [Preprint]

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) Formally Verified Animation for RoboChart using Interaction Trees. [Preprint]

Antonino, Pedro, Sampaio, Augusto and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) A Pattern-based deadlock-freedom analysis strategy for concurrent systems. [Preprint]

Zhao, Hengjun, Zeng, Xia, Chen, Taolue et al. (2 more authors) (2020) Learning Safe Neural Network Controllers with Barrier Certificates. [Preprint]

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2020) Automated Verification of Reactive and Concurrent Programs by Calculation. [Preprint]