default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJim Woodcock 0001
J. C. P. Woodcock
Person information
- affiliation: University of York, Department of Computer Science, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j78]Wei Li
, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis:
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48(6-7): 14 (2024)- [j77]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137: 100940 (2024) - [i20]Kangfeng Ye, Jim Woodcock:
RoboCertProb: Property Specification for Probabilistic RoboChart Models. CoRR abs/2403.08136 (2024) - 2023
- [j76]Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [j75]Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock:
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35(1): 1:1-1:2 (2023) - [j74]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A manifesto for applicable formal methods. Softw. Syst. Model. 22(6): 1737-1749 (2023) - [c133]Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51 - [c132]Jim Woodcock:
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products 2023: 237-253 - [c131]Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris:
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE 2023: 1-7 - [c130]Ziggy Attala, Ana Cavalcanti, Jim Woodcock:
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC 2023: 15-35 - [i19]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart using Interaction Trees. CoRR abs/2303.09106 (2023) - [i18]Kangfeng Ye, Jim Woodcock, Simon Foster:
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving. CoRR abs/2303.09692 (2023) - [i17]Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild:
State of the Art Report: Verified Computation. CoRR abs/2308.15191 (2023) - [i16]Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere:
Checking and Automating Confidentiality Theory in Isabelle/UTP. CoRR abs/2310.10658 (2023) - 2022
- [j73]Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock:
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34(1): 1-39 (2022) - [j72]Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock:
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21(2): 667-716 (2022) - [c129]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM 2022: 404-420 - [c128]John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2022: 3-8 - [c127]Thomas Wright, Cláudio Gomes, Jim Woodcock:
Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) 2022: 89-109 - [i15]Pedro Antonino, Augusto Sampaio, Jim Woodcock:
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. CoRR abs/2207.08854 (2022) - 2021
- [j71]Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021) - [j70]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3): 437-455 (2021) - [j69]Mario Gleirscher, Radu Calinescu, Jim Woodcock:
RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. 33(4-5): 763-802 (2021) - [j68]Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(6): 923-924 (2021) - [j67]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121: 100681 (2021) - [c126]Kangfeng Ye, Simon Foster, Jim Woodcock:
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. RAMiCS 2021: 465-482 - [c125]Lukas Esterle, Barry Porter, Jim Woodcock:
Verification and Uncertainties in Self-integrating System. ACSOS-C 2021: 220-225 - [c124]Simon Foster, Chung-Kil Hur, Jim Woodcock:
Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. CONCUR 2021: 20:1-20:18 - [c123]Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock:
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS 2021: 3-20 - [p7]Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen:
Verification in the Grand Challenge. Theories of Programming 2021: 125-156 - [p6]Jim Woodcock:
Hoare and He's Unifying Theories of Programming. Theories of Programming 2021: 285-316 - [e22]Shengchao Qin, Jim Woodcock, Wenhui Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings. Lecture Notes in Computer Science 13071, Springer 2021, ISBN 978-3-030-91264-2 [contents] - [e21]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents] - [i14]Simon Foster, Chung-Kil Hur, Jim Woodcock:
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. CoRR abs/2105.05133 (2021) - [i13]Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock:
A Survey of Practical Formal Methods for Security. CoRR abs/2109.01362 (2021) - [i12]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A Manifesto for Applicable Formal Methods. CoRR abs/2112.12758 (2021) - 2020
- [j66]Mario Gleirscher, Simon Foster, Jim Woodcock:
New Opportunities for Integrated Formal Methods. ACM Comput. Surv. 52(6): 117:1-117:36 (2020) - [j65]Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197: 102510 (2020) - [j64]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802: 105-140 (2020) - [j63]Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns:
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Trans. Embed. Comput. Syst. 19(5): 31:1-31:26 (2020) - [c122]John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2020: 49-53 - [c121]Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) 2020: 72-87 - [c120]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - [i11]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR abs/2007.13529 (2020) - [i10]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR abs/2009.09826 (2020)
2010 – 2019
- 2019
- [j62]Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock:
RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18(5): 3097-3149 (2019) - [c119]Tony Hoare, Georg Struth, Jim Woodcock:
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP 2019: 3-21 - [c118]Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye:
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP 2019: 80-105 - [d1]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material. Zenodo, 2019
- [i9]Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR abs/1905.05500 (2019) - 2018
- [j61]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135: 47-52 (2018) - [c117]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS 2018: 205-224 - [c116]Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS 2018: 137-155 - [c115]J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock:
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) 2018: 407-410 - [c114]Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock:
Analysing RoboChart with Probabilities. SBMF 2018: 198-214 - [i8]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR abs/1806.02101 (2018) - [i7]Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR abs/1807.08588 (2018) - [i6]Mario Gleirscher, Simon Foster, Jim Woodcock:
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? CoRR abs/1812.10103 (2018) - 2017
- [j60]Roderick Chapman, Neil White, Jim Woodcock:
What can agile methods bring to high-integrity software development? Commun. ACM 60(10): 38-41 (2017) - [j59]Maurizio Proietti, Hirohisa Seki, Jim Woodcock:
Editorial. Formal Aspects Comput. 29(1): 1-2 (2017) - [j58]Kangfeng Ye, Jim Woodcock:
Model checking of state-rich formalism Circus by linking to CSP ‖ B. Int. J. Softw. Tools Technol. Transf. 19(1): 73-96 (2017) - [c113]Simon Foster, Jim Woodcock:
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Concurrency, Security, and Puzzles 2017: 39-64 - [c112]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. SEFM Workshops 2017: 377-390 - [p5]Ana Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock:
Sound Simulation and Co-simulation for Robotics. Present and Ulterior Software Engineering 2017: 173-194 - [i5]Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. CoRR abs/1702.01783 (2017) - [i4]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Theories of Timed with Generalised Reactive Processes. CoRR abs/1712.10213 (2017) - [i3]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying Theories of Reactive Design Contracts. CoRR abs/1712.10233 (2017) - 2016
- [c111]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. CPS Data 2016: 1-6 - [c110]Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. DARS 2016: 517-529 - [c109]Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock:
Checking SysML Models for Co-simulation. ICFEM 2016: 450-465 - [c108]Ana Cavalcanti, Jim Woodcock, Nuno Amálio:
Behavioural Models for FMI Co-simulations. ICTAC 2016: 255-273 - [c107]Simon Foster, Frank Zeyda, Jim Woodcock:
Unifying Heterogeneous State-Spaces with Lenses. ICTAC 2016: 295-314 - [c106]Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster:
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) 2016: 171-186 - [c105]Jim Woodcock, Simon Foster, Andrew Butterfield:
Heterogeneous Semantics and Unifying Theories. ISoLA (1) 2016: 374-394 - [c104]Jim Woodcock, Simon Foster:
UTP by Example: Designs. SETSS 2016: 16-50 - [c103]Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao:
Java in the Safety-Critical Domain. SETSS 2016: 110-150 - [c102]Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock:
Towards a UTP Semantics for Modelica. UTP 2016: 44-64 - [c101]Gerard Ekembe Ngondi, Jim Woodcock:
UTP Semantics of Reactive Processes with Continuations. UTP 2016: 114-133 - [c100]Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock:
A Stepwise Approach to Linking Theories. UTP 2016: 134-154 - 2015
- [j57]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. 48(2): 18:1-18:41 (2015) - [j56]Shu Cheng, Jim Woodcock, Deepak D'Souza:
Using formal reasoning on a model of tasks for FreeRTOS. Formal Aspects Comput. 27(1): 167-192 (2015) - [j55]Jim Woodcock, Cliff B. Jones:
Editorial. Formal Aspects Comput. 27(5-6): 751-752 (2015) - [j54]Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen:
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27(5-6): 975-1001 (2015) - [c99]Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock:
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM 2015: 170-186 - [c98]John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock:
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE 2015: 40-46 - [c97]Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock:
CSP and Kripke Structures. ICTAC 2015: 505-523 - [c96]Jim Woodcock, Andy J. Wellings, Ana Cavalcanti:
Mobile CSP. SBMF 2015: 39-55 - [p4]Simon Foster, Jim Woodcock:
Mechanised Theory Engineering in Isabelle. Dependable Software Systems Engineering 2015: 246-287 - 2014
- [j53]Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock:
Test-data generation for control coverage by proof. Formal Aspects Comput. 26(4): 795-823 (2014) - [j52]James Mistry, Matthew Naylor, Jim Woodcock:
Adapting FreeRTOS for multicores: an experience report. Softw. Pract. Exp. 44(9): 1129-1154 (2014) - [c95]Jim Woodcock:
Engineering UToPiA - Formal Semantics for CML. FM 2014: 22-41 - [c94]Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock:
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. FM 2014: 62-77 - [c93]Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. ISoLA (2) 2014: 54-73 - [c92]Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock:
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM 2014: 235-249 - [c91]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. SoSE 2014: 113-118 - [c90]Samuel Canham, Jim Woodcock:
Three Approaches to Timed External Choice in UTP. UTP 2014: 1-20 - [c89]Simon Foster, Frank Zeyda, Jim Woodcock:
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP 2014: 21-41 - [c88]Kun Wei, Jim Woodcock:
Towards Algebraic Semantics of Circus Time. UTP 2014: 84-104 - 2013
- [j51]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java memory model formalised. Formal Aspects Comput. 25(1): 37-57 (2013) - [j50]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25(1): 133-158 (2013) - [j49]Kun Wei, Jim Woodcock, Alan Burns:
Modelling temporal behaviour in complex systems with Timebands. Formal Methods Syst. Des. 43(3): 520-551 (2013) - [j48]Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei:
Safety-critical Java programs from Circus models. Real Time Syst. 49(5): 614-667 (2013) - [c87]Ana Cavalcanti, Alexandre Mota, Jim Woodcock:
Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods 2013: 82-99 - [c86]John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock:
Foundations for Model-Based Engineering of Systems of Systems. CSDM 2013: 1-19 - [c85]Simon Foster, Jim Woodcock:
Unifying Theories of Programming in Isabelle. ICTAC Training School on Software Engineering 2013: 109-155 - [c84]Victor Bandur, Jim Woodcock:
Unifying Theories of Logic and Specification. SBMF 2013: 18-33 - [c83]Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock:
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. SEFM 2013: 46-60 - [p3]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: 123-143 - [e20]Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents] - [e19]Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents] - [e18]Zhiming Liu, Jim Woodcock, Huibiao Zhu:
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. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2 [contents] - 2012
- [j47]Jim Woodcock:
Editorial. Formal Aspects Comput. 24(3): 303 (2012) - [j46]Juan Ignacio Perna, Jim Woodcock:
Mechanised wire-wise verification of Handel-C synthesis. Sci. Comput. Program. 77(4): 424-443 (2012) - [c82]