Simon Foster

According to our database, Simon Foster authored at least 69 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale.

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman

J. Autom. Reason., December, 2024

Formally verified animation for RoboChart using interaction trees.

Kangfeng Ye, Simon Foster, Jim Woodcock

J. Log. Algebraic Methods Program., February, 2024

Automated Model-Based Assurance Case Management Using Constrained Natural Language.

Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., January, 2024

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving.

Kangfeng Ye, Jim Woodcock, Simon Foster

Theor. Comput. Sci., 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi

J. Syst. Softw., 2024

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

Simon Foster, Chung-Kil Hur, Jim Woodcock

CoRR, 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly

CoRR, 2024

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL.

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman

CoRR, 2024

2023

Checking and Automating Confidentiality Theory in Isabelle/UTP.

Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere

CoRR, 2023

Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving.

Kangfeng Ye, Jim Woodcock, Simon Foster

CoRR, 2023

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.

Fang Yan, Simon Foster, Ibrahim Habli

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL.

Simon Foster, Burkhart Wolff

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

UTP, Circus, and Isabelle.

Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda

Proceedings of the Theories of Programming and Formal Methods, 2023

ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Probabilistic modelling and verification using RoboChart and PRISM.

Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock

Softw. Syst. Model., 2022

Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.

Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Automated verification of reactive and concurrent programs by calculation.

Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock

J. Log. Algebraic Methods Program., 2021

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM.

Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly

Formal Aspects Comput., 2021

Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL.

Thomas Hickman, Christian Pardillo Laursen, Simon Foster

CoRR, 2021

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.

Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth

Proceedings of the Formal Methods - 24th International Symposium, 2021

Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL.

Simon Foster, Chung-Kil Hur, Jim Woodcock

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving.

Kangfeng Ye, Simon Foster, Jim Woodcock

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Verification in the Grand Challenge.

Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2020

Unifying theories of reactive design contracts.

Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda

Theor. Comput. Sci., 2020

Unifying semantic foundations for automated verification tools in Isabelle/UTP.

Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda

Sci. Comput. Program., 2020

New Opportunities for Integrated Formal Methods.

Mario Gleirscher, Simon Foster, Jim Woodcock

ACM Comput. Surv., 2020

A Sound Type System for Physical Quantities, Units, and Measurements.

Simon Foster, Burkhart Wolff

Arch. Formal Proofs, 2020

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.

Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor

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.

Simon Foster, Mario Gleirscher, Radu Calinescu

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.

Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

Automated Algebraic Reasoning for Collections and Local Variables with Lenses.

Simon Foster, James Baxter

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material.

Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock

Dataset, November, 2019

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle.

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly

CoRR, 2019

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.

Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff

Arch. Formal Proofs, 2019

Probabilistic Semantics for RoboChart - A Weakest Completion Approach.

Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Hybrid Relations in Isabelle/UTP.

Simon Foster

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots.

Mario Gleirscher, Simon Foster, Yakoub Nemouchi

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Unifying theories of time with generalised reactive processes.

Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda

Inf. Process. Lett., 2018

Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?

Mario Gleirscher, Simon Foster, Jim Woodcock

CoRR, 2018

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.

Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Unifying Theories of Timed with Generalised Reactive Processes.

Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda

CoRR, 2017

Optics.

Simon Foster, Frank Zeyda

Arch. Formal Proofs, 2017

Formalising Cosimulation Models.

Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti

Proceedings of the Software Engineering and Formal Methods, 2017

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

Simon Foster, Jim Woodcock

Proceedings of the Concurrency, Security, and Puzzles, 2017

2016

An Axiomatic Value Model for Isabelle/UTP.

Frank Zeyda, Simon Foster, Leo Freitas

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Towards a UTP Semantics for Modelica.

Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

UTP by Example: Designs.

Jim Woodcock, Simon Foster

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

Heterogeneous Semantics and Unifying Theories.

Jim Woodcock, Simon Foster, Andrew Butterfield

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

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

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Unifying Heterogeneous State-Spaces with Lenses.

Simon Foster, Frank Zeyda, Jim Woodcock

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Mechanised Theory Engineering in Isabelle.

Simon Foster, Jim Woodcock

Proceedings of the Dependable Software Systems Engineering, 2015

On the Fine-Structure of Regular Algebra.

Simon Foster, Georg Struth

J. Autom. Reason., 2015

2014

Towards Verification of Constituent Systems through Automated Proof.

Luís Diogo Couto, Simon Foster, Richard John Payne

CoRR, 2014

Regular Algebras.

Simon Foster, Georg Struth

Arch. Formal Proofs, 2014

Isabelle/UTP: A Mechanised Theory Engineering Framework.

Simon Foster, Frank Zeyda, Jim Woodcock

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.

Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Contracts in CML.

Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Unifying Theories of Programming in Isabelle.

Simon Foster, Jim Woodcock

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Dependently Typed Programming Based on Automated Theorem Proving.

Alasdair Armstrong, Simon Foster, Georg Struth

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Correctness of Object Oriented Models by Extended Type Inference.

Simon Foster, Ondrej Rypacek, Georg Struth

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Automated Analysis of Regular Algebra.

Simon Foster, Georg Struth

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Integrating an Automated Theorem Prover into Agda.

Simon Foster, Georg Struth

Proceedings of the NASA Formal Methods, 2011

Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial).

Simon Foster, Georg Struth, Tjark Weber

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

A compositional semantic theory for service composition.

Simon Foster

PhD thesis, 2010

2005

A Compositional Operational Semantics for OWL-S.

Barry Norton, Simon Foster, Andrew Hughes

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005