Hugo Daniel Macedo
Aarhus Universitet
H-index: 15
Europe-Denmark
Top articles of Hugo Daniel Macedo
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Sekundavand-fra problem til ressource: Højtstående grundvand | Pernille Weiland Pedersen Majbritt Deichgræber Lund Lone Tang Rikke Krogshave Laursen John Borgbjerg Møller | 2023/10/28 | |
State of the Art Report: Verified Computation | arXiv preprint arXiv:2308.15191 | Jim Woodcock Mikkel Schimdt Andersen Diego F Aranha Stefan Hallerstede Simon Thrane Hansen | 2023/8/29 |
Supporting Design for Circular Economy Using Lifecycle Co-Simulation | Gaurav Aher Hugo Daniel Macedo Peter Gorm Larsen Devarajan Ramanujan | 2023/8/20 | |
Bidirectional UML Visualisation of VDM Models | arXiv preprint arXiv:2304.06618 | Jonas Lund Lucas Bjarke Jensen Nick Battle Peter Gorm Larsen Hugo Daniel Macedo | 2023/4/13 |
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL | arXiv preprint arXiv:2303.14944 | Tomohiro Oda Gaël Dur Stéphane Ducasse Hugo Daniel Macedo | 2023/3/27 |
Multiplying matrices using n arithmetic operations | arXiv preprint arXiv:2311.05947 | Hugo Daniel Macedo | 2023/11/10 |
Assessing Resource Availability in Floodwater Systems for Use in Power-To-X Technologies | Lucas Bjarke Jensen Jonas Lund Jonas Lund Pernille Pedersen Hugo Daniel Macedo | 2023 | |
Towards UML and VDM Support in the VS Code Environment | Jonas Lund Lucas Bjarke Jensen Hugo Daniel Macedo Peter Gorm Larsen | 2022/8 | |
Towards secure digital twins | Tomas Kulik Cláudio Gomes Hugo Daniel Macedo Stefan Hallerstede Peter Gorm Larsen | 2022/10/17 | |
Advanced VDM Support in Visual Studio Code | Hugo Daniel Macedo and Ken Pierce (Editors) | Jonas Kjær Rask Frederik Palludan Madsen Nick Battle Leo Freitas Hugo Daniel Macedo | 2022/8 |
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car | Malthe Faurschou Tøttrup Emil Chao Hu Bastian Aron Kramer Hugo Daniel Macedo Lukas Esterle | 2022/9/26 | |
A survey of practical formal methods for security | Formal aspects of computing | Tomas Kulik Brijesh Dongol Peter Gorm Larsen Hugo Daniel Macedo Steve Schneider | 2022/7/6 |
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? | Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers | Hao Feng Claudio Gomes Michael Sandberg Hugo Daniel Macedo Peter Gorm Larsen | 2022/9/24 |
Data-Driven Extraneous Water Quantification | HD Macedo J Højberg JM Jensen US Thomsen | 2022 | |
Digital Twins for Autonomous Intelligent Systems: From Development to Deployment | Lukas Esterle Henrik Ejersbo Mirgita Frasheri Cláudio Gomes Hugo Daniel Macedo | 2022/9/19 | |
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems | Peter Gorm Larsen Hugo Daniel Macedo John Fitzgerald Holger Pfeifer Martin Benedikt | 2022 | |
Bridging the Requirements-Specification Gap using Behaviour-Driven Development | Kristoffer Villadsen Malthe Dalgaard Jensen Peter Gorm Larsen Hugo Daniel Macedo | 2022/8 | |
Extending the formal security analysis of the HUBCAP sandbox | Proceedings of the 19th International Overture Workshop | Tomas Kulik Prasad Talasila Pietro Greco Giuseppe Veneziano Angelo Marguglio | 2021/10/1 |
Fault injecting co-simulations for safety | Mirgita Frasheri Casper Thule Hugo Daniel Macedo Kenneth Lausdahl Peter Gorm Larsen | 2021/11/24 | |
Bridging the stakeholder communities that produce cyber-physical systems | et al, MD, editor, HiPEAC Vision | CHARLES Robinson Alessandra Bagnato C Pastrone T Weyer P Popov | 2021/1 |