CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems

Research output

Research output per year 2019 2019 2020 2022 2024

• 4 Conference contribution
• 2 Chapter (peer-reviewed)
• 2 Article
• 1 Poster

Research output per year

Research output per year

Search results

• 2024

  Formally verified animation for RoboChart using interaction trees

  Ye, K., Woodcock, J. & Foster, S. D., 1 Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2022

  Formally Verified Animation for RoboChart Using Interaction Trees

  Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Probabilistic modelling and verification, and Animation in RoboChart

  Ye, K., 11 Oct 2022.

  Research output: Contribution to conference › Poster

  Open Access

  File
• 2020

  Automated Algebraic Reasoning for Collections and Local Variables with Lenses

  Foster, S. D. & Baxter, J., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Springer, 16 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

  Munive, J. H. Y., Struth, G. & Foster, S. D., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Springer, 16 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Unifying Theories of Reactive Design Contracts

  Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, J. C. P. & Zeyda, F., 8 Jan 2020, In: Theoretical Computer Science. 802, p. 105-140

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2019

  Evolution of Formal Model-based Assurance Cases for Autonomous Robots

  Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sept 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  Open Access

  File

• Hybrid Relations in Isabelle/UTP

  Foster, S. D., 23 Sept 2019, 7th International Symposium on Unifying Theories of Programming (UTP). Springer, p. 130-153 24 p. (Lecture Notes in Computer Science; vol. 11885).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  Open Access

  File

• Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

  Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer, Vol. 11918. p. 379-398 20 p. (LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File