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
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
Gaussian elimination is not optimal, revisited
HD Macedo
Journal of Logical and Algebraic Methods in Programming 85 (5), 999-1010, 2016
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
Automatic generation of functional mock-up units from formal specifications
M Palmieri, HD Macedo
International Conference on Software Engineering and Formal Methods, 27-33, 2019
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
Migrating the INTO-CPS Application to the Cloud
MB Rasmussen, C Thule, HD Macedo, PG Larsen
Proceedings of 17th Overture Workshop, 47-61, 2019
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
Towards reuse of synchronization algorithms in co-simulation frameworks
C Thule, M Palmieri, C Gomes, K Lausdahl, HD Macedo, N Battle, ...
International Conference on Software Engineering and Formal Methods, 50-66, 2019
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