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 100 of 167  
    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
    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
    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
    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
    Ana Cavalcanti, Wen-ling Huang, Jan Peleska, 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
    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.
    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
    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
    Conference paper
    Jim Woodcock.
    Engineering UToPiA - Formal Semantics for CML.
    FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock.
    Test-data generation for control coverage by proof.
    Formal Asp. Comput. 2014, Volume 26 (0) 2014
    Conference paper
    Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock.
    Rapid Prototyping of a Semantically Well Founded Circus Model Checker.
    Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    James Mistry, Matthew Naylor, Jim Woodcock.
    Adapting FreeRTOS for multicores: an experience report.
    Softw., Pract. Exper. 2014, Volume 44 (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
    Samuel Canham, Jim Woodcock.
    Three Approaches to Timed External Choice in UTP.
    Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 2015 (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
    Conference paper
    Kun Wei, Jim Woodcock.
    Towards Algebraic Semantics of Circus Time.
    Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 2015 (0) 2014
    Journal article
    Ana Cavalcanti, Andy J. Wellings, Jim Woodcock.
    The Safety-Critical Java memory model formalised.
    Formal Asp. Comput. 2013, Volume 25 (0) 2013
    Journal article
    Marcel Oliveira, Ana Cavalcanti, Jim Woodcock.
    Unifying theories in ProofPower-Z.
    Formal Asp. Comput. 2013, Volume 25 (0) 2013
    Conference paper
    Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei.
    Safety-critical Java programs from Circus models.
    Real-Time Systems 2013, Volume 49 (0) 2013
    Conference paper
    Ana Cavalcanti, Alexandre Mota, Jim Woodcock.
    Simulink Timed Models for Program Verification.
    Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (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
    Victor Bandur, Jim Woodcock.
    Unifying Theories of Logic and Specification.
    Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings 2013 (0) 2013
    Conference paper
    Marcel Vinicius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock.
    A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP.
    Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Kun Wei, Jim Woodcock, Alan Burns.
    Modelling temporal behaviour in complex systems with Timebands.
    Formal Methods in System Design 2013, Volume 43 (0) 2013
    Conference paper
    John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock.
    Foundations for Model-Based Engineering of Systems of Systems.
    Complex Systems Design Management, Proceedings of the Fourth International Conference on Complex Systems Design Management CSDM 2013, Paris, France, December 4-6, 2013 2014 (0) 2013
    Book chapter
    John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock.
    Industrial Deployment of Formal Methods: Trends and Challenges.
    Industrial Deployment of System Engineering Methods 2013 (0) 2013
    Conference paper
    Juan Ignacio Perna, Jim Woodcock.
    Mechanised wire-wise verification of Handel-C synthesis.
    Sci. Comput. Program. 2012, Volume 77 (0) 2012
    Conference paper
    Jim Woodcock.
    Editorial.
    Formal Asp. Comput. 2012, Volume 24 (0) 2012
    Conference paper
    Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King.
    A Plug-in Based Approach for UML Model Simulation.
    Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Jim Woodcock, Victor Bandur.
    Unifying Theories of Undefinedness in UTP.
    Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, S. Perry.
    Features of CML: A formal modelling language for Systems of Systems.
    7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012 2012 (0) 2012
    Book chapter
    Kun Wei, Jim Woodcock, Alan Burns.
    Modelling Temporal Behaviour in Complex Systems with Timebands.
    Conquering Complexity 2012 (0) 2012
    Conference paper
    Zhiming Liu, Jim Woodcock.
    Editorial.
    Formal Asp. Comput. 2011, Volume 23 (0) 2011
    Conference paper
    Ana Cavalcanti, Andy J. Wellings, Jim Woodcock.
    The Safety-Critical Java Memory Model: A Formal Account.
    FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Kun Wei, Jim Woodcock, Alan Burns.
    Timed Circus: Timed CSP with the Miracle.
    (0) 2011
    Conference paper
    Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige.
    Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.
    (0) 2011
    Conference paper
    Daniel Kroening, Tiziana Margaria, Jim Woodcock.
    Editorial.
    Formal Asp. Comput. 2011, Volume 23 (0) 2011
    Conference paper
    Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda.
    Correct hardware synthesis - An algebraic approach.
    Acta Inf. 2011, Volume 48 (0) 2011
    Conference paper
    Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda.
    Safety-critical Java in Circus.
    The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011 2011 (0) 2011
    Conference paper
    Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei.
    Modelling and Implementing Complex Systems with Timebands.
    Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010 2010 (0) 2010
    Book chapter
    Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti.
    Programming Phase: Formal Methods.
    Encyclopedia of Software Engineering 2010 (0) 2010
    Conference paper
    Kun Wei, Jim Woodcock, Alan Burns.
    A Timed Model of Circus with the Reactive Design Miracle.
    8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 2010 (0) 2010
    Journal article
    Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock.
    Considering Software Preservation.
    ERCIM News 2010, Volume 2010 (0) 2010
    Journal article
    Leo Freitas, Jim Woodcock.
    A Chain Datatype in Z.
    Int. J. Software and Informatics 2009, Volume 3 (0) 2009
    Conference paper
    Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King.
    The Use of Model Transformation in the INESS Project.
    Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers 2010 (0) 2009
    Conference paper
    Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, Jim Woodcock.
    09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.
    Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009 2009 (0) 2009
    Conference paper
    Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock.
    Industrial Practice in Formal Methods: A Review.
    FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Andrew Butterfield, Pawel Gancarski, Jim Woodcock.
    State Visibility and Communication in Unifying Theories of Programming.
    TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China 2009 (0) 2009
    Conference paper
    Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock.
    Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.
    Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009 2009 (0) 2009
    Conference paper
    Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald.
    Formal methods: Practice and experience.
    ACM Comput. Surv. 2009, Volume 41 (0) 2009
    Conference paper
    Juan Ignacio Perna, Jim Woodcock.
    Mechanised Wire-wise Verification of Handel-C Synthesis.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 240 (0) 2009
    Conference paper
    Leo Freitas, Jim Woodcock.
    FDR Explorer.
    Formal Asp. Comput. 2009, Volume 21 (0) 2009
    Conference paper
    Marcel Oliveira, Ana Cavalcanti, Jim Woodcock.
    A UTP semantics for
    Formal Asp. Comput. 2009, Volume 21 (0) 2009
    Conference paper
    Leo Freitas, Jim Woodcock, Yichi Zhang.
    Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository.
    Sci. Comput. Program. 2008, Volume 74 (0) 2009
    Conference paper
    Leo Freitas, Jim Woodcock, Zheng Fu.
    POSIX file store in Z/Eves: An experiment in the verified software repository.
    Sci. Comput. Program. 2008, Volume 74 (0) 2009
    Conference paper
    Andrew Butterfield, Leo Freitas, Jim Woodcock.
    Mechanising a formal model of flash memory.
    Sci. Comput. Program. 2008, Volume 74 (0) 2009
    Conference paper
    Alistair A. McEwan, Jim Woodcock.
    Unifying Theories of Interrupts.
    Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 2010 (0) 2008
    Conference paper
    Jim Woodcock.
    The Miracle of Reactive Programming.
    Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 2010 (0) 2008
    Conference paper
    Juan Ignacio Perna, Jim Woodcock.
    UTP Semantics for Handel-C.
    Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 2010 (0) 2008
    Conference paper
    Emine Gokce Aydal, Richard F. Paige, Jim Woodcock.
    Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation.
    First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings 2008 (0) 2008
    Conference paper
    Jim Woodcock, Paul Boca.
    ABZ2008 VSR-Net Workshop.
    Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Leo Freitas, Jim Woodcock, Andrew Butterfield.
    POSIX and the Verification Grand Challenge: A Roadmap.
    13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland 2008 (0) 2008
    Conference paper
    Jim Woodcock, Leo Freitas.
    Linking VDM and Z.
    13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland 2008 (0) 2008
    Conference paper
    Will Harwood, Ana Cavalcanti, Jim Woodcock.
    A Theory of Pointers for the UTP.
    Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Emine Gokce Aydal, Mark Utting, Jim Woodcock.
    A Comparison of State-Based Modelling Tools for Model Validation.
    Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Cliff B. Jones, Jim Woodcock.
    Editorial.
    Formal Asp. Comput. 2008, Volume 20 (0) 2008
    Conference paper
    Leo Freitas, Jim Woodcock.
    Mechanising Mondex with Z/Eves.
    Formal Asp. Comput. 2008, Volume 20 (0) 2008
    Conference paper
    Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy L. Jacob.
    The certification of the Mondex electronic purse to ITSEC Level E6.
    Formal Asp. Comput. 2008, Volume 20 (0) 2008
    Conference paper
    Emine Gokce Aydal, Richard F. Paige, Jim Woodcock.
    Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.
    ECEASST 2008, Volume 9 (0) 2008
    Conference paper
    Leo Freitas, Jim Woodcock.
    Proving Theorems About JML Classes.
    Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 2007 (0) 2007
    Conference paper
    Andrew Butterfield, Jim Woodcock.
    Formalising Flash Memory: First Steps.
    12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007 (0) 2007
    Conference paper
    Leo Freitas, Zheng Fu, Jim Woodcock.
    POSIX file store in Z/Eves: an experiment in the verified software repository.
    12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007 (0) 2007
    Conference paper
    Leo Freitas, Konstantinos Mokos, Jim Woodcock.
    Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.
    12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007 (0) 2007
    Conference paper
    Marcel Oliveira, Jim Woodcock.
    Automatic Generation of Verified Concurrent Hardware.
    Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Juan Ignacio Perna, Jim Woodcock.
    A Denotational Semantics for Handel-C Hardware Compilation.
    Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti.
    Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.
    ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007 2007 (0) 2007
    Conference paper
    Andrew Butterfield, Adnan Sherif, Jim Woodcock.
    Slotted-Circus.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Emine Gokce Aydal, Richard F. Paige, Jim Woodcock.
    Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.
    Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers 2008 (0) 2007
    Conference paper
    Marcel Oliveira, Ana Cavalcanti, Jim Woodcock.
    A Denotational Semantics for Circus.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 187 (0) 2007
    Conference paper
    Leo Freitas, Jim Woodcock.
    FDR Explorer.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 187 (0) 2007
    Conference paper
    Cliff B. Jones, Jim Woodcock.
    Editorial.
    Formal Asp. Comput. 2007, Volume 19 (0) 2007
    Conference paper
    Jim Woodcock, Richard Banach.
    The Verification Grand Challenge.
    J. UCS 2007, Volume 13 (0) 2007
    Conference paper
    Jim Woodcock.
    Verified Software Grand Challenge.
    FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock.
    A Layered Behavioural Model of Platelets.
    11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA 2006 (0) 2006
    Conference paper
    Leo Freitas, Ana Cavalcanti, Jim Woodcock.
    Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.
    Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings 2006 (0) 2006
    Show item 1 to 100 of 167  

    Your query returned 167 matches in the database.