8
Publications
233
Citations
8
H-Index
2012
Active since
Hugo Daniel Macedo is an author at Aarhus University specializing in formal methods, engineering, and design.
Top concepts
EngineeringFormal MethodsDesignSocial SciencesComputer ScienceSoftware TestingIndustrial DesignAutomated ReasoningComputer EngineeringComputer Architecture
Publications per year
2012–2022
8
8
A Survey of Practical Formal Methods for Security
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen et al. · Formal Aspects of Computing · 2022 · 52 citations · Full text
Towards a Digital Twin Framework for Autonomous Robots
Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard et al. · 2021 · 22 citations
A Universal Mechanism for Implementing Functional Mock-up Units
Christian Møldrup Legaard, Daniella Tola, Thomas Schranz et al. · 2021 · 21 citations · Full text
A linear algebra approach to OLAP
Hugo Daniel Macedo, José N. Oliveira · Formal Aspects of Computing · 2014 · 18 citations · Full text
Rows per page
1–5 of 8