Simon David Foster

Search results

• 2017

  Towards a UTP semantics for modelica

  Foster, S., Thiele, B., Cavalcanti, A. & Woodcock, J., 1 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer, p. 44-64 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

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

  Open Access

  File

• Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

  Foster, S. D. & Woodcock, J. C. P., 9 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Springer, Vol. 10160. p. 39-64 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10160).

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

  Open Access

  File

• UTP By Example: Designs

  Woodcock, J. C. P. & Foster, S. D., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016 Chongqing. Jonathan P., B., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. LNCS 10215. p. 16-50 35 p.

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

  Open Access

  File
• 2016

  An Axiomatic Value Model for Isabelle/UTP

  Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

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

  Open Access

  File

• Heterogeneous semantics and unifying theories

  Woodcock, J., Foster, S. & Butterfield, A., 5 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 374-394 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

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

• Heterogeneous Semantics and Unifying Theories

  Woodcock, J., Foster, S. D. & Butterfield, A., 2016, (Accepted/In press) 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 374-394 21 p.

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

  Open Access

  File

• Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

  Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. D., Oct 2016, 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 171-186 16 p.

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

  Open Access

  File

• Unifying heterogeneous state-spaces with lenses

  Foster, S., Zeyda, F. & Woodcock, J., 24 Oct 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer, p. 295-314 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

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

  Open Access

  File
• 2015

  Isabelle/UTP: A Mechanised Theory Engineering Framework

  Foster, S., Zeyda, F. & Woodcock, J., 6 Jan 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 21-41 21 p. (Lecture Notes in Computer Science).

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

  Open Access

  File

• Mechanised Theory Engineering in Isabelle

  Foster, S. D. & Woodcock, J., 2015, Dependable Software Systems Engineering. Irlbeck, M., Peled, D. & Pretschner, A. (eds.). IOS Press, Vol. 40. p. 246-287 (NATO Science for Peace and Security Series, D: Information and Communication Security; vol. 40).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2014

  An approach for managing semantic heterogeneity in Systems of Systems Engineering

  Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

• Contracts in CML

  Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J., Foster, S. & Larsen, P. G., 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Springer, p. 54-73 20 p. (Lecture Notes in Computer Science; vol. 8803).

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

  Open Access

  File

• 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 Access

  File

• Towards Verification of Constituent Systems through Automated Proof

  Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM

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

  Open Access
• 2013

  Unifying Theories of Programming in Isabelle

  Foster, S. & Woodcock, J., 2013, 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. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Springer, Vol. 8050. p. 109-155 47 p. (Lecture Notes in Computer Science).

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

  File