Billede af Hugo Daniel Macedo

Hugo Daniel Macedo

  • Helsingforsgade 10, 5123, 422

    8200 Aarhus N

    Danmark

20132024

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 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. (red.). (Proceedings of the european modeling and simulation symposium).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • 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 s. DETC2023-116537, V005T05A006;. (International Design Engineering Technical Conferences and Computer and Information in Engineering Conference, Bind 5).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). Cham: Springer, s. 200-209 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13765).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    1 Citationer (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. (red.). s. 34-49 16 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). s. 19-33 25 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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, s. 53-54 2 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). Cham: Springer, s. 90-110 21 s. (Lecture Notes in Networks and Systems, Bind 306).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (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. (red.). Cham: Springer, s. 159-176 18 s. (Lecture Notes in Computer Science, Bind 13704).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    6 Citationer (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. (red.). s. 50-65 16 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). Cham: Springer, s. 143-155 13 s. (Lecture Notes in Computer Science, Bind 13230).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). SCITEPRESS Digital Library, s. 121-129 9 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    20 Citationer (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. (red.). s. 18-26 9 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    7 Citationer (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 okt. 2021, Proceedings of the 19th International Overture Workshop. Macedo, H. D., Thule, C. & Pierce, K. (red.). s. 36-50 15 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). Cham: Springer, s. 311-317 7 s. (Lecture Notes in Computer Science, Bind 12524).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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, s. 49-58 10 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (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 okt. 2021, Proceedings of the 19th International Overture Workshop. Macedo, H. D., Thule, C. & Pierce, K. (red.). s. 51-65 15 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). s. 20-35 16 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • 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. (red.). Saint-Etienne, France: Springer, s. 433-440 8 s. (IFIP Advances in Information and Communication Technology, Bind 629).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Fil
    16 Citationer (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. (red.). Open Publishing Association, Bind 338. s. 3-18 16 s. (Electronic Proceedings in Theoretical Computer Science, Bind 388).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    6 Citationer (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. (red.). IEEE, s. 1254-1259 6 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    21 Citationer (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. (red.). Cham: Springer, s. 72-87 16 s. (Lecture Notes in Computer Science, Bind 12479).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    12 Citationer (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. (red.). s. 35-50 16 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). SCITEPRESS Digital Library, s. 263-270 8 s. (SIMULTECH International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Bind 1).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

    Åben adgang
    Fil
    8 Citationer (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. (red.). Cham: Springer, s. 27-33 7 s. (Lecture Notes in Computer Science, Bind 12226).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    6 Citationer (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. (red.). Cham: Springer, s. 196-213 18 s. (Lecture Notes in Computer Science, Bind 12271). (Programming and Software Engineering, Bind 12271).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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 sep. 2020, Model Based Space Systems and Software Engineering (MBSE2020). Noordwijk, The Netherlands

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • 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. (red.). Cham: Springer, s. 254-271 18 s. (Lecture Notes in Computer Science, Bind 12233).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    9 Citationer (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. (red.). Cham: Springer, s. 272-288 17 s. (Lecture Notes in Computer Science, Bind 12233).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    2 Citationer (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. (red.). Cham: Springer, s. 50-66 17 s. (Lecture Notes in Computer Science, Bind 12226).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    14 Citationer (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. (red.). Newcastle University, s. 47-62 16 s. (Technical Report Series; Nr. CS-TR- 1530 - 2019).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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, s. 37-46 10 s. 8600927

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). Newcastle University, s. 17-32 16 s. (Technical Report Series; Nr. CS-TR- 1530 - 2019).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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. (red.). Newcastle: Newcastle University, Bind CS-TR-1524. s. 107-123 17 s. (Technical Report Series; Nr. No. CS- TR - 1524). (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
  • 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. (red.). Springer, Bind 10227. s. 146-162 17 s. (Lecture Notes in Computer Science; Nr. 10227).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    9 Citationer (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. (red.). Springer, Bind 10469. s. 236-252 17 s. (Lecture Notes in Computer Science; Nr. 10469).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    10 Citationer (Scopus)

  • The data cube as a typed linear algebra operator

    Nuno Oliveira, J. & Macedo, H. D., 1 sep. 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 s. 6

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review