Simon Foster - RankMe

95 papers A 1B 8C 9Journal 49Unranked 23

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