Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. - Hugo Daniel Macedo; Peter Gorm Larsen; John S. Fitzgerald (FM, 2008)

Towards Linear Algebras of Components. - Hugo Daniel Macedo; José Nuno Oliveira (FACS, 2010)

Matrices as Arrows! - Hugo Daniel Macedo; José Nuno Oliveira (MPC, 2010)

Matrices as arrows: why categories of matrices matter - Hugo Daniel Macedo (2012)

Mining Malware Specifications through Static Reachability Analysis. - Hugo Daniel Macedo; Tayssir Touili (ESORICS, 2013)

Typing linear algebra: A biproduct-oriented approach. - Hugo Daniel Macedo; José Nuno Oliveira (Sci. Comput. Program., 2013)

Defining Effectiveness Using Finite Sets A Study on Computability. - Hugo Daniel Macedo; Edward Hermann Haeusler; Alex de V. Garcia (WEIT, 2015)

A linear algebra approach to OLAP. - Hugo Daniel Macedo; José Nuno Oliveira (Formal Aspects Comput., 2015)

Compositional Verification of Multi-station Interlocking Systems. - Hugo Daniel Macedo; Alessandro Fantechi; Anne E. Haxthausen (ISoLA (2), 2016)

Gaussian elimination is not optimal, revisited. - Hugo Daniel Macedo (J. Log. Algebraic Methods Program., 2016)

The data cube as a typed linear algebra operator. - José Nuno Oliveira; Hugo Daniel Macedo (DBPL, 2017)

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. - Hugo Daniel Macedo; Alessandro Fantechi; Anne E. Haxthausen (NFM, 2017)

Compositional Verification of Interlocking Systems for Large Stations. - Alessandro Fantechi; Anne E. Haxthausen; Hugo Daniel Macedo (SEFM, 2017)

Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. - Jalil Boudjadar; Hugo Daniel Macedo (DS-RT, 2018)

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. - Peter Gorm Larsen; Hugo Daniel Macedo; Cláudio Goncalves Gomes 001; Lukas Esterle; Casper Thule; John S. Fitzgerald; Kenneth Pierce (FISEE, 2019)

Towards a Static Check of FMUs in VDM-SL. - Nick Battle; Casper Thule; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (FM Workshops (2), 2019)

Migrating the INTO-CPS Application to the Cloud. - Hugo Daniel Macedo; Mikkel Bayard Rasmussen; Casper Thule; Peter Gorm Larsen (FM Workshops (2), 2019)

Automatic Generation of Functional Mock-Up Units from Formal Specifications. - Maurizio Palmieri; Hugo Daniel Macedo (SEFM Workshops, 2019)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. - Casper Thule; Maurizio Palmieri; Cláudio Gomes 001; Kenneth Lausdahl; Hugo Daniel Macedo; Nick Battle; Peter Gorm Larsen (SEFM Workshops, 2019)

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution. - Hugo Daniel Macedo; René S. Nilsson; Peter Gorm Larsen (Comput., 2019)

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. - Jim Woodcock 001; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (ISoLA (4), 2020)

Introducing Regression Tests and Upgrades to the INTO-CPS Application. - Prasad Talasila; Armine Sanjari; Kristoffer Villadsen; Casper Thule; Peter Gorm Larsen; Hugo Daniel Macedo (SEFM, 2020)

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. - Peter Gorm Larsen; Hugo Daniel Macedo; John S. Fitzgerald; Holger Pfeifer; Martin Benedikt; Stefano Tonetta; Angelo Marguglio; Sergio Gusmeroli; George Suciu Jr. (SIMULTECH, 2020)

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. - Peter Gorm Larsen; Hugo Daniel Macedo; John S. Fitzgerald; Holger Pfeifer; Martin Benedikt; Stefano Tonetta; Angelo Marguglio; Giuseppe Veneziano; Lorenzo Sutton; Sergio Gusmeroli; George Suciu (SIMULTECH (Selected Papers), 2020)

Towards a Digital Twin Framework for Autonomous Robots. - Gill Lumer-Klabbers; Jacob Odgaard Hausted; Jakob Levisen Kvistgaard; Hugo Daniel Macedo; Mirgita Frasheri; Peter Gorm Larsen (COMPSAC, 2021)

Fault Injecting Co-simulations for Safety. - Mirgita Frasheri; Casper Thule; Hugo Daniel Macedo; Kenneth Lausdahl; Peter Gorm Larsen; Lukas Esterle (ICSRS, 2021)

Problematizing the Service Portfolio of Digital Innovation Hubs. - Fredrik Asplund; Hugo Daniel Macedo; Claudio Sassanelli (PRO-VE, 2021)

Manufacturing Process Simulation in a Hybrid Cloud Setup. - Gerhard Benedikt Weiß; Dario Pietraroia; Claudio Sassanelli; Hugo Daniel Macedo (IN4PL, 2021)

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? - Hao Feng; Cláudio Gomes 001; Michael Sandberg; Hugo Daniel Macedo; Peter Gorm Larsen (SEFM Workshops, 2021)

A Universal Mechanism for Implementing Functional Mock-up Units. - Christian Møldrup Legaard; Daniella Tola; Thomas Schranz; Hugo Daniel Macedo; Peter Gorm Larsen (SIMULTECH, 2021)

Proceedings of the 18th International Overture Workshop. - John S. Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo (CoRR, 2021)

The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. - Jonas Kjær Rask; Frederik Palludan Madsen; Nick Battle; Hugo Daniel Macedo; Peter Gorm Larsen (F-IDE@NFM, 2021)

Proceedings of the 19th International Overture Workshop. - Hugo Daniel Macedo; Casper Thule; Ken Pierce (CoRR, 2021)

Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. - Lukas Esterle; Henrik Ejersbo; Mirgita Frasheri; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (ACSOS-C, 2022)

Towards Secure Digital Twins. - Tomas Kulik; Cláudio Gomes 001; Hugo Daniel Macedo; Stefan Hallerstede; Peter Gorm Larsen (ISoLA (4), 2022)

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 (SEFM Workshops, 2022)

Proceedings of the 20th International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce (CoRR, 2022)

A Survey of Practical Formal Methods for Security. - Tomas Kulik; Brijesh Dongol; Peter Gorm Larsen; Hugo Daniel Macedo; Steve Schneider; Peter W. V. Tran-Jørgensen; Jim Woodcock 001 (Formal Aspects Comput., 2022)

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. - Tomohiro Oda; Gaël Dur; Stéphane Ducasse; Hugo Daniel Macedo (CoRR, 2023)

Bidirectional UML Visualisation of VDM Models. - Jonas Lund; Lucas Bjarke Jensen; Nick Battle; Peter Gorm Larsen; Hugo Daniel Macedo (CoRR, 2023)

State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt Andersen; Diego F. Aranha; Stefan Hallerstede; Simon Thrane Hansen; Nikolaj Kuhne Jakobsen; Tomas Kulik; Peter Gorm Larsen; Hugo Daniel Macedo; Carlos Ignacio Isasa Martin; Victor Alexander Mtsimbe Norrild (CoRR, 2023)

Multiplying matrices using n arithmetic operations. - Hugo Daniel Macedo (CoRR, 2023)

Proceedings of the 21st International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce (CoRR, 2023)

Proceedings of the 22nd International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce; Leo Freitas (CoRR, 2024)

Proceedings of the 23rd International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce (CoRR, 2025)