Jim Woodcock
Orcid: 0000000179552702Affiliations:
 University of York, Department of Computer Science, UK
According to our database^{1},
Jim Woodcock
authored at least 217 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on viaf.org

on orcid.org

on id.loc.gov

on dnb.info

on isni.org
On csauthors.net:
Bibliography
2024
J. Log. Algebraic Methods Program., February, 2024
CoRR, 2024
2023
Softw. Syst. Model., December, 2023
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems.
Formal Aspects Comput., March, 2023
Computer, February, 2023
CoRR, 2023
CoRR, 2023
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving.
CoRR, 2023
Proceedings of the Theoretical Aspects of Computing  ICTAC 2023, 2023
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing LightTreatment.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2022
Softw. Syst. Model., 2022
Formal Aspects Comput., 2022
CoRR, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
2021
J. Log. Algebraic Methods Program., 2021
Formal Aspects Comput., 2021
Formal Aspects Comput., 2021
Formal Aspects Comput., 2021
Formal Aspects Comput., 2021
Verification of Cosimulation Algorithms Subject to Algebraic Loops and Adaptive Steps.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Formally Verified Simulations of StateRich Processes Using Interaction Trees in Isabelle/HOL.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and SelfOrganizing Systems, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
2020
Development Automation of RealTime Java: ModelDriven Transformation and Synthesis.
ACM Trans. Embed. Comput. Syst., 2020
Theor. Comput. Sci., 2020
Sci. Comput. Program., 2020
ACM Comput. Surv., 2020
Uncertainty Quantification and Runtime Monitoring Using EnvironmentAware Digital Twins.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
2019
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Softw. Syst. Model., 2019
Proceedings of the Unifying Theories of Programming  7th International Symposium, 2019
Proceedings of the Unifying Theories of Programming  7th International Symposium, 2019
2018
Inf. Process. Lett., 2018
CoRR, 2018
Proceedings of the Formal Methods: Foundations and Applications  21st Brazilian Symposium, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Formal Aspects of Component Software  15th International Conference, 2018
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Formal Aspects Comput., 2017
CoRR, 2017
Commun. ACM, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
Proceedings of the Present and Ulterior Software Engineering., 2017
2016
Proceedings of the Unifying Theories of Programming  6th International Symposium, 2016
Proceedings of the Unifying Theories of Programming  6th International Symposium, 2016
Proceedings of the Unifying Theories of Programming  6th International Symposium, 2016
Proceedings of the Engineering Trustworthy Software Systems  Second International School, 2016
Proceedings of the Engineering Trustworthy Software Systems  Second International School, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Towards Semantically Integrated Models and Tools for CyberPhysical Systems Design.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Theoretical Aspects of Computing  ICTAC 2016, 2016
Proceedings of the Theoretical Aspects of Computing  ICTAC 2016, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the Distributed Autonomous Robotic Systems, 2016
Integrated tool chain for modelbased design of CyberPhysical Systems: The INTOCPS project.
Proceedings of the 2016 2nd International Workshop on Modelling, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
Formal Aspects Comput., 2015
Formal Aspects Comput., 2015
Systems of Systems Engineering: Basic Concepts, ModelBased Techniques, and Research Directions.
ACM Comput. Surv., 2015
Proceedings of the Formal Methods: Foundations and Applications  18th Brazilian Symposium, 2015
Proceedings of the Theoretical Aspects of Computing  ICTAC 2015, 2015
CyberPhysical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
Proceedings of the Formal Methods and Software Engineering, 2015
2014
Softw. Pract. Exp., 2014
Formal Aspects Comput., 2014
Proceedings of the Unifying Theories of Programming  5th International Symposium, 2014
Proceedings of the Unifying Theories of Programming  5th International Symposium, 2014
Proceedings of the Unifying Theories of Programming  5th International Symposium, 2014
An approach for managing semantic heterogeneity in Systems of Systems Engineering.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014
Proceedings of the Software Engineering and Formal Methods  12th International Conference, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the FM 2014: Formal Methods, 2014
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.
Proceedings of the FM 2014: Formal Methods, 2014
2013
Real Time Syst., 2013
Formal Methods Syst. Des., 2013
Formal Aspects Comput., 2013
Formal Aspects Comput., 2013
A Verified Protocol to Implement Multiway Synchronisation and Interleaving in CSP.
Proceedings of the Software Engineering and Formal Methods  11th International Conference, 2013
Proceedings of the Formal Methods: Foundations and Applications  16th Brazilian Symposium, 2013
Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013
Proceedings of the Complex Systems Design & Management, 2013
Proceedings of the Theories of Programming and Formal Methods, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
2012
Formal Aspects Comput., 2012
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
Proceedings of the Modelling Foundations and Applications  8th European Conference, 2012
Proceedings of the Conquering Complexity, 2012
2011
Formal Aspects Comput., 2011
Formal Aspects Comput., 2011
Acta Informatica, 2011
Proceedings of the 9th International Workshop on Java Technologies for Realtime and Embedded Systems, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Using Model Transformation to Generate Graphical CounterExamples for the Formal Analysis of xUML Models.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the FM 2011: Formal Methods, 2011
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
ERCIM News, 2010
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository.
Sci. Comput. Program., 2009
Sci. Comput. Program., 2009
Sci. Comput. Program., 2009
Int. J. Softw. Informatics, 2009
Formal Aspects Comput., 2009
Formal Aspects Comput., 2009
ACM Comput. Surv., 2009
Proceedings of the TASE 2009, 2009
Proceedings of the 6th International Conference on Digital Preservation, 2009
Putting Formal Specifications under the Magnifying Glass: Modelbased Testing for Validation.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the Formal Methods for Components and Objects  8th International Symposium, 2009
Proceedings of the FM 2009: Formal Methods, 2009
09381 Extended Abstracts Collection  Refinement Based Methods for the Construction of Dependable Systems.
Proceedings of the Refinement Based Methods for the Construction of Dependable Systems, 13.09., 2009
2008
Formal Aspects Comput., 2008
Formal Aspects Comput., 2008
Formal Aspects Comput., 2008
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008
Evaluation of OCL for LargeScale Modelling: A Different View of the Mondex Purse.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Observations for Assertionbased Scenarios in the context of Model Validation and Extension to Test Case Generation.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
J. Univers. Comput. Sci., 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
GoalOriented Automatic Test Case Generators for MC/DC Compliancy.
Proceedings of the ICSOFT 2007, 2007
Proceedings of the Formal Methods and Software Engineering, 2007
Proceedings of the Formal Methods and Software Engineering, 2007
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Formal Methods and Hybrid RealTime Systems, 2007
2006
Innov. Syst. Softw. Eng., 2006
Formal Aspects Comput., 2006
Formal Aspects Comput., 2006
Proceedings of the 11th Refinement Workshop, 2006
Proceedings of the 11th Refinement Workshop, 2006
Computer, 2006
Computer, 2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
Proceedings of the Theoretical Aspects of Computing, 2006
Taking Our Own Medicine: Applying the Refinement Calculus to StateRich Refinement Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the FM 2006: Formal Methods, 2006
2005
Int. J. Softw. Tools Technol. Transf., 2005
Softw. Syst. Model., 2005
Innov. Syst. Softw. Eng., 2005
Proceedings of the REFINE 2005 Workshop, 2005
Proceedings of the REFINE 2005 Workshop, 2005
Proceedings of the FM 2005: Formal Methods, 2005
Proceedings of the 12th International Workshop on Abstract State Machines, 2005
2004
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Refinement Techniques in Software Engineering, 2004
Proceedings of the Refinement Techniques in Software Engineering, 2004
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
A refinement based approach to calculating a fault tolerant railway signal device.
Proceedings of the Building the Information Society, 2004
2003
IEE Proc. Softw., 2003
Formal Aspects Comput., 2003
Formal Aspects Comput., 2003
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the FME 2002: Formal Methods, 2002
2001
Proceedings of the 5th Irish Workshop on Formal Methods, 2001
Proceedings of the 8th AsiaPacific Software Engineering Conference (APSEC 2001), 2001
2000
Guest Editors' IntroductionSpecial Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems.
IEEE Trans. Software Eng., 2000
Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems.
Formal Methods Syst. Des., 2000
The First World Congress on Formal Methods in the Development of Computing Systems.
Formal Aspects Comput., 2000
1999
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus.
Sci. Comput. Program., 1999
Proceedings of the TOOLS 1999: 30th International Conference on Technology of ObjectOriented Languages and Systems, Delivering Quality Software, 1999
Proceedings of the Integrated Formal Methods, 1999
1998
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comput. Soc., 1998
Formal Aspects Comput., 1998
Comput. J., 1998
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Proceedings of the 9th International Workshop on Software Specification and Design, 1998
1996
J. Comput. Secur., 1996
Formal Aspects Comput., 1996
ACM Comput. Surv., 1996
Using Z  specification, refinement, and proof.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 9780139484728, 1996
1995
IEEE Trans. Software Eng., 1995
Formal Aspects Comput., 1995
1994
Proceedings of the Z User Workshop, Cambridge, UK, 2930 June 1994, Proceedings, 1994
1992
Comput. J., 1992
Proceedings of the 5th Refinement Workshop, 1992
1991
Two Refinement Case Studies.
Proceedings of the VDM '91, 1991
An Introduction to Refinement in Z.
Proceedings of the VDM '91, 1991
The Refinement Calculus.
Proceedings of the VDM '91, 1991
Proceedings of the VDM '91, 1991
1990
A Simpler Semantics for Z.
Proceedings of the Z User Workshop, 1990
Proceedings of the VDM '90, 1990
1989
ACM SIGSOFT Softw. Eng. Notes, 1989
Softw. Eng. J., 1989
1988
ACM SIGSOFT Softw. Eng. Notes, 1988
Proceedings of the VDM '88, 1988
1987
Softw. Eng. J., 1987