default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSimon Foster 0001
Person information
- affiliation: University of York, UK
- affiliation (PhD 2010): University of Sheffield, UK
Other persons with the same name
- Simon Foster 0002 — University of Exeter, UK
- Simon Foster 0003 — ETH Zürich, Switzerland
- Simon Foster 0004 — The University of Manchester, Manchester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c40]Thomas Wright
, Louise A. Dennis, Jim Woodcock, Simon Foster:
Formal Verification of BDI Agents. The Combined Power of Research, Education, and Dissemination 2025: 302-326- 2024
- [j17]Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman:
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. J. Autom. Reason. 68(4): 21 (2024) - [j16]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137: 100940 (2024) - [j15]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: 112034 (2024) - [j14]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): 291-304 (2024) - [j13]Kangfeng Ye, Jim Woodcock, Simon Foster:
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving. Theor. Comput. Sci. 1021: 114876 (2024) - [i24]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 abs/2401.12061 (2024) - [i23]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 abs/2403.15236 (2024) - [i22]Simon Foster, Chung-Kil Hur, Jim Woodcock:
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. CoRR abs/2408.15817 (2024) - [i21]Christian Pardillo Laursen, Simon Foster, Mark Post:
Brownian Motion in Isabelle/HOL. CoRR abs/2410.14718 (2024) - 2023
- [c39]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: 170-188 - [c38]Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51 - [c37]Simon Foster, Burkhart Wolff:
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. ICECCS 2023: 136-141 - [c36]Fang Yan, Simon Foster, Ibrahim Habli:
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. ICECCS 2023: 167-176 - [i20]Simon Foster, Burkhart Wolff:
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. CoRR abs/2302.07629 (2023) - [i19]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart using Interaction Trees. CoRR abs/2303.09106 (2023) - [i18]Kangfeng Ye, Jim Woodcock, Simon Foster:
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving. CoRR abs/2303.09692 (2023) - [i17]Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere:
Checking and Automating Confidentiality Theory in Isabelle/UTP. CoRR abs/2310.10658 (2023) - 2022
- [j12]Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock:
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21(2): 667-716 (2022) - [c35]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: 185-203 - [c34]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM 2022: 404-420 - [c33]Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei:
Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. MODELSWARD 2022: 252-263 - 2021
- [j11]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): 855-884 (2021) - [j10]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121: 100681 (2021) - [c32]Kangfeng Ye, Simon Foster, Jim Woodcock:
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. RAMiCS 2021: 465-482 - [c31]Simon Foster, Chung-Kil Hur, Jim Woodcock:
Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. CONCUR 2021: 20:1-20:18 - [c30]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: 367-386 - [p2]Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen:
Verification in the Grand Challenge. Theories of Programming 2021: 125-156 - [i16]Thomas Hickman, Christian Pardillo Laursen, Simon Foster:
Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL. CoRR abs/2102.02679 (2021) - [i15]Simon Foster, Chung-Kil Hur, Jim Woodcock:
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. CoRR abs/2105.05133 (2021) - [i14]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 abs/2106.05987 (2021) - 2020
- [j9]Simon Foster, Burkhart Wolff:
A Sound Type System for Physical Quantities, Units, and Measurements. Arch. Formal Proofs 2020 (2020) - [j8]Mario Gleirscher, Simon Foster, Jim Woodcock:
New Opportunities for Integrated Formal Methods. ACM Comput. Surv. 52(6): 117:1-117:36 (2020) - [j7]Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197: 102510 (2020) - [j6]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802: 105-140 (2020) - [c29]Simon Foster, James Baxter:
Automated Algebraic Reasoning for Collections and Local Variables with Lenses. RAMiCS 2020: 100-116 - [c28]Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth:
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. RAMiCS 2020: 169-186 - [c27]Simon Foster, Mario Gleirscher, Radu Calinescu:
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. ICECCS 2020: 113-118 - [c26]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: 11-21 - [i13]Simon Foster, Mario Gleirscher, Radu Calinescu:
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. CoRR abs/2006.09233 (2020) - [i12]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR abs/2007.13529 (2020) - [i11]Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly:
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. CoRR abs/2009.12154 (2020)
2010 – 2019
- 2019
- [j5]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) - [c25]Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly:
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. IFM 2019: 379-398 - [c24]Mario Gleirscher, Simon Foster, Yakoub Nemouchi:
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. SEFM 2019: 87-104 - [c23]Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye:
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP 2019: 80-105 - [c22]Simon Foster:
Hybrid Relations in Isabelle/UTP. UTP 2019: 130-153 - [d1]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material. Zenodo, 2019
- [i10]Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR abs/1905.05500 (2019) - [i9]Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly:
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. CoRR abs/1905.06192 (2019) - [i8]Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth:
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. CoRR abs/1910.13554 (2019) - 2018
- [j4]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135: 47-52 (2018) - [c21]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS 2018: 205-224 - [c20]Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS 2018: 137-155 - [i7]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR abs/1806.02101 (2018) - [i6]Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR abs/1807.08588 (2018) - [i5]Mario Gleirscher, Simon Foster, Jim Woodcock:
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? CoRR abs/1812.10103 (2018) - 2017
- [j3]Simon Foster, Frank Zeyda:
Optics. Arch. Formal Proofs 2017 (2017) - [c19]Simon Foster, Jim Woodcock:
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Concurrency, Security, and Puzzles 2017: 39-64 - [c18]Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti:
Formalising Cosimulation Models. SEFM Workshops 2017: 453-468 - [i4]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Theories of Timed with Generalised Reactive Processes. CoRR abs/1712.10213 (2017) - [i3]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying Theories of Reactive Design Contracts. CoRR abs/1712.10233 (2017) - 2016
- [c17]Simon Foster, Frank Zeyda, Jim Woodcock:
Unifying Heterogeneous State-Spaces with Lenses. ICTAC 2016: 295-314 - [c16]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: 171-186 - [c15]Jim Woodcock, Simon Foster, Andrew Butterfield:
Heterogeneous Semantics and Unifying Theories. ISoLA (1) 2016: 374-394 - [c14]Jim Woodcock, Simon Foster:
UTP by Example: Designs. SETSS 2016: 16-50 - [c13]Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock:
Towards a UTP Semantics for Modelica. UTP 2016: 44-64 - [c12]Frank Zeyda, Simon Foster, Leo Freitas:
An Axiomatic Value Model for Isabelle/UTP. UTP 2016: 155-175 - 2015
- [j2]Simon Foster, Georg Struth:
On the Fine-Structure of Regular Algebra. J. Autom. Reason. 54(2): 165-197 (2015) - [p1]Simon Foster, Jim Woodcock:
Mechanised Theory Engineering in Isabelle. Dependable Software Systems Engineering 2015: 246-287 - 2014
- [j1]Simon Foster, Georg Struth:
Regular Algebras. Arch. Formal Proofs 2014 (2014) - [c11]Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. ISoLA (2) 2014: 54-73 - [c10]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: 113-118 - [c9]Simon Foster, Frank Zeyda, Jim Woodcock:
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP 2014: 21-41 - [i2]Luís Diogo Couto, Simon Foster, Richard John Payne:
Towards Verification of Constituent Systems through Automated Proof. CoRR abs/1404.7792 (2014) - 2013
- [c8]Simon Foster, Jim Woodcock:
Unifying Theories of Programming in Isabelle. ICTAC Training School on Software Engineering 2013: 109-155 - 2012
- [c7]Simon Foster, Georg Struth:
Automated Analysis of Regular Algebra. IJCAR 2012: 271-285 - [c6]Simon Foster, Ondrej Rypacek, Georg Struth:
Correctness of Object Oriented Models by Extended Type Inference. ICTAC 2012: 46-60 - [c5]Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming Based on Automated Theorem Proving. MPC 2012: 220-240 - [c4]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: 451-456 - 2011
- [c3]Simon Foster, Georg Struth, Tjark Weber:
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS 2011: 52-67 - [c2]Simon Foster, Georg Struth:
Integrating an Automated Theorem Prover into Agda. NASA Formal Methods 2011: 116-130 - [i1]Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming based on Automated Theorem Proving. CoRR abs/1112.3833 (2011) - 2010
- [b1]Simon Foster:
A compositional semantic theory for service composition. University of Sheffield, UK, 2010
2000 – 2009
- 2005
- [c1]Barry Norton, Simon Foster, Andrew Hughes:
A Compositional Operational Semantics for OWL-S. EPEW/WS-FM 2005: 303-317
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-26 23:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
