-
Uddannelse
Find uddannelse
Studievejledning
Kvalitet
- Forskning
-
Samarbejde
Virksomheder
Kommuner og regioner
Gymnasier
Myndigheder
-
Om AU
Organisation
Kontakt
Om AU
- Organisation
- Ledelse
- Strategi
- AU i tal
- AU's historie
- Internationalt samarbejde
- Bæredygtighed
- Campus 2.0
- Diversitet og ligestilling
- Ledige stillinger
- Presse
- Kontakt
James Woodcock
Professor
Institut for Elektro- og Computerteknologi - Software Engineering & Computing systems
Helsingforsgade 10
bygning 5341
8200 Aarhus N
Danmark
Visit my research group page -
Software Engineering of Mobile and Autonomous Robots
- Udgivet
A Survey of Practical Formal Methods for Security
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Engineering of Digital Twins for Cyber-Physical Systems
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
VSR-Net: A Network for the Verified Software...
Projekter: Projekt › Forskning
Interdisciplinary Design and Evaluation of ...
Projekter: Projekt › Forskning
INESS: INtegrated European Signalling System
Projekter: Projekt › Forskning
Advisor
Aktivitet: Rådgivning - typer › Rådgivning
Zhiming Liu
Aktivitet: Vært for en besøgende - typer › Vært for en akademisk besøgende
Examiner (external)
Aktivitet: Ekstern undervisning og Eksamen › Eksamination
Distinguished Researcher
Pris: Priser, stipendier, udnævnelser
Fellowship of the UK Royal Academy of Engineering
Pris: Priser, stipendier, udnævnelser
Chartered Engineer
Pris: Priser, stipendier, udnævnelser
ID: 170858882