Items where authors include "Foster, Simon"

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

Article

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

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

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

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.

Foster, Simon, Lund, Victoria A, Wacnik, Katarzyna et al. (11 more authors) (2018) Molecular coordination of Staphylococcus aureus cell division. eLife. pp. 1-31. ISSN 2050-084X

Wollman, Adam J M orcid.org/0000-0002-5501-8131, Miller, Helen, Foster, Simon et al. (1 more author) (2016) An automated image analysis framework for segmentation and division plane detection of single live Staphylococcus aureus cells which can operate at millisecond sampling time scales using bespoke Slimfield microscopy. Physical Biology. 055002. ISSN 1478-3975

Liu, Zai-Qing, Deng, Guo-Min, Foster, Simon et al. (1 more author) (2001) Staphylococcal peptidoglycans induce arthritis. Arthritis Research and Therapy, 3 (6). pp. 375-380. ISSN 1478-6354

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.

Proceedings Paper

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.

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 .

Yan, Fang, Foster, Simon orcid.org/0000-0002-9889-9514 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (2021) Safety Case Generation by Model-based Engineering : State of the Art and a Proposal. In: The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, 18-22 Apr 2021. International Academy, Research, and Industry Association , PRT , pp. 4-7.

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.

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.

Foster, Simon and Struth, Georg (2011) Integrating an Automated Theorem Prover into Agda. In: NASA Formal Methods Symposium. NASA Formal Methods Symposium, 18-20 Apr 2011, Pasadena, CA. Lecture Notes in Computer Science (6617). Springer , pp. 116-130.

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]

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]

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