Projects per year
Fingerprint
Dive into the research topics where James Woodcock is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 11 Finished
-
UK Trustworthy Autonomous Systems Verifiability Node
Cavalcanti, A. L. C. (Project manager) & Woodcock, J. (Collaborator)
01/11/2020 → 30/04/2024
Project: Research
-
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Cavalcanti, A. L. C. (Project manager), Timmis, J. (Collaborator) & Woodcock, J. (Collaborator)
01/04/2018 → 31/03/2023
Project: Research
-
Requirements Modelling for Cyber-Physical Systems
Woodcock, J. (Project manager)
31/03/2018 → 30/09/2020
Project: Research
-
A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C. (Project manager), Timmis, J. (Collaborator), Woodcock, J. (Collaborator), De Oliveira Salazar Ribeiro, P. F. (Participant), Foster, S. D. (Participant), Li, W. (Participant) & Miyazawa, A. (Participant)
01/09/2015 → 30/06/2021
Project: Research
-
INTO-CPS: INtegrated TOol chain for model-based design of CPSs
Woodcock, J. (Project manager) & Cavalcanti, A. L. C. (Collaborator)
01/01/2015 → 31/12/2017
Project: Research
-
Formal Verification of BDI Agents
Wright, T., Dennis, L. A., Woodcock, J. & Foster, S., 2025, The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday. Hinchey, M. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 302-326 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15240 LNCS).Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
1 Citation (Scopus) -
State of the Art Report: Verified Computation
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M., 29 Aug 2023, 54 p.Research output: Working paper/Preprint › Preprint
-
A Survey of Practical Formal Methods for Security
Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schnieder, S., Tran-Jørgensen, P. W. V. & Woodcock, J., Jul 2022, In: Formal Aspects of Computing. 34, 1, 39 p., 3522582.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access33 Citations (Scopus) -
Engineering of Digital Twins for Cyber-Physical Systems
Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 49-53 5 p. (Lecture Notes in Computer Science, Vol. 12479).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open AccessFile1 Citation (Scopus)48 Downloads (Pure) -
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins
Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 72-87 16 p. (Lecture Notes in Computer Science, Vol. 12479).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open AccessFile12 Citations (Scopus)58 Downloads (Pure)
Activities
-
-
Zhiming Liu
Woodcock, J. (Host)
21 Jul 2019 → 25 Jul 2019Activity: Hosting a visitor types › Hosting an academic visitor
-
Examiner (external)
Woodcock, J. (Examiner)
17 Jun 2019Activity: Evaluation, external lectures and examination › Examination
-
RoboChart and RoboSim Verified Simulation for Robotics
Woodcock, J. (Lecturer)
13 Jun 2019Activity: Presentations, memberships, employment, ownership and other activities › Lecture and oral contribution
-
Keith Lines
Woodcock, J. (Host), Freitas, L. (Host) & Scott, B. (Host)
31 May 2019Activity: Hosting a visitor types › Hosting an academic visitor
Prizes
-
-
Chartered Fellowship of the British Computer Society.
Woodcock, James (Recipient), 2004
Prize: Prizes, scholarships, distinctions
-
-
-
Fellowship of the Royal Society of Arts
Woodcock, James (Recipient), 2000
Prize: Prizes, scholarships, distinctions