Hugo Daniel Macedo

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 38

Top Topics

Intelligent Systems

Autonomous Robots

Top Venues

Publications

Hugo Daniel Macedo
Multiplying matrices using n arithmetic operations. CoRR (2023)
Hugo Daniel Macedo, Kenneth Pierce
Proceedings of the 21st International Overture Workshop. CoRR (2023)
Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo
Bidirectional UML Visualisation of VDM Models. CoRR (2023)
Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. CoRR (2023)
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
State of the Art Report: Verified Computation. CoRR (2023)
Malthe Faurschou Tøttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo, Lukas Esterle
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. SEFM Workshops (2022)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34 (1) (2022)
Hugo Daniel Macedo, Kenneth Pierce
Proceedings of the 20th International Overture Workshop. CoRR (2022)
Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
Towards Secure Digital Twins. ISoLA (4) (2022)
Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. ACSOS-C (2022)
Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle
Fault Injecting Co-simulations for Safety. ICSRS (2021)
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. F-IDE@NFM (2021)
Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen
Towards a Digital Twin Framework for Autonomous Robots. COMPSAC (2021)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
A Survey of Practical Formal Methods for Security. CoRR (2021)
John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
Proceedings of the 18th International Overture Workshop. CoRR (2021)
Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? SEFM Workshops (2021)
Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen
A Universal Mechanism for Implementing Functional Mock-up Units. SIMULTECH (2021)
Fredrik Asplund, Hugo Daniel Macedo, Claudio Sassanelli
Problematizing the Service Portfolio of Digital Innovation Hubs. PRO-VE (2021)
Gerhard Benedikt Weiß, Dario Pietraroia, Claudio Sassanelli, Hugo Daniel Macedo
Manufacturing Process Simulation in a Hybrid Cloud Setup. IN4PL (2021)
Hugo Daniel Macedo, Casper Thule, Kenneth Pierce
Proceedings of the 19th International Overture Workshop. CoRR (2021)
Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH (2020)
Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo
Introducing Regression Tests and Upgrades to the INTO-CPS Application. SEFM (2020)
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
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) (2020)
Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen
Migrating the INTO-CPS Application to the Cloud. FM Workshops (2) (2019)
Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops (2019)
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) (2019)
Maurizio Palmieri, Hugo Daniel Macedo
Automatic Generation of Functional Mock-Up Units from Formal Specifications. SEFM Workshops (2019)
Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE (2019)
Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen
The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution. Comput. 8 (2) (2019)
Jalil Boudjadar, Hugo Daniel Macedo
Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. DS-RT (2018)
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM (2017)
Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo
Compositional Verification of Interlocking Systems for Large Stations. SEFM (2017)
José Nuno Oliveira, Hugo Daniel Macedo
The data cube as a typed linear algebra operator. DBPL (2017)
Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia
Defining Effectiveness Using Finite Sets A Study on Computability. Electron. Notes Theor. Comput. Sci. 324 (2016)
Hugo Daniel Macedo
Gaussian elimination is not optimal, revisited. J. Log. Algebraic Methods Program. 85 (5) (2016)
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) (2016)
Hugo Daniel Macedo, José Nuno Oliveira
A linear algebra approach to OLAP. Formal Aspects Comput. 27 (2) (2015)
Hugo Daniel Macedo, Tayssir Touili
Mining Malware Specifications through Static Reachability Analysis. CoRR (2013)
Hugo Daniel Macedo, José Nuno Oliveira
Typing linear algebra: A biproduct-oriented approach. CoRR (2013)
Hugo Daniel Macedo, Tayssir Touili
Mining Malware Specifications through Static Reachability Analysis. ESORICS (2013)
Hugo Daniel Macedo, José Nuno Oliveira
Typing linear algebra: A biproduct-oriented approach. Sci. Comput. Program. 78 (11) (2013)
Hugo Daniel Macedo, José Nuno Oliveira
Towards Linear Algebras of Components. FACS (2010)
Hugo Daniel Macedo, José Nuno Oliveira
Matrices as Arrows! MPC (2010)
Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM (2008)