Simon Foster -

Registered user since Sat 6 Jun 2020

Name:Simon Foster

Country:United Kingdom

Affiliation:University of York

Personal website: https://www-users.cs.york.ac.uk/~simonf/simon-foster/

Contributions

2022

MODELS

Author of Probabilistic modelling and verification using RoboChart and PRISM within the Journal-first-track

CPP

Committee Member in Program Committee within the CPP 2022-track

2020

FormaliSE

Author of Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study within the FormaliSE 2020-track