Simon Foster

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 61

Top Venues

University of Sheffield, UK (PHD)

Education History

University of Sheffield, UK

PHD

Publications

Kangfeng Ye, Simon Foster, Jim Woodcock
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137 (2024)
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. CoRR (2024)
Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang
Automated Model-Based Assurance Case Management Using Constrained Natural Language. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (1) (2024)
Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213 (2024)
Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR (2024)
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. ARCH (2023)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods (2023)
Simon Foster, Burkhart Wolff
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. ICECCS (2023)
Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere
Checking and Automating Confidentiality Theory in Isabelle/UTP. CoRR (2023)
Kangfeng Ye, Jim Woodcock, Simon Foster
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving. CoRR (2023)
Kangfeng Ye, Simon Foster, Jim Woodcock
Formally Verified Animation for RoboChart using Interaction Trees. CoRR (2023)
Simon Foster, Burkhart Wolff
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. CoRR (2023)
Fang Yan, Simon Foster, Ibrahim Habli
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. ICECCS (2023)
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP (2022)
Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei
Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. MODELSWARD (2022)
Kangfeng Ye, Simon Foster, Jim Woodcock
Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM (2022)
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21 (2) (2022)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121 (2021)
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects Comput. 33 (6) (2021)
Kangfeng Ye, Simon Foster, Jim Woodcock
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. RAMiCS (2021)
Simon Foster, Chung-Kil Hur, Jim Woodcock
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. CoRR (2021)
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. CoRR (2021)
Thomas Hickman, Christian Pardillo Laursen, Simon Foster
Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL. CoRR (2021)
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. FM (2021)
Simon Foster, Chung-Kil Hur, Jim Woodcock
Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. CONCUR (2021)
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. CoRR (2020)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197 (2020)
Simon Foster, James Baxter
Automated Algebraic Reasoning for Collections and Local Variables with Lenses. RAMiCS (2020)
Simon Foster, Mario Gleirscher, Radu Calinescu
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. CoRR (2020)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR (2020)
Mario Gleirscher, Simon Foster, Jim Woodcock
New Opportunities for Integrated Formal Methods. ACM Comput. Surv. 52 (6) (2020)
Simon Foster, Mario Gleirscher, Radu Calinescu
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. ICECCS (2020)
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. RAMiCS (2020)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802 (2020)
Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. FormaliSE@ICSE (2020)
Simon Foster, Burkhart Wolff
A Sound Type System for Physical Quantities, Units, and Measurements. Arch. Formal Proofs 2020 (2020)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP (2019)
Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs 2019 (2019)
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. IFM (2019)
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. CoRR (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR (2019)
Simon Foster
Hybrid Relations in Isabelle/UTP. UTP (2019)
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. CoRR (2019)
Mario Gleirscher, Simon Foster, Yakoub Nemouchi
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. SEFM (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS (2018)
Mario Gleirscher, Simon Foster, Jim Woodcock
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? CoRR (2018)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135 (2018)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS (2018)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR (2018)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR (2018)
Simon Foster, Frank Zeyda
Optics. Arch. Formal Proofs 2017 (2017)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying Theories of Reactive Design Contracts. CoRR (2017)
Simon Foster, Jim Woodcock
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Concurrency, Security, and Puzzles (2017)
Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti
Formalising Cosimulation Models. SEFM Workshops (2017)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Theories of Timed with Generalised Reactive Processes. CoRR (2017)
Jim Woodcock, Simon Foster, Andrew Butterfield
Heterogeneous Semantics and Unifying Theories. ISoLA (1) (2016)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) (2016)
Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock
Towards a UTP Semantics for Modelica. UTP (2016)
Jim Woodcock, Simon Foster
UTP by Example: Designs. SETSS (2016)
Frank Zeyda, Simon Foster, Leo Freitas
An Axiomatic Value Model for Isabelle/UTP. UTP (2016)
Simon Foster, Frank Zeyda, Jim Woodcock
Unifying Heterogeneous State-Spaces with Lenses. ICTAC (2016)
Simon Foster, Georg Struth
On the Fine-Structure of Regular Algebra. J. Autom. Reason. 54 (2) (2015)
Simon Foster, Frank Zeyda, Jim Woodcock
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP (2014)
Simon Foster, Georg Struth
Regular Algebras. Arch. Formal Proofs 2014 (2014)
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen
Contracts in CML. ISoLA (2) (2014)
Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen
An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE (2014)
Luís Diogo Couto, Simon Foster, Richard John Payne
Towards Verification of Constituent Systems through Automated Proof. CoRR (2014)
Simon Foster, Jim Woodcock
Unifying Theories of Programming in Isabelle. ICTAC Training School on Software Engineering (2013)
Simon Foster, Georg Struth
Automated Analysis of Regular Algebra. IJCAR (2012)
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
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE (2012)
Alasdair Armstrong, Simon Foster, Georg Struth
Dependently Typed Programming Based on Automated Theorem Proving. MPC (2012)
Simon Foster, Ondrej Rypacek, Georg Struth
Correctness of Object Oriented Models by Extended Type Inference. ICTAC (2012)
Simon Foster, Georg Struth, Tjark Weber
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS (2011)
Simon Foster, Georg Struth
Integrating an Automated Theorem Prover into Agda. NASA Formal Methods (2011)
Alasdair Armstrong, Simon Foster, Georg Struth
Dependently Typed Programming based on Automated Theorem Proving CoRR (2011)
Barry Norton, Simon Foster, Andrew Hughes
A Compositional Operational Semantics for OWL-S. EPEW/WS-FM (2005)

Simon Foster.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon Foster