DIGIT

  • Postal addressShow on map

    Finlandsgade 22

    8200 Aarhus N

    Denmark

Filter
Article in proceedings

Search results

  • 2024

    ACCURATE GIGAPIXEL CROWD COUNTING BY ITERATIVE ZOOMING AND REFINEMENT

    Bakhtiarnia, A., Zhang, Q. & Iosifidis, A., 2024, ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Institute of Electrical and Electronics Engineers Inc., p. 6510-6514 5 p. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • 2023

    A Family of Digital T Workflows and Architectures: Exploring Two Cases

    Paredis, R., Gomes, C. & Vangheluwe, H., Jul 2023, Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers. Smirnov, A., Panetto, H. & Madani, K. (eds.). Cham: Springer, p. 93-109 17 p. (Communications in Computer and Information Science, Vol. 1855).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    1 Citation (Scopus)

  • 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/proceeding › Article in proceedings › Research › peer-review

    Open Access

  • Attention-Based Feature Compression for CNN Inference Offloading in Edge Computing

    Li, N., Iosifidis, A. & Zhang, Q., Oct 2023, ICC 2023 - IEEE International Conference on Communications. Zorzi, M., Tao, M. & Saad, W. (eds.). IEEE, p. 967-972 6 p. (I E E E International Conference on Communications).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)

  • Crowd Counting on Heavily Compressed Images with Curriculum Pre-Training

    Bakhtiarnia, A., Zhang, Q. & Iosifidis, A., 2023, 2023 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE, p. 559-564 6 p. (Proceedings (IEEE Symposium Series on Computational Intelligence)).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Dynamic Split Computing for Efficient Deep Edge Intelligence

    Bakhtiarnia, A., Milošević, N., Zhang, Q., Bajović, D. & Iosifidis, A., 2023, ICASSP 2023: 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, (I E E E International Conference on Acoustics, Speech and Signal Processing. Proceedings).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    16 Citations (Scopus)

  • How can LCA inform early-stage design to meet Danish regulations? The sustainability opportunity metric

    Kamari, A. & Schultz, C. P. L., Mar 2023, ECPPM 2022 - eWork and eBusiness in Architecture, Engineering and Construction 2022: Proceedings of the 14th European Conference on Product and Process Modelling (ECPPM 2022), September 14-16, 2022, Trondheim, Norway. Hjelseth, E., F. Sujan, S. & J Scherer, R. (eds.). London: CRC Press, p. 27-34 8 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    1 Citation (Scopus)

  • Improving Online non-destructive Moisture Content Estimation using Data Augmentation by Feature Space Interpolation with Variational Autoencoders

    Wewer, C. R. & Iosifidis, A., Aug 2023, 2023 IEEE 21st International Conference on Industrial Informatics (INDIN). IEEE, (IEEE International Conference on Industrial Informatics Proceedings).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    3 Citations (Scopus)

  • PromptMix: Text-to-image diffusion models enhance the performance of lightweight networks

    Bakhtiarnia, A., Zhang, Q. & Iosifidis, A., 2023, 2023 International Joint Conference on Neural Networks (IJCNN). IEEE, (IEEE International Joint Conference on Neural Network proceedings).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    2 Citations (Scopus)

  • Recognition of Defective Mineral Wool Using Pruned ResNet Models

    Rafiei Foroushani, M., Tran, D. T. & Iosifidis, A., Jul 2023, 2023 IEEE 21st International Conference on Industrial Informatics (INDIN). Dorksen, H., Scanzio, S., Jasperneite, J., Wisniewski, L., Man, K. F., Sauter, T., Seno, L., Trsek, H. & Vyatkin, V. (eds.). IEEE, (IEEE International Conference on Industrial Informatics Proceedings).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Self-awareness in Cyber-Physical Systems: Recent Developments and Open Challenges

    Esterle, L., Dutt, N., Gruhl, C., Lewis, P. R., Marcenaro, L., Regazzoni, C. & Jantsch, A., 2023, 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, (Proceedings -Design, Automation and Test in Europe, DATE).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Semantic Communication Enabling Robust Edge Intelligence for Time-Critical IoT Applications

    Cavagna, A., Li, N., Iosifidis, A. & Zhang, Q., Oct 2023, 2023 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, p. 1617-1622 6 p. (IEEE International Conference on Communications workshops).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › 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. (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/proceeding › Article in proceedings › Research › peer-review

    1 Citation (Scopus)

  • Variational Voxel Pseudo Image Tracking

    Oleksiienko, I., Nousi, P., Passalis, N., Tefas, A. & Iosifidis, A., 2023, 2023 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE, p. 323-328 6 p. (Proceedings (IEEE Symposium Series on Computational Intelligence)).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    1 Citation (Scopus)

  • WLD-Reg: A Data-Dependent Within-Layer Diversity Regularizer

    Laakom, F., Raitoharju, J., Iosifidis, A. & Gabbouj, M., 27 Jun 2023, AAAI-23 Technical Tracks 7. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 8421-8429 9 p. 190493. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023, Vol. 37).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    2 Citations (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/proceeding › Article in proceedings › Research › 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. (eds.). p. 19-33 25 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins

    Talasila, P., Crăciunean, C., Bogdan-Constantin, P., Larsen, P. G., Zamfirescu, C.-B. & Scovill, A., 2022, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cerone, A., Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M. & Venture, G. (eds.). Springer, Cham, p. 238–244 7 p. (Lecture Notes in Computer Science, Vol. 13230).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access
    5 Citations (Scopus)

  • 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/proceeding › Article in proceedings › Research › peer-review

  • Distributed Deep Learning Inference Acceleration using Seamless Collaboration in Edge Computing

    Li, N., Iosifidis, A. & Zhang, Q., May 2022, ICC 2022 - IEEE International Conference on Communications. IEEE, p. 3667-3672 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)

  • Edge Intelligence for Synchronized Human-Robotic Arm Interactions over Unreliable Wireless Channels

    Wang, X., Feng, Y., Gu, X., Long, Y., Mukherjee, M., Fizza, K., Zhang, Q. & Guo, M., Dec 2022, 2022 IEEE Global Communications Conference, GLOBECOM 2022 - Proceedings. IEEE, p. 6349-6353 5 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Formally Verified Self-adaptation of an Incubator Digital Twin

    Wright, T., Gomes, C. & Woodcock, J., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 89-109 21 p. (Lecture Notes in Computer Science, Vol. 13704).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

    8 Citations (Scopus)

  • Formal Model In-The-Loop for Secure Industrial Control Networks

    Ubys, L., Vancea, V. N., Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F., Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Springer, p. 74-89 16 p. (Lecture Notes in Computer Science, Vol. 13712).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    1 Citation (Scopus)

  • Integration Of The Mape-K Loop In Digital Twins

    Feng, H., Gomes, C., Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Larsen, P. G. & Sandberg, M., 2022, Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM . Martin, C. R., Emami, N., Blas, M. J. & Rezaee, R. (eds.). IEEE, p. 102-113 12 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    24 Citations (Scopus)

  • Receptive Field-based Segmentation for Distributed CNN Inference Acceleration in Collaborative Edge Computing

    Li, N., Iosifidis, A. & Zhang, Q., 2022, ICC 2022 - IEEE International Conference on Communications. IEEE, p. 4281-4286 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    2 Citations (Scopus)

  • RIS-assisted Task Offloading for Wireless Dead Zone to Minimize Delay in Edge Computing

    Mukherjee, M., Kumar, V., Kumar, S., Mavromoustakis, C. X., Zhang, Q. & Guo, M., Dec 2022, 2022 IEEE Global Communications Conference, GLOBECOM 2022 - Proceedings. IEEE, p. 2554-2559 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    7 Citations (Scopus)

  • Speeding Up Design Space Exploration through Compiled Master Algorithms

    Pierce, K., Lausdahl, K. & Frasheri, M., Aug 2022, Proceedings of the 20th International Overture Workshop. Macedo, H. D. & Pierce, K. (eds.). p. 66-81 16 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • 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/proceeding › Article in proceedings › Research › peer-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/proceeding › Article in proceedings › Research › peer-review

  • VDM-SL in action: A FRAM-based approach to contextualise formal specifications

    Oda, T., Kusakabe, S., Chang, H.-M. & Larsen, P. G., Aug 2022, Proceedings of the 20th International Overture Workshop. Macedo, H. D. & Pierce, K. (eds.). p. 5-18 14 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • 2021

    Developing a Physical and Digital Twin: An Example Process Model

    Feng, H., Gomes, C., Sandberg, M., Thule, C., Lausdahl, K. & Larsen, P. G., 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. IEEE, p. 286-295 10 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)

  • Reconfigurable Intelligent Surface-assisted Edge Computing to Minimize Delay in Task Offloading

    Mukherjee, M., Kumar, V., Kumar, S., Lloret, J., Zhang, Q. & Guo, M., 2021, 2021 IEEE Global Communications Conference (GLOBECOM). IEEE, 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    5 Citations (Scopus)

  • Verification and Uncertainties in Self-integrating System

    Esterle, L., Porter, B. & Woodcock, J., 2021, 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). p. 220-225 6 p. (Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    5 Citations (Scopus)