Simon Foster

Available identifiers

zbMath Open foster.simonMaRDI QIDQ1617822

List of research outcomes

Publication	Date of Publication	Type
IsaVODEs: Interactive verification of cyber-physical systems at scale	2024-12-16	Paper
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving	2024-11-18	Paper
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots	2024-03-14	Paper
UTP, \textsf{\textit{Circus}}, and Isabelle	2024-02-28	Paper
Formally verified animation for RoboChart using interaction trees	2024-02-12	Paper
Automated reasoning for probabilistic sequential programs with theorem proving	2023-03-30	Paper
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL	2022-08-30	Paper
Automated Algebraic Reasoning for Collections and Local Variables with Lenses	2022-08-30	Paper
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP	2022-03-02	Paper
Verification in the Grand Challenge	2022-02-14	Paper
Integration of formal proof into unified assurance cases with Isabelle/SACM	2022-01-11	Paper
Automated verification of reactive and concurrent programs by calculation	2021-08-03	Paper
Hybrid relations in Isabelle/UTP	2020-02-18	Paper
Probabilistic semantics for RoboChart. A weakest completion approach	2020-02-18	Paper
Unifying theories of reactive design contracts	2019-11-22	Paper
Calculational verification of reactive programs with reactive relations and Kleene algebra	2018-11-08	Paper
Unifying theories of time with generalised reactive processes	2018-04-05	Paper
Towards verification of cyber-physical systems with UTP and Isabelle/HOL	2018-03-26	Paper
Towards a UTP Semantics for Modelica	2017-04-04	Paper
An Axiomatic Value Model for Isabelle/UTP	2017-04-04	Paper
Unifying Heterogeneous State-Spaces with Lenses	2016-12-21	Paper
Isabelle/UTP: A Mechanised Theory Engineering Framework	2016-06-22	Paper
Unifying Theories of Programming in Isabelle	2015-09-30	Paper
On the fine-structure of regular algebra	2015-07-02	Paper
Automated Analysis of Regular Algebra	2012-09-05	Paper
Dependently Typed Programming Based on Automated Theorem Proving	2012-09-05	Paper
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL	2011-06-17	Paper

Research outcomes over time

This page was built for person: Simon Foster