Hugo Daniel Macedo
  • Helsingforsgade 10, 5123, 422

    8200 Aarhus N

    Denmark

20132024

Research activity per year

Filter
Article in proceedings

Search results

  • 2023

    Assessing Resource Availability in Floodwater Systems for Use in Power-To-X Technologies

    Jensen, L. B., Jonas Lund, J. L., Pedersen, P. & Macedo, H. D., 2023, Proceedings of the 35th European Modeling & Simulation Symposium (EMSS 2023). Affenzeller, M., G. Bruzzone, A., Jimenez, E., Longo, F. & Petrillo, A. (eds.). (Proceedings of the european modeling and simulation symposium).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • Supporting Design for Circular Economy Using Lifecycle Co-Simulation

    Aher, G. R., Macedo, H. D., Larsen, P. G. & Ramanujan, D., Nov 2023, ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC). American Society of Mechanical Engineers, 10 p. DETC2023-116537, V005T05A006;. (International Design Engineering Technical Conferences and Computer and Information in Engineering Conference, Vol. 5).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car

    Tøttrup, M. F., Hu, E. C., Kramer, B. A., Macedo, H. D. & Esterle, L., Feb 2023, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods. Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M. & Palmieri, M. (eds.). Cham: Springer, p. 200-209 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13765).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    1 Citation (Scopus)
  • 2022

    Advanced VDM Support in Visual Studio Code

    Rask, J. K., Madsen, F. P., Battle, N., Freitas, L., Macedo, H. D. & Larsen, P. G., Aug 2022, Proceedings of the 20th International Overture Workshop. Macedo, H. D. & Pierce, K. (eds.). p. 34-49 16 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Bridging the Requirements-Specification Gap using Behaviour-Driven Development

    Villadsen, K., Dalgaard Jensen, M., Larsen, P. G. & Macedo, H. D., Aug 2022, Proceedings of the 20th International Overture Workshop. Macedo, H. D. & Pierce, K. (eds.). p. 19-33 25 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

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

    Esterle, L., Ejersbo, H., Frasheri, M., Gomes, C., Macedo, H. D. & Larsen, P. G., Nov 2022, Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022. IEEE, p. 53-54 2 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems

    Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Veneziano, G., Sutton, L., Gusmeroli, S. & Suciu, G., 2022, Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020. Obaidat, M. S., Oren, T. & Rango, F. D. (eds.). Cham: Springer, p. 90-110 21 p. (Lecture Notes in Networks and Systems, Vol. 306).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    114 Downloads (Pure)
  • Towards Secure Digital Twins

    Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 159-176 18 p. (Lecture Notes in Computer Science, Vol. 13704).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    6 Citations (Scopus)
  • Towards UML and VDM Support in the VS Code Environment

    Lund, J., Jensen, L. B., Macedo, H. D. & Larsen, P. G., Aug 2022, Proceedings of the 20th International Overture Workshop. Macedo, H. D. & Pierce, K. (eds.). p. 50-65 16 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

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

    Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G., 2022, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cerone, A., Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M., Temperini, M. & Venture, G. (eds.). Cham: Springer, p. 143-155 13 p. (Lecture Notes in Computer Science, Vol. 13230).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • 2021

    A Universal Mechanism for Implementing Functional Mock-up Units

    Legaard, C. M., Tola, D., Schranz, T., Macedo, H. D. & Larsen, P. G., 2021, Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021. Wagner, G., Werner, F., Ören, T. I. & Rango, F. D. (eds.). SCITEPRESS Digital Library, p. 121-129 9 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
    19 Citations (Scopus)
  • Deploying the Smart Energy Tool for Investment Simulation inside the HUBCAP Sandbox

    Badicu, A., Iordache, G., Suciu, G., Macedo, H. D., Sassanelli, C., Terzi, S. & Larsen, P. G., 2021, 9th International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2021. Bruzzone, A. G., Janosy, J. S., Nicoletti, L. & Zacharewicz, G. (eds.). p. 18-26 9 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    7 Citations (Scopus)
    47 Downloads (Pure)
  • Extending the Formal Security Analysis of the HUBCAP sandbox

    Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F., Larsen, P. G. & Macedo, H. D., 1 Oct 2021, Proceedings of the 19th International Overture Workshop. Macedo, H. D., Thule, C. & Pierce, K. (eds.). p. 36-50 15 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Introducing Regression Tests and Upgrades to the INTO-CPS Application

    Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Cleophas, L. & Massink, M. (eds.). Cham: Springer, p. 311-317 7 p. (Lecture Notes in Computer Science, Vol. 12524).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Manufacturing Process Simulation in a Hybrid Cloud Setup

    Weiß., G., Pietraroia., D., Sassanelli., C. & Macedo., H., 2021, Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021. SCITEPRESS Digital Library, p. 49-58 10 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    4 Citations (Scopus)
    36 Downloads (Pure)
  • Modelling an Injection Moulding Machine using the Vienna Development Method

    Böttjer, T., Sandberg, M., Larsen, P. G. & Macedo, H. D., 1 Oct 2021, Proceedings of the 19th International Overture Workshop. Macedo, H. D., Thule, C. & Pierce, K. (eds.). p. 51-65 15 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security

    Kulik, T., Macedo, H. D., Talasila, P. & Larsen, P. G., Jan 2021, Proceedings of the 18th International Overture Workshop. Fitzgerald, J., Oda, T. & Macedo, H. D. (eds.). p. 20-35 16 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • Problematizing the Service Portfolio of Digital Innovation Hubs

    Asplund, F., Macedo, H. D. & Sassanelli, C., 1 Nov 2021, Smart and Sustainable Collaborative Networks 4.0 - 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Proceedings: 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings. Camarinha-Matos, L. M., Boucher, X. & Afsarmanesh, H. (eds.). Saint-Etienne, France: Springer, p. 433-440 8 p. (IFIP Advances in Information and Communication Technology, Vol. 629).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    File
    16 Citations (Scopus)
    50 Downloads (Pure)
  • The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions

    Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G., Aug 2021, Proceedings of the 6th Workshop on Formal Integrated Development Environment. Proença, J. & Paskevich, A. (eds.). Open Publishing Association, Vol. 338. p. 3-18 16 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 388).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
    6 Citations (Scopus)
  • Towards a digital twin framework for autonomous robots

    Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G., Jul 2021, 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC). Chan, W. K., Claycomb, B., Takakura, H., Yang, J.-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). IEEE, p. 1254-1259 6 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    20 Citations (Scopus)
  • Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

    Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 72-87 16 p. (Lecture Notes in Computer Science, Vol. 12479).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    11 Citations (Scopus)
    79 Downloads (Pure)
  • Visual Studio Code VDM Support

    Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G., Jan 2021, Proceedings of the 18th International Overture Workshop. Fitzgerald, J., Oda, T. & Macedo, H. D. (eds.). p. 35-50 16 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • 2020

    A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems

    Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S., 2020, Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. De Rango, F., Ören, T. & Obaidat, M. (eds.). SCITEPRESS Digital Library, p. 263-270 8 p. (SIMULTECH International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Vol. 1).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

    Open Access
    File
    8 Citations (Scopus)
    114 Downloads (Pure)
  • Automatic Generation of Functional Mock-Up Units from Formal Specifications

    Palmieri, M. & Macedo, H. D., 2020, Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Revised Selected Papers. Camara, J. & Steffen, M. (eds.). Cham: Springer, p. 27-33 7 p. (Lecture Notes in Computer Science, Vol. 12226).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    6 Citations (Scopus)
  • Collaborative Modelling and Co-simulation in Engineering and Computing Curricula

    Larsen, P. G., Macedo, H. D., Gonçalves Gomes, C. Â., Esterle, L., Thule, C., Fitzgerald, J. & Pierce, K., 2020, Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019. Bruel, J.-M., Capozucca, A., Mazzara, M., Meyer, B., Naumchev, A. & Sadovykh, A. (eds.). Cham: Springer, p. 196-213 18 p. (Lecture Notes in Computer Science, Vol. 12271). (Programming and Software Engineering, Vol. 12271).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Enabling Combining Models and Tools in an Online MBSE Collaboration Platform

    Larsen, P. G., Soulioti, G., Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M., Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q. & Talasila, P., 1 Sept 2020, Model Based Space Systems and Software Engineering (MBSE2020). Noordwijk, The Netherlands

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • Migrating the INTO-CPS Application to the Cloud

    Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G., 2020, Formal Methods: FM 2019 International Workshops. Sekerinski, E., Moreira, N., N. Oliveira, J., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Cham: Springer, p. 254-271 18 p. (Lecture Notes in Computer Science, Vol. 12233).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    9 Citations (Scopus)
  • Towards a Static Check of FMUs in VDM-SL

    Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G., 2020, Formal Methods: FM 2019 International Workshops. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Cham: Springer, p. 272-288 17 p. (Lecture Notes in Computer Science, Vol. 12233).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    2 Citations (Scopus)
  • Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks

    Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo, H. D., Battle, N. & Larsen, P. G., 2020, Software Engineering and Formal Methods. Camara, J. & Steffen, M. (eds.). Cham: Springer, p. 50-66 17 p. (Lecture Notes in Computer Science, Vol. 12226).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    14 Citations (Scopus)
  • 2019

    Migrating the INTO-CPS Application to the Cloud

    Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G., 2019, Proceedings of the 17th Overture Workshop. Gamble, C. & Diogo Couto, L. (eds.). Newcastle University, p. 47-62 16 p. (Technical Report Series; No. CS-TR- 1530 - 2019).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    2 Downloads (Pure)
  • Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems

    Boudjadar, J. & Macedo, H. D., 3 Jan 2019, Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018. IEEE, p. 37-46 10 p. 8600927

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Towards a Static Check of FMUs in VDM-SL

    Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G., 2019, Proceedings of the 17th Overture Workshop. Gamble, C. & Diogo Couto, L. (eds.). Newcastle University, p. 17-32 16 p. (Technical Report Series; No. CS-TR- 1530 - 2019).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    4 Downloads (Pure)
  • 2018

    Transforming an industrial case study from VDM++ to VDM-SL

    Nilsson, R. S., Lausdahl, K. G., Macedo, H. D. & Larsen, P. G., 14 Jul 2018, The 16th Overture Workshop. Pierce, K. & Verheof, M. (eds.). Newcastle: Newcastle University, Vol. CS-TR-1524. p. 107-123 17 p. (Technical Report Series; No. No. CS- TR - 1524). (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. 1524).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • 2017

    Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations

    Macedo, H. D., Fantechi, A. & Haxthausen, A. E., 9 Apr 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings: NFM 2017. Barrett, C., Davies, M. & Kahsai, T. (eds.). Springer, Vol. 10227. p. 146-162 17 p. (Lecture Notes in Computer Science; No. 10227).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    9 Citations (Scopus)
  • Compositional Verification of Interlocking Systems for Large Stations

    Fantechi, A., Haxthausen, A. E. & Macedo, H. D., 13 Aug 2017, Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Proceedings: SEFM 2017. Cimatti, A. & Sirjani, M. (eds.). Springer, Vol. 10469. p. 236-252 17 p. (Lecture Notes in Computer Science; No. 10469).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    10 Citations (Scopus)
  • The data cube as a typed linear algebra operator

    Nuno Oliveira, J. & Macedo, H. D., 1 Sept 2017, Proceedings of the 16th International Symposium on Database Programming Languages, DBPL 2017; Held in conjunction with VLDB 2017: DBPL '17. Association for Computing Machinery, 11 p. 6

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review