Simon Foster
Orcid: 0000000298899514Affiliations:
 University of York, UK
 University of Sheffield, UK (PhD 2010)
According to our database^{1},
Simon Foster
authored at least 65 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on scopus.com

on linkedin.com

on orcid.org
On csauthors.net:
Bibliography
2024
J. Log. Algebraic Methods Program., February, 2024
Automated ModelBased Assurance Case Management Using Constrained Natural Language.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., January, 2024
J. Syst. Softw., 2024
CoRR, 2024
CoRR, 2024
2023
CoRR, 2023
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving.
CoRR, 2023
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
Softw. Syst. Model., 2022
Modelbased Generation of Hazarddriven Arguments and Formal Verification Evidence for Assurance Cases.
Proceedings of the 10th International Conference on ModelDriven Engineering and Software Development, 2022
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
2021
J. Log. Algebraic Methods Program., 2021
Formal Aspects Comput., 2021
Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL.
CoRR, 2021
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.
Proceedings of the Formal Methods  24th International Symposium, 2021
Formally Verified Simulations of StateRich Processes Using Interaction Trees in Isabelle/HOL.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
2020
Theor. Comput. Sci., 2020
Sci. Comput. Program., 2020
ACM Comput. Surv., 2020
Arch. Formal Proofs, 2020
Formal ModelBased Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
2019
CoRR, 2019
Arch. Formal Proofs, 2019
Proceedings of the Unifying Theories of Programming  7th International Symposium, 2019
Proceedings of the Unifying Theories of Programming  7th International Symposium, 2019
Proceedings of the Software Engineering and Formal Methods  17th International Conference, 2019
Proceedings of the Integrated Formal Methods  15th International Conference, 2019
2018
Inf. Process. Lett., 2018
CoRR, 2018
Proceedings of the Formal Aspects of Component Software  15th International Conference, 2018
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018
2017
CoRR, 2017
Arch. Formal Proofs, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
Proceedings of the Unifying Theories of Programming  6th International Symposium, 2016
Proceedings of the Unifying Theories of Programming  6th International Symposium, 2016
Proceedings of the Engineering Trustworthy Software Systems  Second International School, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Towards Semantically Integrated Models and Tools for CyberPhysical Systems Design.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Theoretical Aspects of Computing  ICTAC 2016, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
J. Autom. Reason., 2015
2014
CoRR, 2014
Arch. Formal Proofs, 2014
Proceedings of the Unifying Theories of Programming  5th International Symposium, 2014
An approach for managing semantic heterogeneity in Systems of Systems Engineering.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
2013
Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013
2012
COMPASS tool vision for a system of systems Collaborative Development Environment.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
Proceedings of the Mathematics of Program Construction  11th International Conference, 2012
Proceedings of the Theoretical Aspects of Computing  ICTAC 2012, 2012
Proceedings of the Automated Reasoning  6th International Joint Conference, 2012
2011
Proceedings of the NASA Formal Methods, 2011
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL  (Invited Tutorial).
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
PhD thesis, 2010
2005
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005