Hugo Daniel Macedo
Hugo Daniel Macedo
Verified email at
Cited by
Cited by
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
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
Mining malware specifications through static reachability analysis
HD Macedo, T Touili
European Symposium on Research in Computer Security, 517-535, 2013
A linear algebra approach to OLAP
HD Macedo, JN Oliveira
Formal Aspects of Computing 27 (2), 283-307, 2015
Matrices as Arrows!
HD Macedo, JN Oliveira
International Conference on Mathematics of Program Construction, 271-287, 2010
Compositional Verification of Multi-station Interlocking Systems
HD Macedo, A Fantechi, AE Haxthausen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Matrices as arrows: why categories of matrices matter
HD Macedo
Compositional Verification of Interlocking Systems for Large Stations
A Fantechi, AE Haxthausen, HD Macedo
International Conference on Software Engineering and Formal Methods, 236-252, 2017
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations
HD Macedo, A Fantechi, AE Haxthausen
NASA Formal Methods Symposium, 146-162, 2017
Do the middle letters of “OLAP” stand for linear algebra (“LA”)
HD Macedo, JN Oliveira
Technical Report TR-HASLab: 04: 2011, INESC TEC and University of Minho …, 2011
Towards linear algebras of components
HD Macedo, JN Oliveira
International Workshop on Formal Aspects of Component Software, 300-303, 2010
The data cube as a typed linear algebra operator
JN Oliveira, HD Macedo
Proceedings of The 16th International Symposium on Database Programming …, 2017
Gaussian elimination is not optimal, revisited
HD Macedo
Journal of Logical and Algebraic Methods in Programming 85 (5), 999-1010, 2016
Transforming an industrial case study from VDM++ to VDM-SL
RS Nilsson, K Lausdahl, HD Macedo, PG Larsen
The 16th Overture Workshop; Pierce, K., Verhoef, M., Eds, 107-122, 2018
The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution
HD Macedo, RS Nilsson, PG Larsen
Computers 8 (2), 31, 2019
Towards a Static Check of FMUs in VDM-SL
N Battle, C Thule, C Gomes, HD Macedo, PG Larsen
Proceedings of the 17th Overture Workshop, 17, 2019
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
Migrating the INTO-CPS Application to the Cloud
MB Rasmussen, C Thule, HD Macedo, P Gorm
Proceedings of the 17th Overture Workshop, 47, 2019
Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems
J Boudjadar, HD Macedo
2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and …, 2018
The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide
PG Larsen, J Fitzgerald, J Woodcock, C König, S Basagiannis, E Brosse, ...
The system can't perform the operation now. Try again later.
Articles 1–20