Folgen
Simon Foster
Simon Foster
Lecturer in Computer Science, University of York
Bestätigte E-Mail-Adresse bei york.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Isabelle/UTP: A mechanised theory engineering framework
S Foster, F Zeyda, J Woodcock
International Symposium on Unifying Theories of Programming, 21-41, 2014
802014
New opportunities for integrated formal methods
M Gleirscher, S Foster, J Woodcock
ACM Computing Surveys (CSUR) 52 (6), 117, 2019
672019
Unifying heterogeneous state-spaces with lenses
S Foster, F Zeyda, J Woodcock
International Colloquium on Theoretical Aspects of Computing, 295-314, 2016
492016
Unifying semantic foundations for automated verification tools in Isabelle/UTP
S Foster, J Baxter, A Cavalcanti, J Woodcock, F Zeyda
Science of Computer Programming, 102510, 2020
462020
Unifying theories of reactive design contracts
S Foster, A Cavalcanti, S Canham, J Woodcock, F Zeyda
Theoretical Computer Science, 2019
432019
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
412016
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
S Foster, JJH y Munive, G Struth
International Conference on Relational and Algebraic Methods in Computer …, 2020
402020
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
37*2011
A compositional operational semantics for OWL-S
B Norton, S Foster, A Hughes
Formal Techniques for Computer Systems and Business Processes, 303-317, 2005
372005
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
362012
Integration of formal proof into unified assurance cases with Isabelle/SACM
S Foster, Y Nemouchi, M Gleirscher, R Wei, T Kelly
Formal Aspects of Computing 33 (6), 855-884, 2021
352021
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
352016
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
332018
Probabilistic modelling and verification using RoboChart and PRISM
K Ye, A Cavalcanti, S Foster, A Miyazawa, J Woodcock
Software and Systems Modeling, 1-50, 2021
262021
Integrating an automated theorem prover into Agda
S Foster, G Struth
NASA Formal Methods, 116-130, 2011
262011
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
S Foster, JJ Huerta y Munive, M Gleirscher, G Struth
International Symposium on Formal Methods, 367-386, 2021
242021
Hybrid Relations in Isabelle/UTP
S Foster
International Symposium on Unifying Theories of Programming, 130-153, 2019
242019
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
M Gleirscher, S Foster, Y Nemouchi
International Conference on Software Engineering and Formal Methods, 87-104, 2019
242019
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
S Foster, CK Hur, J Woodcock
arXiv preprint arXiv:2105.05133, 2021
222021
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Y Nemouchi, S Foster, M Gleirscher, T Kelly
22*
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20