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 25 of 171  
    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
    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
    Conference paper
    Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock.
    A Stepwise Approach to Linking Theories.
    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, 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
    Gerard Ekembe Ngondi, Jim Woodcock.
    UTP Semantics of Reactive Processes with Continuations.
    Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 (0) 2016
    Conference paper
    Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao.
    Java in the Safety-Critical Domain.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 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
    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
    Journal article
    Shu Cheng, Jim Woodcock, Deepak D'Souza.
    Using formal reasoning on a model of tasks for FreeRTOS.
    Formal Asp. Comput. 2015, Volume 27 (0) 2015
    Book chapter
    Simon Foster, Jim Woodcock.
    Mechanised Theory Engineering in Isabelle.
    Dependable Software Systems Engineering 2015, Volume 40 (0) 2015
    Conference paper
    John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock.
    Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.
    3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015 2015 (0) 2015
    Conference paper
    Jim Woodcock, Cliff B. Jones.
    Editorial.
    Formal Asp. Comput. 2015, Volume 27 (0) 2015
    Conference paper
    Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen.
    Model checking CML: tool development and industrial applications.
    Formal Asp. Comput. 2015, Volume 27 (0) 2015
    Conference paper
    Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock.
    Refinement-Based Verification of the FreeRTOS Scheduler in VCC.
    Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska 0001.
    Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.
    ACM Comput. Surv. 2015, Volume 48 (0) 2015
    Conference paper
    Jim Woodcock, Andy J. Wellings, Ana Cavalcanti.
    Mobile CSP.
    Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings 2016 (0) 2015
    Conference paper
    Ana Cavalcanti, Wen-ling Huang, Jan Peleska 0001, Jim Woodcock.
    CSP and Kripke Structures.
    Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock.
    A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.
    FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings 2014 (0) 2014
    Show item 1 to 25 of 171  

    Your query returned 171 matches in the database.