Jon Timmis

Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.
Research output: Contribution to journal › Article › peer-review

Open Access
File
A study of error diversity in robotic swarms for task partitioning in foraging tasks
Buchanan Berumen, E., Alden, K. J., Pomfret, A., Timmis, J. & Tyrrell, A., 4 Jan 2023, In: Frontiers in Robotics and AI. 9, 30 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Bringing RoboStar and RT-Tester Together
Cavalcanti, A., Miyazawa, A., Schulze, U. & Timmis, J., 18 Aug 2023, Applicable Formal Methods for Safe Industrial Products. Haxthausen, A. E., Huang, W. & Roggenbach, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 16-33 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14165 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Engineering Robotic Swarms
James Baxter (Speaker), Kangfeng Ye (Speaker), Richard Alan Redpath (Other) & Jonathan Ian Timmis (Speaker)
22 Mar 2019
Activity: Other › Public engagement and outreach (general)
DATE - Design, Automation and Test in Europe
Alan Gregory Millard (Participant), Anju Johnson (Participant), James Alan Hilder (Participant), David Malcolm Halliday (Advisor), Andy Tyrrell (Participant), Jon Timmis (Participant), J. Liu (Participant), Shvan Karim (Participant), Jim Harkin (Participant) & Liam McDaid (Participant)
19 Mar 2018 → 23 Mar 2018
Activity: Participating in or organising an event › Conference

File

Collaborations and top research areas from the last five years