Projekter pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor James Woodcock er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Projekter
- 11 Afsluttet
-
UK Trustworthy Autonomous Systems Verifiability Node
Cavalcanti, A. L. C. (Projektleder) & Woodcock, J. (Samarbejdspartner)
01/11/2020 → 30/04/2024
Projekter: Projekt › Forskning
-
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Cavalcanti, A. L. C. (Projektleder), Timmis, J. (Samarbejdspartner) & Woodcock, J. (Samarbejdspartner)
01/04/2018 → 31/03/2023
Projekter: Projekt › Forskning
-
Requirements Modelling for Cyber-Physical Systems
Woodcock, J. (Projektleder)
31/03/2018 → 30/09/2020
Projekter: Projekt › Forskning
-
A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C. (Projektleder), Timmis, J. (Samarbejdspartner), Woodcock, J. (Samarbejdspartner), De Oliveira Salazar Ribeiro, P. F. (Deltager), Foster, S. D. (Deltager), Li, W. (Deltager) & Miyazawa, A. (Deltager)
01/09/2015 → 30/06/2021
Projekter: Projekt › Forskning
-
INTO-CPS: INtegrated TOol chain for model-based design of CPSs
Woodcock, J. (Projektleder) & Cavalcanti, A. L. C. (Samarbejdspartner)
01/01/2015 → 31/12/2017
Projekter: Projekt › Forskning
Publikation
-
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 s.Publikation: 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, I: Formal Aspects of Computing. 34, 1, 39 s., 3522582.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang -
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. (red.). Cham: Springer, s. 49-53 5 s. (Lecture Notes in Computer Science, Bind 12479).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil52 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. (red.). Cham: Springer, s. 72-87 16 s. (Lecture Notes in Computer Science, Bind 12479).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil72 Downloads (Pure) -
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. L. C. & Woodcock, J., 27 jul. 2020, I: ArXiv e-prints. 37 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Aktiviteter
-
Advisor
James Woodcock (Rådgiver)
22 jul. 2019 → 24 jul. 2019Aktivitet: Rådgivning - typer › Rådgivning
-
Zhiming Liu
James Woodcock (Vært)
21 jul. 2019 → 25 jul. 2019Aktivitet: Vært for en besøgende - typer › Vært for en akademisk besøgende
-
Examiner (external)
James Woodcock (Eksaminator)
17 jun. 2019Aktivitet: Ekstern undervisning og Eksamen › Eksamination
-
RoboChart and RoboSim Verified Simulation for Robotics
James Woodcock (Foredragsholder)
13 jun. 2019Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
-
Keith Lines
James Woodcock (Vært), Leonardo Freitas (Vært) & Bill Scott (Vært)
31 maj 2019Aktivitet: Vært for en besøgende - typer › Vært for en akademisk besøgende
Priser
-
-
Chartered Fellowship of the British Computer Society.
Woodcock, James (Modtager), 2004
Pris: Priser, stipendier, udnævnelser
-
-
-
Fellowship of the Royal Society of Arts
Woodcock, James (Modtager), 2000
Pris: Priser, stipendier, udnævnelser