Simon Foster

Identifiers

• name variant Simon Foster 0.60 · backfill

Papers (8)

1. Mechanised Assurance Cases with Integrated Formal Methods in Isabelle cs.LO · 2019 · author #2
2. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP cs.LO · 2018 · author #1
3. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra cs.LO · 2018 · author #1
4. Unifying Theories of Time with Generalised Reactive Processes cs.LO · 2017 · author #1
5. An automated image analysis framework for segmentation and division plane detection of single live Staphylococcus aureus cells which can operate at millisecond sampling time scales using bespoke Slimfield microscopy physics.bio-ph · 2016 · author #3
6. Automated image segmentation and division plane detection in single live Staphylococcus aureus cells q-bio.SC · 2016 · author #3
7. Towards Verification of Constituent Systems through Automated Proof cs.SE · 2014 · author #2
8. Dependently Typed Programming based on Automated Theorem Proving cs.PL · 2011 · author #2

Mentions

• 1404.7792 #2 · backfill · confidence 0.70 Simon Foster
• 1112.3833 #2 · backfill · confidence 0.70 Simon Foster

Frequent Coauthors

• Ana Cavalcanti 3 shared papers
• Jim Woodcock 3 shared papers
• Helen Miller 2 shared papers
• Mark C. Leake 2 shared papers
• Adam J. M. Wollman 1 shared papers
• Adam J.M. Wollman 1 shared papers
• Alasdair Armstrong 1 shared papers
• Alvaro Miyazawa 1 shared papers
• Frank Zeyda 1 shared papers
• Georg Struth 1 shared papers
• James Baxter 1 shared papers
• Kangfeng Ye 1 shared papers
• Luis Diogo Couto 1 shared papers
• Mario Gleirscher 1 shared papers
• Richard Payne 1 shared papers
• Tim Kelly 1 shared papers
• Yakoub Nemouchi 1 shared papers