Simon Foster
Simon Foster
Research Fellow in Computer Science, University of York
Verified email at york.ac.uk - Homepage
Title
Cited by
Cited by
Year
Isabelle/UTP: A mechanised theory engineering framework
S Foster, F Zeyda, J Woodcock
International Symposium on Unifying Theories of Programming, 21-41, 2014
722014
Unifying heterogeneous state-spaces with lenses
S Foster, F Zeyda, J Woodcock
International Colloquium on Theoretical Aspects of Computing, 295-314, 2016
362016
A compositional operational semantics for OWL-S
B Norton, S Foster, A Hughes
Formal Techniques for Computer Systems and Business Processes, 303-317, 2005
362005
Automated engineering of relational and algebraic methods in Isabelle/HOL
S Foster, G Struth, T Weber
Relational and Algebraic Methods in Computer Science, 52-67, 2011
352011
Towards semantically integrated models and tools for cyber-physical systems design
PG Larsen, J Fitzgerald, J Woodcock, R Nilsson, C Gamble, S Foster
International Symposium on Leveraging Applications of Formal Methods, 171-186, 2016
312016
COMPASS tool vision for a system of systems collaborative development environment
JW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ...
System of Systems Engineering (SoSE), 2012 7th International Conference on …, 2012
312012
Towards a UTP semantics for Modelica
SD Foster, B Thiele, ALC Cavalcanti, J Woodcock
6th International Symposium on Unifying Theories of Programming:, 1-20, 2016
272016
Integrating an automated theorem prover into Agda
S Foster, G Struth
NASA Formal Methods, 116-130, 2011
222011
Unifying theories of reactive design contracts
S Foster, A Cavalcanti, S Canham, J Woodcock, F Zeyda
Theoretical Computer Science, 2019
192019
Unifying Theories of Programming in Isabelle
S Foster, J Woodcock
Unifying Theories of Programming and Formal Engineering Methods, 109-155, 2013
172013
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
S Foster, J Baxter, A Cavalcanti, A Miyazawa, J Woodcock
International Conference on Formal Aspects of Component Software, 137-155, 2018
162018
Unifying Theories of Time with Generalised Reactive Processes
S Foster, A Cavalcanti, J Woodcock, F Zeyda
arXiv preprint arXiv:1712.10213, 2017
162017
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
S Foster, F Zeyda, Y Nemouchi, P Ribeiro, B Wolff
Archive of Formal Proofs 2019, 2019
122019
Relation algebra
A Armstrong, S Foster, G Struth, T Weber
Archive of Formal Proofs, 2016
122016
Automated analysis of regular algebra
S Foster, G Struth
International Joint Conference on Automated Reasoning, 271-285, 2012
122012
New opportunities for integrated formal methods
M Gleirscher, S Foster, J Woodcock
ACM Computing Surveys (CSUR) 52 (6), 117, 2019
112019
Hybrid Relations in Isabelle/UTP
S Foster
International Symposium on Unifying Theories of Programming, 130-153, 2019
112019
Formalising Cosimulation Models
F Zeyda, J Ouy, S Foster, A Cavalcanti
International Conference on Software Engineering and Formal Methods, 453-468, 2017
112017
Towards Verification of Constituent Systems through Automated Proof
LD Couto, S Foster, R Payne
arXiv preprint arXiv:1404.7792, 2014
112014
Calculational verification of reactive programs with reactive relations and Kleene algebra
S Foster, K Ye, A Cavalcanti, J Woodcock
International Conference on Relational and Algebraic Methods in Computer …, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20