Jim Woodcock
Orcid: 0000-0001-7955-2702Affiliations:
- University of York, Department of Computer Science, UK
According to our database1,
Jim Woodcock
authored at least 222 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 d-nb.info
-
on isni.org
On csauthors.net:
Bibliography
2024
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.
Auton. Robots, August, 2024
J. Log. Algebraic Methods Program., February, 2024
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving.
Theor. Comput. Sci., 2024
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.
CoRR, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
2023
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems.
Formal Aspects Comput., March, 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 Light-Treatment.
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
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
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Formally Verified Simulations of State-Rich 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 Self-Organizing 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
ACM Trans. Embed. Comput. Syst., 2020
Sci. Comput. Program., 2020
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware 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
Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material.
Dataset, November, 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
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
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
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 model-based design of Cyber-Physical Systems: The INTO-CPS 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, Model-Based 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
Cyber-Physical 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
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
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
Formal Methods Syst. Des., 2013
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
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
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Using Model Transformation to Generate Graphical Counter-Examples 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
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
Proceedings of the TASE 2009, 2009
Proceedings of the 6th International Conference on Digital Preservation, 2009
Putting Formal Specifications under the Magnifying Glass: Model-based 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
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 Assertion-based 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
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Goal-Oriented 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 Real-Time Systems, 2007
2006
Formal Aspects Comput., 2006
Formal Aspects Comput., 2006
Proceedings of the 11th Refinement Workshop, 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 State-Rich 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
2005
Int. J. Softw. Tools Technol. Transf., 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
Proceedings of the Building the Information Society, 2004
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 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
2001
Proceedings of the 5th Irish Workshop on Formal Methods, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
2000
Guest Editors' Introduction-Special 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
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 Object-Oriented 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
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
Using Z - specification, refinement, and proof.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-948472-8, 1996
1995
1994
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994
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
1990
A Simpler Semantics for Z.
Proceedings of the Z User Workshop, 1990
1989
1988
Proceedings of the VDM '88, 1988
1987
Softw. Eng. J., 1987