| Isabelle/UTP: A mechanised theory engineering framework S Foster, F Zeyda, J Woodcock International Symposium on Unifying Theories of Programming, 21-41, 2014 | 80 | 2014 |
| New opportunities for integrated formal methods M Gleirscher, S Foster, J Woodcock ACM Computing Surveys (CSUR) 52 (6), 117, 2019 | 67 | 2019 |
| Unifying heterogeneous state-spaces with lenses S Foster, F Zeyda, J Woodcock International Colloquium on Theoretical Aspects of Computing, 295-314, 2016 | 49 | 2016 |
| 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 | 46 | 2020 |
| Unifying theories of reactive design contracts S Foster, A Cavalcanti, S Canham, J Woodcock, F Zeyda Theoretical Computer Science, 2019 | 43 | 2019 |
| 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 | 41 | 2016 |
| 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 | 40 | 2020 |
| 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 | 37 | 2005 |
| 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 | 36 | 2012 |
| 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 | 35 | 2021 |
| 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 | 35 | 2016 |
| 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 | 33 | 2018 |
| 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 | 26 | 2021 |
| Integrating an automated theorem prover into Agda S Foster, G Struth NASA Formal Methods, 116-130, 2011 | 26 | 2011 |
| 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 | 24 | 2021 |
| Hybrid Relations in Isabelle/UTP S Foster International Symposium on Unifying Theories of Programming, 130-153, 2019 | 24 | 2019 |
| 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 | 24 | 2019 |
| 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 | 22 | 2021 |
| Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods Y Nemouchi, S Foster, M Gleirscher, T Kelly | 22* | |
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
