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
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
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
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
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
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
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
Kakavandi, F., de Reus, R.
, Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G. (2022).
Product Quality Control in Assembly Machine under Data Restricted Settings. In
2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (pp. 735-741). IEEE.
https://doi.org/10.1109/INDIN51773.2022.9976173
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
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
Li, B., Schultz, C., Teizer, J., Golovina, O. & Melzner, J. (2022).
Towards a unifying domain model of construction safety, health and well-being: SafeConDM.
Advanced Engineering Informatics,
51, Article 101487.
https://doi.org/10.1016/j.aei.2021.101487
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
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
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
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
Johansen, K. W., Nielsen, R. O.
, Teizer, J. & Schultz, C. P. L. (2021).
An AI-based approach for automated work progress estimation from construction activities using abductive reasoning. In V. Semenov & R. J. Scherer (Eds.),
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (pp. 237-244). CRC Press.
https://doi.org/10.1201/9781003191476-33
Legaard, C. M., Tola, D., Schranz, T.
, Macedo, H. D. & Larsen, P. G. (2021).
A Universal Mechanism for Implementing Functional Mock-up Units. In G. Wagner, F. Werner, T. I. Ören & F. D. Rango (Eds.),
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021 (pp. 121-129). SCITEPRESS Digital Library.
https://doi.org/10.5220/0010577601210129
Robinson, C., Bagnato, A., Pastrone, C., Weyer, T., Popov, P.
, Macedo, H. D., Sassanelli, C.
, Larsen, P. G., Luz, C. H., Henshaw, M., Buron, C., Akerkar, R. & Györffi, M. (2021).
Bridging the stakeholder communities that produce cyber-physical systems. In M. D. E. al (Ed.),
HiPEAC Vision 2021: High performance embedded architecture and compilation (pp. 20-29). HiPEAC.
https://www.hipeac.net/vision/2021/
Böttjer, T., Ørnskov Rønsch, G.
, Gonçalves 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, 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 Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference (pp. 431-439). Springer.
https://www.springerprofessional.de/en/data-driven-identification-of-remaining-useful-life-for-plastic-/19816878
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
Li, B., Schultz, C. P. L., Dimyadi, J. & Amor, R. (2021).
Defeasible reasoning for automated building code compliance checking. In V. Semenov & R. J. Scherer (Eds.),
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (pp. 229-236). CRC Press.
https://doi.org/10.1201/9781003191476
Badicu, A., Iordache, G., Suciu, G.
, Macedo, H. D., Sassanelli, C., Terzi, S.
& Larsen, P. G. (2021).
Deploying the Smart Energy Tool for Investment Simulation inside the HUBCAP Sandbox. In A. G. Bruzzone, J. S. Janosy, L. Nicoletti & G. Zacharewicz (Eds.),
9th International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2021 (pp. 18-26)
https://doi.org/10.46354/i3m.2021.sesde.003
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
Esterle, L., Gomes, C., Frasheri, M., Ejersbo, H., Tomforde, S.
& Larsen, P. G. (2021).
Digital twins for collaboration and self-integration. In
Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (pp. 172-177). IEEE.
https://doi.org/10.1109/ACSOS-C52956.2021.00040
Fitzgerald, J.
, Larsen, P. G., Margaria, T.
& Woodcock, J. (2021).
Engineering of Digital Twins for Cyber-Physical Systems. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 49-53). Springer.
https://doi.org/10.1007/978-3-030-83723-5_4
Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F.
, Larsen, P. G. & Macedo, H. D. (2021).
Extending the Formal Security Analysis of the HUBCAP sandbox. In H. D. Macedo, C. Thule & K. Pierce (Eds.),
Proceedings of the 19th International Overture Workshop (pp. 36-50)
https://arxiv.org/abs/2110.09371