Jim Woodcock
Identifiers
No identifiers captured yet.
Papers (5)
- Software Engineering for Self-Adaptive Robotics: A Research Agenda cs.SE · 2025 · author #8
- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP cs.LO · 2018 · author #5
- Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra cs.LO · 2018 · author #4
- Unifying Theories of Time with Generalised Reactive Processes cs.LO · 2017 · author #3
- From Formalised State Machines to Implementations of Robotic Controllers cs.RO · 2017 · author #5
Mentions
No mention provenance yet.
Frequent Coauthors
- Ana Cavalcanti 5 shared papers
- Simon Foster 3 shared papers
- Alvaro Miyazawa 2 shared papers
- Anastasios Tefas 1 shared papers
- Cl\'audio Gomes 1 shared papers
- Frank Zeyda 1 shared papers
- Hassan Sartaj 1 shared papers
- Houxiang Zhang 1 shared papers
- James Baxter 1 shared papers
- Jon Timmis 1 shared papers
- Kangfeng Ye 1 shared papers
- Lukas Esterle 1 shared papers
- Pedro Ribeiro 1 shared papers
- Peter Gorm Larsen 1 shared papers
- Shaukat Ali 1 shared papers
- Wei Li 1 shared papers