Research output per year
Research output per year
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
-
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service
Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B. & Wright, T. D., 2 Dec 2024, 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). IEEE, p. 121-127 7 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Communication
-
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