Hugo Daniel Macedo
Hugo Daniel Macedo
Verified email at
Cited by
Cited by
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
Incremental development of a distributed real-time model of a cardiac pacing system using VDM
HD Macedo, PG Larsen, J Fitzgerald
International Symposium on Formal Methods, 181-197, 2008
Mining malware specifications through static reachability analysis
HD Macedo, T Touili
Computer Security–ESORICS 2013: 18th European Symposium on Research in†…, 2013
A survey of practical formal methods for security
T Kulik, B Dongol, PG Larsen, HD Macedo, S Schneider, ...
Formal aspects of computing 34 (1), 1-39, 2022
A linear algebra approach to OLAP
HD Macedo, JN Oliveira
Formal Aspects of Computing 27 (2), 283-307, 2015
Towards a digital twin framework for autonomous robots
G Lumer-Klabbers, JO Hausted, JL Kvistgaard, HD Macedo, M Frasheri, ...
2021 IEEE 45th annual computers, software, and applications conference†…, 2021
Problematizing the service portfolio of digital innovation hubs
F Asplund, HD Macedo, C Sassanelli
Working Conference on Virtual Enterprises, 433-440, 2021
Visual studio code vdm support
JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen
Proceedings of the 18th International Overture Workshop, 35-49, 2021
Towards reuse of synchronization algorithms in co-simulation frameworks
C Thule, M Palmieri, C Gomes, K Lausdahl, HD Macedo, N Battle, ...
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops†…, 2020
Facilitating model-based design of cyber-manufacturing systems
HD Macedo, C Sassanelli, PG Larsen, S Terzi
Procedia CIRP 104, 1936-1941, 2021
A Universal Mechanism for Implementing Functional Mock-up Units
CM Legaard, D Tola, T Schranz, HD Macedo, PG Larsen
Proceedings of the 11th International Conference on Simulation and Modeling†…, 2021
Migrating the INTO-CPS application to the cloud
MB Rasmussen, C Thule, HD Macedo, PG Larsen
Proceedings of the 17th Overture Workshop, 47-62, 2019
Compositional Verification of Multi-station Interlocking Systems
HD Macedo, A Fantechi, AE Haxthausen
Leveraging Applications of Formal Methods, Verification and Validation†…, 2016
Compositional verification of interlocking systems for large stations
A Fantechi, AE Haxthausen, HD Macedo
Software Engineering and Formal Methods: 15th International Conference, SEFM†…, 2017
Compositional model checking of interlocking systems for lines with multiple stations
HD Macedo, A Fantechi, AE Haxthausen
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field†…, 2017
Matrices as Arrows!
HD Macedo, JN Oliveira
International Conference on Mathematics of Program Construction, 271-287, 2010
The specification language server protocol: A proposal for standardised LSP extensions
JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen
arXiv preprint arXiv:2108.02961, 2021
Uncertainty quantification and runtime monitoring using environment-aware digital twins
J Woodcock, C Gomes, HD Macedo, PG Larsen
Leveraging Applications of Formal Methods, Verification and Validation†…, 2021
A cloud-based collaboration platform for model-based design of cyber-physical systems
PG Larsen, HD Macedo, J Fitzgerald, H Pfeifer, M Benedikt, S Tonetta, ...
arXiv preprint arXiv:2005.02449, 2020
Modelling the HUBCAP sandbox architecture in VDM: A study in security
T Kulik, HD Macedo, P Talasila, PG Larsen
John Fitzgerald, Tomohiro Oda, and Hugo Daniel Macedo (Editors) 20, 2021
The system can't perform the operation now. Try again later.
Articles 1–20