Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Simon
    Last name: Foster
    DBLP: 14/4971
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 26  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Simon Foster, Jim Woodcock.
    Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Tilia Ellendorff, Simon Foster, Fabio Rinaldi.
    The PsyMine Corpus - A Corpus annotated with Psychiatric Disorders and their Etiological Factors.
    Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, Portoro┼ż, Slovenia, May 23-28, 2016. 2016 (0) 2016
    Conference paper
    Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René Nilsson, Carl Gamble, Simon Foster.
    Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Jim Woodcock, Simon Foster, Andrew Butterfield.
    Heterogeneous Semantics and Unifying Theories.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Simon Foster, Frank Zeyda, Jim Woodcock.
    Unifying Heterogeneous State-Spaces with Lenses.
    Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock.
    Towards a UTP Semantics for Modelica.
    Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 (0) 2016
    Conference paper
    Frank Zeyda, Simon Foster, Leo Freitas.
    An Axiomatic Value Model for Isabelle/UTP.
    Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 (0) 2016
    Conference paper
    Simon Foster, Georg Struth.
    On the Fine-Structure of Regular Algebra.
    J. Autom. Reasoning 2015, Volume 54 (0) 2015
    Book chapter
    Simon Foster, Jim Woodcock.
    Mechanised Theory Engineering in Isabelle.
    Dependable Software Systems Engineering 2015, Volume 40 (0) 2015
    Conference paper
    Luís Diogo Couto, Simon Foster, Richard John Payne.
    Towards Verification of Constituent Systems through Automated Proof.
    CoRR 2014, Volume 0 (0) 2014
    Show item 1 to 10 of 26  

    Your query returned 26 matches in the database.