Projekter pr. år
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
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 adgang31 Citationer (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. (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 adgangFil1 Citationer (Scopus)57 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 adgangFil11 Citationer (Scopus)79 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
-
-
Zhiming Liu
Woodcock, J. (Vært)
21 jul. 2019 → 25 jul. 2019Aktivitet: Vært for en besøgende - typer › Vært for en akademisk besøgende
-
Examiner (external)
Woodcock, J. (Eksaminator)
17 jun. 2019Aktivitet: Ekstern undervisning og Eksamen › Eksamination
-
RoboChart and RoboSim Verified Simulation for Robotics
Woodcock, J. (Foredragsholder)
13 jun. 2019Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag
-
Keith Lines
Woodcock, J. (Vært), Freitas, L. (Vært) & Scott, B. (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