Simon Foster

发表

Simon Foster, Jim Woodcock, Mario Gleirscher, 2018, ArXiv.
Simon Foster, Burkhart Wolff, Frank Zeyda, 2018 .
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2016, UTP.
Simon Foster, Frank Zeyda, Yakoub Nemouchi, 2018 .
Simon Foster, Richard John Payne, Luís Diogo Couto, 2014, ArXiv.
Simon Foster, Frank Zeyda, S. Foster, 1981, Arch. Formal Proofs.
Simon Foster, Georg Struth, G. Struth, 2015, Journal of Automated Reasoning.
Simon Foster, Mario Gleirscher, Yakoub Nemouchi, 2019, SEFM.
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2018 .
Simon Foster, Georg Struth, Ondrej Rypacek, 2012, ICTAC.
Simon Foster, Ana Cavalcanti, Frank Zeyda, 2017, SEFM Workshops.
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2018 .
Simon Foster, Burkhart Wolff, 2020, Arch. Formal Proofs.
Simon Foster, Georg Struth, G. Struth, 2011, NASA Formal Methods.
Simon Foster, Barry Norton, Andrew Hughes, 2005, EPEW/WS-FM.
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2018, FACS.
Simon Foster, Jim Woodcock, Frank Zeyda, 2014, UTP.
Simon Foster, Jim Woodcock, J. Woodcock, 2013, ICTAC Training School on Software Engineering.
Simon Foster, Jim Woodcock, Andrew Butterfield, 2016, ISoLA.
Simon Foster, Georg Struth, Alasdair Armstrong, 2011, MPC.
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).
Simon Foster, Jim Woodcock, Kangfeng Ye, 2019, From Astrophysics to Unconventional Computation.
Simon Foster, Jim Woodcock, 2016, SETSS.
Simon Foster, Peter Gorm Larsen, Joey W. Coleman, 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2017, Theor. Comput. Sci..
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2019, Sci. Comput. Program..
Simon Foster, Georg Struth, 2012, IJCAR.
Simon Foster, Mario Gleirscher, Tim Kelly, 2019, ArXiv.
Simon Foster, Samuel Canham, 2018 .
Simon Foster, Jim Woodcock, Mario Gleirscher, 2018, ACM Comput. Surv..
Simon Foster, Jim Woodcock, Peter Gorm Larsen, 2016, ISoLA.
Simon Foster, Frank Zeyda, Leo Freitas, 2016, UTP.
Simon Foster, Jim Woodcock, Frank Zeyda, 2016, ICTAC.
Simon Foster, Jim Woodcock, 2015, Dependable Software Systems Engineering.
Simon Foster, James Baxter, S. Foster, 2020, RAMiCS.
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2014, ISoLA.
Simon Foster, Jim Woodcock, J. Woodcock, 2017, Concurrency, Security, and Puzzles.
Simon Foster, Burkhart Wolff, Frank Zeyda, 2019, Arch. Formal Proofs.
Simon Foster, Kangfeng Ye, Jim Woodcock, 2021, RAMiCS.
Simon Foster, Thomas Hickman, Christian Pardillo Laursen, 2021, ArXiv.
Simon Foster, Jim Woodcock, Thomas Santen, 2021, Theories of Programming.
Simon Foster, Mario Gleirscher, Tim Kelly, 2021, ITNOW.
Simon Foster, Jim Woodcock, Kangfeng Ye, 2021, Software and Systems Modeling.