Hugo Daniel Macedo

According to our database, Hugo Daniel Macedo authored at least 44 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Proceedings of the 22nd International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce, Leo Freitas

CoRR, 2024

2023

Proceedings of the 21st International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce

CoRR, 2023

Multiplying matrices using n arithmetic operations.

Hugo Daniel Macedo

CoRR, 2023

State of the Art Report: Verified Computation.

Jim Woodcock, Mikkel Schimdt 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

Bidirectional UML Visualisation of VDM Models.

Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo

CoRR, 2023

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

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

Formal Aspects Comput., 2022

Proceedings of the 20th International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce

CoRR, 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

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Towards Secure Digital Twins.

Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Digital Twins for Autonomous Intelligent Systems: From Development to Deployment.

Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Proceedings of the 19th International Overture Workshop.

Hugo Daniel Macedo, Casper Thule, Ken Pierce

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

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

Proceedings of the 18th International Overture Workshop.

John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo

CoRR, 2021

A Universal Mechanism for Implementing Functional Mock-up Units.

Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?

Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Manufacturing Process Simulation in a Hybrid Cloud Setup.

Gerhard Benedikt Weiß, Dario Pietraroia, Claudio Sassanelli, Hugo Daniel Macedo

Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, 2021

Problematizing the Service Portfolio of Digital Innovation Hubs.

Fredrik Asplund, Hugo Daniel Macedo, Claudio Sassanelli

Proceedings of the Smart and Sustainable Collaborative Networks 4.0, 2021

Fault Injecting Co-simulations for Safety.

Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle

Proceedings of the 5th International Conference on System Reliability and Safety, 2021

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

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

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

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 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.

Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 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

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins.

Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution.

Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen

Comput., 2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.

Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Automatic Generation of Functional Mock-Up Units from Formal Specifications.

Maurizio Palmieri, Hugo Daniel Macedo

Proceedings of the Software Engineering and Formal Methods, 2019

Migrating the INTO-CPS Application to the Cloud.

Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Towards a Static Check of FMUs in VDM-SL.

Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.

Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems.

Jalil Boudjadar, Hugo Daniel Macedo

Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

2017

Compositional Verification of Interlocking Systems for Large Stations.

Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations.

Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The data cube as a typed linear algebra operator.

José Nuno Oliveira, Hugo Daniel Macedo

Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016

Gaussian elimination is not optimal, revisited.

Hugo Daniel Macedo

J. Log. Algebraic Methods Program., 2016

Compositional Verification of Multi-station Interlocking Systems.

Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

A linear algebra approach to OLAP.

Hugo Daniel Macedo, José Nuno Oliveira

Formal Aspects Comput., 2015

Defining Effectiveness Using Finite Sets A Study on Computability.

Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

2013

Typing linear algebra: A biproduct-oriented approach.

Hugo Daniel Macedo, José Nuno Oliveira

Sci. Comput. Program., 2013

Mining Malware Specifications through Static Reachability Analysis.

Hugo Daniel Macedo, Tayssir Touili

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Matrices as arrows: why categories of matrices matter

Hugo Daniel Macedo

PhD thesis, 2012

2010

Matrices as Arrows!

Hugo Daniel Macedo, José Nuno Oliveira

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Towards Linear Algebras of Components.

Hugo Daniel Macedo, José Nuno Oliveira

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2008

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.

Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the FM 2008: Formal Methods, 2008