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 177  
    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
    Conference paper
    Wei Li, Alvaro Miyazawa, Pedro Ribeiro 0002, Ana Cavalcanti, Jim Woodcock, Jonathan Timmis.
    From Formalised State Machines to Implementations of Robotic Controllers.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Roderick Chapman, Neil White, Jim Woodcock.
    What can agile methods bring to high-integrity software development?
    Commun. ACM 2017, Volume 60 (0) 2017
    Book chapter
    Ana Cavalcanti, Alvaro Miyazawa, Richard Payne, Jim Woodcock.
    Sound Simulation and Co-simulation for Robotics.
    Present and Ulterior Software Engineering. 2017 (0) 2017
    Conference paper
    Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda.
    Unifying Theories of Reactive Design Contracts.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda.
    Unifying Theories of Timed with Generalised Reactive Processes.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce.
    Features of Integrated Model-Based Co-modelling and Co-simulation Technology.
    Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers 2018 (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
    Show item 1 to 10 of 177  

    Your query returned 177 matches in the database.