Jim Woodcock

Identifiers

• name variant Jim Woodcock 0.60 · backfill

Papers (8)

1. Engineering Reliable Autonomous Systems: Challenges and Solutions cs.RO · 2026 · author #28
2. Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering cs.SE · 2026 · author #4
3. A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects cs.DC · 2026 · author #7
4. Software Engineering for Self-Adaptive Robotics: A Research Agenda cs.SE · 2025 · author #8
5. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP cs.LO · 2018 · author #5
6. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra cs.LO · 2018 · author #4
7. Unifying Theories of Time with Generalised Reactive Processes cs.LO · 2017 · author #3
8. From Formalised State Machines to Implementations of Robotic Controllers cs.RO · 2017 · author #5

Mentions

• 2606.23760 #28 · arxiv_oai · confidence 0.70 Jim Woodcock
• 2606.22413 #4 · arxiv_oai · confidence 0.70 Jim Woodcock
• 2601.11646 #7 · arxiv_oai · confidence 0.70 Jim Woodcock

Frequent Coauthors

• Ana Cavalcanti 6 shared papers
• Simon Foster 4 shared papers
• Alvaro Miyazawa 2 shared papers
• Pedro Ribeiro 2 shared papers
• Anastasios Tefas 1 shared papers
• Angelo Ferrando 1 shared papers
• Brian Logan 1 shared papers
• Chao Wang 1 shared papers
• Charles Lesire 1 shared papers
• Christian Colombo 1 shared papers
• Clare Dixon 1 shared papers
• Cl\'audio Gomes 1 shared papers
• Colin Paterson 1 shared papers
• Daniela Briola 1 shared papers
• Diana Benjumea Hernandez 1 shared papers
• Fabio Papacchini 1 shared papers
• Fang Yan 1 shared papers
• Frank Zeyda 1 shared papers
• Haochi Wang 1 shared papers
• Hassan Sartaj 1 shared papers