Jim Woodcock

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 14

Top Topics

Automated Reasoning

Posterior Probability

Top Venues

Theories of Programming and Formal Methods

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Publications

Kangfeng Ye, Simon Foster, Jim Woodcock
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137 (2024)
Kangfeng Ye, Jim Woodcock
RoboCertProb: Property Specification for Probabilistic RoboChart Models. CoRR (2024)
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) (2024)
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
A manifesto for applicable formal methods. Softw. Syst. Model. 22 (6) (2023)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods (2023)
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 Ringer, Ivan Tyukin, Jim Woodcock
Trustworthy Autonomous Systems Through Verifiability. Computer 56 (2) (2023)
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)
Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere
Checking and Automating Confidentiality Theory in Isabelle/UTP. CoRR (2023)
Kangfeng Ye, Jim Woodcock, Simon Foster
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving. CoRR (2023)
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) (2023)
Jim Woodcock
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Kangfeng Ye, Simon Foster, Jim Woodcock
Formally Verified Animation for RoboChart using Interaction Trees. CoRR (2023)
Ziggy Attala, Ana Cavalcanti, Jim Woodcock
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC (2023)
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 (2023)