Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Jim
    Last name: Woodcock
    DBLP: w/JWoodcock
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 169  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Maurizio Proietti, Hirohisa Seki, Jim Woodcock.
    Editorial.
    Formal Asp. Comput. 2017, Volume 29 (0) 2017
    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
    Journal article
    Kangfeng Ye, Jim Woodcock.
    Model checking of state-rich formalism
    STTT 2017, Volume 19 (0) 2017
    Journal article
    Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jonathan Timmis.
    From Formalised State Machines to Implementations of Robotic Controllers.
    CoRR 2017, Volume 0 (0) 2017
    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
    Ana Cavalcanti, Jim Woodcock, Nuno Amálio.
    Behavioural Models for FMI Co-simulations.
    Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Nuno Amálio, Richard Payne, Ana Cavalcanti, Jim Woodcock.
    Checking SysML Models for Co-simulation.
    Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh.
    Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.
    2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, April 11, 2016 2016 (0) 2016
    Show item 1 to 10 of 169  

    Your query returned 169 matches in the database.