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 27 of 27  
    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
    Jim Woodcock, Simon Foster.
    UTP by Example: Designs.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 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
    Conference paper
    Simon Foster, Georg Struth.
    Regular Algebras.
    Archive of Formal Proofs 2014, Volume 2014 (0) 2014
    Conference paper
    Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen.
    Contracts in CML.
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II 2014 (0) 2014
    Conference paper
    Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen.
    An approach for managing semantic heterogeneity in Systems of Systems Engineering.
    9th International Conference on System of Systems Engineering, SoSE 2014, Glenelg, Australia, June 9-13, 2014 2014 (0) 2014
    Conference paper
    Simon Foster, Frank Zeyda, Jim Woodcock.
    Isabelle/UTP: A Mechanised Theory Engineering Framework.
    Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 2015 (0) 2014
    Journal article
    Tanja Manser, Simon Foster, Rhona Flin, Rona Patey.
    Team Communication During Patient Handover From the Operating Room: More Than Facts and Figures.
    Human Factors 2013, Volume 55 (0) 2013
    Conference paper
    Simon Foster, Jim Woodcock.
    Unifying Theories of Programming in Isabelle.
    Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures 2013 (0) 2013
    Conference paper
    Alasdair Armstrong, Simon Foster, Georg Struth.
    Dependently Typed Programming Based on Automated Theorem Proving.
    Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Simon Foster, Georg Struth.
    Automated Analysis of Regular Algebra.
    Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Simon Foster, Ondrej Rypacek, Georg Struth.
    Correctness of Object Oriented Models by Extended Type Inference.
    Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleskay, Ralph Hainsz, Zoe Andrews, Richard Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolinik, Andre Didierk.
    COMPASS tool vision for a system of systems Collaborative Development Environment.
    7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012 2012 (0) 2012
    Conference paper
    Paul Fairley, Kevin Ginty, Simon Kerridge, Simon Foster, Stephen Trowell, Steve Hustwayte, Steven Butcher, Josh Brown 0001, Roland Major.
    RMAS - Delivering an integrated Research Management Administration System.
    11th International Conference on Current Research Information Systems, CRIS 2012: e-Infrastructures for Research and Innovation - Linking Information Systems to Improve Scientific Knowledge Production, Prague, Czech Republic, June 6-9, 2012 2012 (0) 2012
    Conference paper
    Simon Foster, Georg Struth.
    Integrating an Automated Theorem Prover into Agda.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Simon Foster, Georg Struth, Tjark Weber.
    Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial).
    Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Yi Wang, Simon Kerridge, Peter Smith, Simon Foster, Steve Coppin, Stephen Trowell.
    Integration of CERIF, ESB and Cloud in the Development of a National Global Research and Administrative Management System.
    Metadata and Semantic Research - 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Alasdair Armstrong, Simon Foster, Georg Struth.
    Dependently Typed Programming based on Automated Theorem Proving
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Barry Norton, Simon Foster, Andrew Hughes.
    A Compositional Operational Semantics for OWL-S.
    Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings 2005 (0) 2005
    Show item 1 to 27 of 27  

    Your query returned 27 matches in the database.