Research output per year
Research output per year
Research output
- 16 results
Search results
-
2024
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Wei, R., Foster, S. D., Mei, H., Yan, F., Yang, R., Habli, I., O'Halloran, C., Tudor, N., Kelly, T. & Nemouchi, Y., 1 Jul 2024, In: Journal of Systems and Software. 213, 23 p., 112034.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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 AccessFile -
Formally verified animation for RoboChart using interaction trees
Ye, K., Foster, S. & Woodcock, J., Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Munive, J. H. Y., Foster, S. D., Gleirscher, M., Struth, G., Pardillo Laursen, C. & Hickman, T., 19 Oct 2024, In: Journal of Automated Reasoning. 21, 50 p., 68.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
Foster, S. D., Hur, C.-K. & Woodcock, J., 28 Sept 2024, (Accepted/In press) In: ACM Transactions on Software Engineering and Methodology.Research output: Contribution to journal › Article › peer-review
-
2023
Automated model based assurance case management using constrained natural language
Wei, R., Jiang, Z., Mei, H., Barmpis, K., Foster, S. D., Kelly, T. & Zhuang, Y., 8 Aug 2023, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43, 1, p. 291-304 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2021
Automated verification of reactive and concurrent programs by calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 14 Apr 2021, In: Journal of Logical and Algebraic Methods in Programming. 121, 100681.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Foster, S. D., Nemouchi, Y., Gleirscher, M., Wei, R. & Kelly, T., Dec 2021, In: Formal Aspects of Computing. 33, 6, p. 855-884Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Probabilistic modelling and verification using RoboChart and PRISM
Ye, K., Cavalcanti, A., Foster, S., Miyazawa, A. & Woodcock, J., 3 Oct 2021, In: Software and Systems Modeling.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2020
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F., 26 Jun 2020, (E-pub ahead of print) In: Science of Computer Programming. 197, 40 p., 102510.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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-140Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 11 Jun 2019, In: Archive of Formal Proofs. 168 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
New Opportunities for Integrated Formal Methods
Gleirscher, M., Foster, S. & Woodcock, J., 23 Oct 2019, In: ACM Computing Surveys. 52, 16, 117.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2018
Unifying Theories of Time with Generalised Reactive Processes
Foster, S. D., Cavalcanti, A. L. C., Woodcock, J. C. P. & Zeyda, F., Jul 2018, In: Information Processing Letters. 135, p. 47-52 6 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2017
Optics in Isabelle/HOL
Foster, S. D. & Zeyda, F., 1 Jun 2017, In: Archive of Formal Proofs. p. 1-28 28 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2014
On the Fine-Structure of Regular Algebra
Foster, S. D. & Struth, G., 3 Dec 2014, In: Journal of Automated Reasoning. 54, 2, p. 165-197 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile