Simon Foster

Available identifiers

zbMath Open foster.simonMaRDI QIDQ1617822

List of research outcomes

Publication	Date of Publication	Type
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
Automated Algebraic Reasoning for Collections and Local Variables with Lenses	2022-08-30	Paper
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL	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
Probabilistic semantics for RoboChart. A weakest completion approach	2020-02-18	Paper
Hybrid relations in Isabelle/UTP	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Simon Foster