Jim Woodcock

ORCID

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 58

Top Venues

CoRR

Formal Aspects Comput.

UTP

ISoLA (4)

Publications

Kangfeng Ye, Simon Foster, Jim Woodcock
Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM (2022)
Pedro Antonino, Augusto Sampaio, Jim Woodcock
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. CoRR (2022)
Thomas Wright, Cláudio Gomes, Jim Woodcock
Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) (2022)
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21 (2) (2022)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) (2022)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121 (2021)
Mario Gleirscher, Radu Calinescu, Jim Woodcock
RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. 33 (4-5) (2021)
Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock
Editorial. Formal Aspects Comput. 33 (6) (2021)
Kangfeng Ye, Simon Foster, Jim Woodcock
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. RAMiCS (2021)
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)
Simon Foster, Chung-Kil Hur, Jim Woodcock
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. CoRR (2021)
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 (2021)
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
A Manifesto for Applicable Formal Methods. CoRR (2021)
Lukas Esterle, Barry Porter, Jim Woodcock
Verification and Uncertainties in Self-integrating System. ACSOS-C (2021)
Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock
Editorial. Formal Aspects Comput. 33 (3) (2021)
Simon Foster, Chung-Kil Hur, Jim Woodcock
Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. CONCUR (2021)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33 (3) (2021)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) (2020)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197 (2020)
Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA (2020)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR (2020)
Mario Gleirscher, Simon Foster, Jim Woodcock
New Opportunities for Integrated Formal Methods. ACM Comput. Surv. 52 (6) (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR (2020)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802 (2020)
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) (2020)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP (2019)
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) (2019)
Tony Hoare, Georg Struth, Jim Woodcock
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS (2018)
Mario Gleirscher, Simon Foster, Jim Woodcock
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? CoRR (2018)
Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock
Analysing RoboChart with Probabilities. SBMF (2018)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135 (2018)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS (2018)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR (2018)
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) (2018)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR (2018)
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)
Roderick Chapman, Neil White, Jim Woodcock
What can agile methods bring to high-integrity software development? Commun. ACM 60 (10) (2017)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying Theories of Reactive Design Contracts. CoRR (2017)
Simon Foster, Jim Woodcock
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Concurrency, Security, and Puzzles (2017)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. CoRR (2017)
Kangfeng Ye, Jim Woodcock
by linking to CSP ‖ B. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Theories of Timed with Generalised Reactive Processes. CoRR (2017)
Maurizio Proietti, Hirohisa Seki, Jim Woodcock
Editorial. Formal Aspects Comput. 29 (1) (2017)
Ana Cavalcanti, Jim Woodcock, Nuno Amálio
Behavioural Models for FMI Co-simulations. ICTAC (2016)
Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock
Checking SysML Models for Co-simulation. ICFEM (2016)
Jim Woodcock, Simon Foster, Andrew Butterfield
Heterogeneous Semantics and Unifying Theories. ISoLA (1) (2016)
Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao
Java in the Safety-Critical Domain. SETSS (2016)
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)
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)
Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock
Towards a UTP Semantics for Modelica. UTP (2016)
Jim Woodcock, Simon Foster
UTP by Example: Designs. SETSS (2016)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. DARS (2016)
Gerard Ekembe Ngondi, Jim Woodcock
UTP Semantics of Reactive Processes with Continuations. UTP (2016)
Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock
A Stepwise Approach to Linking Theories. UTP (2016)
Simon Foster, Frank Zeyda, Jim Woodcock
Unifying Heterogeneous State-Spaces with Lenses. ICTAC (2016)
Shu Cheng, Jim Woodcock, Deepak D'Souza
Using formal reasoning on a model of tasks for FreeRTOS. Formal Aspects Comput. 27 (1) (2015)
Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27 (5-6) (2015)
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)
Jim Woodcock, Cliff B. Jones
Editorial. Formal Aspects Comput. 27 (5-6) (2015)
Jim Woodcock, Andy J. Wellings, Ana Cavalcanti
Mobile CSP. SBMF (2015)
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) (2015)
Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM (2015)
Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
CSP and Kripke Structures. ICTAC (2015)
Simon Foster, Frank Zeyda, Jim Woodcock
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP (2014)
James Mistry, Matthew Naylor, Jim Woodcock
Adapting FreeRTOS for multicores: an experience report. Softw. Pract. Exp. 44 (9) (2014)
Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock
Test-data generation for control coverage by proof. Formal Aspects Comput. 26 (4) (2014)
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen
Contracts in CML. ISoLA (2) (2014)
Samuel Canham, Jim Woodcock
Three Approaches to Timed External Choice in UTP. UTP (2014)
Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. FM (2014)
Jim Woodcock
Engineering UToPiA - Formal Semantics for CML. FM (2014)
Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM (2014)
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)
Kun Wei, Jim Woodcock
Towards Algebraic Semantics of Circus Time. UTP (2014)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25 (1) (2013)
Kun Wei, Jim Woodcock, Alan Burns
Modelling temporal behaviour in complex systems with Timebands. Formal Methods Syst. Des. 43 (3) (2013)
Simon Foster, Jim Woodcock
Unifying Theories of Programming in Isabelle. ICTAC Training School on Software Engineering (2013)
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
The Safety-Critical Java memory model formalised. Formal Aspects Comput. 25 (1) (2013)
Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei
Safety-critical Java programs from Circus models. Real Time Syst. 49 (5) (2013)
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)
John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock
Foundations for Model-Based Engineering of Systems of Systems. CSDM (2013)
Ana Cavalcanti, Alexandre Mota, Jim Woodcock
Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods (2013)
Victor Bandur, Jim Woodcock
Unifying Theories of Logic and Specification. SBMF (2013)
Kun Wei, Jim Woodcock, Ana Cavalcanti
with Reactive Designs. UTP (2012)
Jim Woodcock, Victor Bandur
Unifying Theories of Undefinedness in UTP. UTP (2012)
Juan Ignacio Perna, Jim Woodcock
Mechanised wire-wise verification of Handel-C synthesis. Sci. Comput. Program. 77 (4) (2012)
Jim Woodcock
Editorial. Formal Aspects Comput. 24 (3) (2012)
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. SoSE (2012)
Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King
A Plug-in Based Approach for UML Model Simulation. ECMFA (2012)
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS (2011)
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda
Safety-critical Java in Circus. JTRES (2011)
Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda
Correct hardware synthesis - An algebraic approach. Acta Informatica 48 (7-8) (2011)
Kun Wei, Jim Woodcock, Alan Burns
Timed Circus: Timed CSP with the Miracle. ICECCS (2011)
Daniel Kroening, Tiziana Margaria, Jim Woodcock
Editorial. Formal Aspects Comput. 23 (5) (2011)
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
The Safety-Critical Java Memory Model: A Formal Account. FM (2011)
Zhiming Liu, Jim Woodcock
Editorial. Formal Aspects Comput. 23 (2) (2011)
Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock
Considering Software Preservation. ERCIM News 2010 (80) (2010)
Kun Wei, Jim Woodcock, Alan Burns
A Timed Model of Circus with the Reactive Design Miracle. SEFM (2010)

Jim Woodcock.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jim Woodcock