Items where authors include "Foster, Simon David"

Export as [feed] Atom [feed] RSS
Number of items: 36.

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

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (2 more authors) (2021) Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. pp. 855-884. 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

Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Canham, Samuel James et al. (2 more authors) (2020) Unifying Theories of Reactive Design Contracts. Theoretical Computer Science. pp. 105-140. ISSN 0304-3975

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2019) Isabelle/UTP : Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs. ISSN 2150-914x

Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 et al. (1 more author) (2018) Unifying Theories of Time with Generalised Reactive Processes. Information Processing Letters. pp. 47-52. ISSN 0020-0190

Foster, Simon David orcid.org/0000-0002-9889-9514 and Zeyda, Frank (2017) Optics in Isabelle/HOL. Archive of Formal Proofs. pp. 1-28.

Foster, Simon David orcid.org/0000-0002-9889-9514 and Struth, Georg (2014) On the Fine-Structure of Regular Algebra. Journal of Automated Reasoning. pp. 165-197. ISSN 0168-7433

Book Section

Foster, Simon David orcid.org/0000-0002-9889-9514 (2019) Hybrid Relations in Isabelle/UTP. In: 7th International Symposium on Unifying Theories of Programming (UTP). Lecture Notes in Computer Science . Springer , pp. 130-153.

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Foster, Simon David orcid.org/0000-0002-9889-9514 and Nemouchi, Yakoub (2019) Evolution of Formal Model-based Assurance Cases for Autonomous Robots. In: Software Engineering and Formal Methods. Lecture Notes in Computer Science . Springer , NOR , pp. 87-104.

Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 and Foster, Simon David orcid.org/0000-0002-9889-9514 (2017) UTP By Example : Designs. In: Jonathan P., Bowen, Liu, Zhiming and Zhang, Zili, (eds.) Engineering Trustworthy Software Systems. Springer , pp. 16-50.

Monograph

Ye, Kangfeng, Foster, Simon David orcid.org/0000-0002-9889-9514 and Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514 and Canham, Samuel James Generalised Reactive Processes in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514 Kleene Algebra in Unifying Theories of Programming. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) Stateful-Failure Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub and Zeyda, Frank Theory of Designs in Isabelle/UTP. Working Paper. (Unpublished)

Conference or Workshop Item

Foster, Simon David orcid.org/0000-0002-9889-9514 (2022) Verifying and Assuring Robotic Systems with Isabelle/UTP. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York.

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 Assurance Case Process of RoboChart Supported by Formal Verification. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

Proceedings Paper

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (2023) Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. In: 27th International Conference on Engineering of Complex Computer Systems. the 27th International Conference on Engineering of Complex Computer Systems, 14-16 Jun 2023. IEEE , FRA . (In Press)

Foster, Simon David orcid.org/0000-0002-9889-9514 and Wolff, Burkhart (2023) Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. In: The 27th Internation Conference on Engineering of Complex Computer Systems (ICECCS 2023). UNSPECIFIED. IEEE . (In Press)

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (1 more author) (2022) Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases. In: 10th International Conference on Model-Driven Engineering and Software Development. UNSPECIFIED. SciTePress , pp. 252-263.

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, O'Halloran, Colin et al. (2 more authors) (2020) Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study. In: FormaliSE '20:Proceedings of the 8th International Conference on Formal Methods in Software Engineering. UNSPECIFIED. ACM .

Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2020) Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles. In: Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). UNSPECIFIED. IEEE . (In Press)

Foster, Simon David orcid.org/0000-0002-9889-9514 and Baxter, James (2020) Automated Algebraic Reasoning for Collections and Local Variables with Lenses. In: 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Munive, Jonathan Huerta y, Struth, Georg and Foster, Simon David orcid.org/0000-0002-9889-9514 (2020) Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. In: 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Nemouchi, Yakoub, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (1 more author) (2019) Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. In: Integrated Formal Methods:Proceedings of the 15th International Conference. UNSPECIFIED. LNCS . Springer , pp. 379-398.

Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (1 more author) (2019) Probabilistic Semantics for RoboChart A Weakest Completion Approach. In: Ribeiro, Pedro and Sampaio, Augusto, (eds.) Unifying Theories of Programming:7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Foster, Simon David orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. In: Guttmann, Walter, Desharnais, Jules and Joosten, Stef, (eds.) Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 205-224.

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2018) Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. In: Ölveczky, Peter Csaba and Bae, Kyungmin, (eds.) 15th International Conference on Formal Aspects of Component Software. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 137-155.

Zeyda, Frank, Ouy, Julian, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (1 more author) (2017) Formalising Cosimulation Models. In: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). UNSPECIFIED. .

Foster, Simon David orcid.org/0000-0002-9889-9514 and Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 (2017) Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. In: Concurrency, Security, and Puzzles:Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 39-64.

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.

Zeyda, Frank, Foster, Simon David orcid.org/0000-0002-9889-9514 and Freitas, Leo (2016) An Axiomatic Value Model for Isabelle/UTP. In: 6th International Symposium on Unifying Theories of Programming. 6th International Symposium on Unifying Theories of Programming, 04-05 Jun 2016. , ISL , pp. 1-20. (In Press)

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)

This list was generated on Sat Mar 23 16:59:33 2024 GMT.