Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Finished
-
Digital Innovation HUBs and Collaborative Platform for Cyber-Physical Systems
Talasila, P. (Participant), Kulik, T. (Participant), Larsen, P. G. (PI) & Macedo, H. D. (Participant)
01/01/2020 → 31/12/2022
Project: Research
-
Visualisation in a Digital Twin Context
H. Bohlbro, C., Macedo, H. D., Tola, D., Esterle, L. & Larsen, P. G., 2024, The Engineering of Digital Twins. Fitzgerald, J., Gomes, C. & Larsen, P. G. (eds.). Cham: Springer, p. 175-188 14 p.Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
-
Assessing Resource Availability in Floodwater Systems for Use in Power-To-X Technologies
Jensen, L. B., Jonas Lund, J. L., Pedersen, P. & Macedo, H. D., 2023, Proceedings of the 35th European Modeling & Simulation Symposium (EMSS 2023). Affenzeller, M., G. Bruzzone, A., Jimenez, E., Longo, F. & Petrillo, A. (eds.). (Proceedings of the european modeling and simulation symposium).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access -
Bidirectional UML Visualisation of VDM Models
Lund, J., Jensen, L. B., Battle, N., Larsen, P. G. & Macedo, H. D., 13 Apr 2023.Research output: Working paper/Preprint › Preprint
File46 Downloads (Pure) -
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
Oda, T., Dur, G., Ducasse, S. & Macedo, H. D., 27 Mar 2023.Research output: Working paper/Preprint › Preprint
File48 Downloads (Pure) -
Proceedings of the 21st International Overture Workshop
Macedo, H. D. & Pierce, K., 13 Nov 2023.Research output: Working paper/Preprint › Preprint
Activities
-
20th Overture Workshop (Event)
Pezzoni, A. (Member), Ishikawa, F. (Member), Macedo, H. D. (Member), Araki, K. (Member), Pierce, K. (Member), Lausdahl, K. (Member), Verhoef, M. (Member), Frasheri, M. (Member), Battle, N. (Member), Masci, P. (Member), Larsen, P. G. (Member), Oda, T. (Member) & Bandur, V. (Member)
22 Aug 2022Activity: Presentations, memberships, ownership and other activities › Member of committee, council or board
-
18th International Overture Workshop (Event)
Macedo, H. D. (Editor)
7 Dec 2020Activity: Publication peer-review and editorial work types › Editor of unfinished research anthology/collection › Communication
-
HUBCAP
Schultz, C. P. L. (Participant), Macedo, H. D. (Participant), Boudjadar, J. (Participant), Bødskov, L. B. (Organizer), Esterle, L. (Participant), Jordal, N. B. (Organizer), Larsen, P. G. (Organizer) & Kulik, T. (Participant)
21 Jan 2020 → 23 Jan 2020Activity: Participating in or organising an event types › Participation in or organisation af a conference
-
18th International Overture Workshop (Event)
Macedo, H. D. (Member)
2020Activity: Presentations, memberships, ownership and other activities › Member of committee, council or board
-
23rd International Conference on Formal Methods for Industrial Critical Systems (Event)
Macedo, H. D. (Reviewer)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Courses
-
-
-
-
-
USING DIGITAL TWIN TECHNOLOGY TO IMPROVE DENTAL SURGERY TRAINING
Macedo, H. D., Wolff, J. & Pauwels, R. 01/09/2022 → 01/12/2022
Course: Supervising