Frasheri, M., Ejersbo, H., Thule, C., Gomes, C., Kvistgaard, J. L., Larsen, P. G. & Esterle, L. (2023).
Addressing time discrepancy between digital and physical twins.
Robotics and Autonomous Systems,
161, Article 104347.
https://doi.org/10.1016/j.robot.2022.104347
Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Homayounzadeh, M. & Khooban, M. H. (2023).
Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network.
I E E E Transactions on Vehicular Technology,
72(7), 8449-8458.
https://doi.org/10.1109/TVT.2023.3247838
Legaard, C. M., Schranz, T., Schweiger, G., Drgona, J., Falay, B.
, Gomes, C., Iosifidis, A., Abkar, M. & Larsen, P. G. (2023).
Constructing Neural Network Based Models for Simulating Dynamical Systems.
ACM Computing Surveys,
55(11), 1-34. Article 236.
https://doi.org/10.1145/3567591
Malmqvist, J., Lundqvist, U., Rosén, A., Edström, K., Gupta, R., Leong, H., Cheah, S. M.
, Bennedsen, J., Hugo, R., Kamp, A., Leifler, O., Gunnarsson, S., Roslöf, J. & Spooner, D. (2022).
The CDIO Syllabus 3.0 - An Updated Statement of Goals. In
18th CDIO International Conference Proceedings - Full papers (pp. 18-36)
https://en.ru.is/media/cdio2022/CDIO_2022_Proceedings.pdf
Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022).
Towards Secure Digital Twins. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 159-176). Springer.
https://doi.org/10.1007/978-3-031-19762-8_11
Farooq, W., Islam, S. U., Khan, M. A., Rehman, S., Gulzari, U. A.
& Boudjadar, J. (2022).
UGAVs-MDVR: A Cluster-Based Multicast Routing Protocol for Unmanned Ground and Aerial Vehicles Communication in VANET.
Applied Sciences,
12(23), Article 11995.
https://doi.org/10.3390/app122311995
Hudert, M. M., Elvebakken, M. F., Meagher, M.
, Mangliar, L., Zhang, X. & Esterle, L. (2022).
Deep learning enhanced robotic fabrication of timber-to-timber connections with densified hardwood nails. In
Proceedings of the IASS 2022 Symposium affiliated with APCS 2022 conference: Innovation - Sustainability - Legacy (pp. 1740-1748)
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
Talasila, P., Crăciunean, C., Bogdan-Constantin, P.
, Larsen, P. G., Zamfirescu, C.-B. & Scovill, A. (2022).
Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (Eds.),
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 (pp. 238–244). Springer, Cham.
https://doi.org/10.1007/978-3-031-12429-7_17
Esterle, L., Ejersbo, H., Frasheri, M., Gomes, C., Macedo, H. D. & Larsen, P. G. (2022).
Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. In
Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (pp. 53-54). IEEE.
https://doi.org/10.1109/ACSOSC56246.2022.00028
del Palacio Gonzalez, A., Thylstrup, B., Pedersen, M. U., Danielsen, B., Kirk, H. B. & Jensen, K. L. (2022).
Design and Testing of an Aftercare Mobile App for Substance Use Among Young Adults: An Interdisicplinary Approach in Denmark. Abstract from Lisbon addictions 2022, Lisabon, Portugal.
Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022).
The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations.
Electronics (Switzerland),
11(21), Article 3635.
https://doi.org/10.3390/electronics11213635
Saleem, B., Badar, R., Manzoor, A., Judge, M. A.
, Boudjadar, J. & Islam, S. U. (2022).
Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System.
IEEE Access,
10, 36464-36476.
https://doi.org/10.1109/ACCESS.2022.3164455
Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G. (2022).
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini & G. Venture (Eds.),
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 143-155). Springer.
https://doi.org/10.1007/978-3-031-12429-7_11
Feng, H., Gomes, C., Sandberg, M., Thule, C., Lausdahl, K. & Larsen, P. G. (2021).
Developing a Physical and Digital Twin: An Example Process Model. In
Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 (pp. 286-295). IEEE.
https://doi.org/10.1109/MODELS-C53483.2021.00050
Volk, M., Yuksel, O., Baran, I., Hattel, J. H., Spangenberg, J.
& Sandberg, M. (2022).
Cost-efficient, automated, and sustainable composite profile manufacture: A review of the state of the art, innovations, and future of pultrusion technologies.
Composites Part B: Engineering,
246, Article 110135.
https://doi.org/10.1016/j.compositesb.2022.110135
Ubys, L., Vancea, V. N.
, Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022).
Formal Model In-The-Loop for Secure Industrial Control Networks. In
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer.
https://doi.org/10.1007/978-3-031-20872-0_5
Feng, H., Gomes, C., Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Larsen, P. G. & Sandberg, M. (2022).
Integration Of The Mape-K Loop In Digital Twins. In C. R. Martin, N. Emami, M. J. Blas & R. Rezaee (Eds.),
Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM (pp. 102-113). IEEE.
https://doi.org/10.23919/ANNSIM55834.2022.9859489
Rask, J. K., Madsen, F. P., Battle, N., Freitas, L.
, Macedo, H. D. & Larsen, P. G. (2022).
Advanced VDM Support in Visual Studio Code. In H. D. Macedo & K. Pierce (Eds.),
Proceedings of the 20th International Overture Workshop (pp. 34-49)
https://doi.org/10.48550/arXiv.2208.10233
Rausch, C., Talebi, S., Poshdar, M.
, Li, B. & Schultz, C. (2022).
Tolerance management domain model for semantic enrichment of BIMs.
Automation in Construction,
141, Article 104394.
https://doi.org/10.1016/j.autcon.2022.104394
Zambrano, V., Mueller-Roemer, J.
, Sandberg, M., Talasila, P., Zanin, D.
, Larsen, P. G., Loeschner, E., Thronicke, W., Pietraroia, D., Landofi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I. ... Stork, A. (2022).
Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms.
Array,
14, Article 100176.
https://doi.org/10.1016/j.array.2022.100176
Tola, D., Madsen, E., Gomes, C., Esterle, L., Schlette, C., Hansen, C.
& Larsen, P. G. (2022).
Towards Easy Robot System Integration: Challenges and Future Directions. In
2022 IEEE/SICE International Symposium on System Integration (SII) (pp. 77-82). IEEE.
https://doi.org/10.1109/SII52469.2022.9708846
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).
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. In M. S. Obaidat, T. Oren & F. D. Rango (Eds.),
Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (pp. 90-110). Springer.
https://doi.org/10.1007/978-3-030-84811-8_5
Kulik, T., Dongol, B.
, Larsen, P. G., Macedo, H. D., Schnieder, S.
, Tran-Jørgensen, P. W. V. & Woodcock, J. (2022).
A Survey of Practical Formal Methods for Security.
Formal Aspects of Computing,
34(1), Article 3522582.
https://doi.org/10.1145/3522582
Böttjer, T., Ørnskov Rønsch, G.
, Gomes, C., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2021).
Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. In A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.),
Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems - Proceedings of the 8th Changeable, Agile, Reconfigurable and Virtual Production Conference CARV 2021 and 10th World Mass Customization and Personalization Conference MCPC 2021 (pp. 431-439). Springer.
https://doi.org/10.1007/978-3-030-90700-6_49