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
Junghanns, A., Blochwitz, T., Bertsch, C., Sommer, T., Wernersson, K., Pillekeit, A., Zacharias, I., Blesken, M., Mai, P. R., Schuch, K., Schulze, C.
, Gonçalves Gomes, C. Â. & Najafi, M. (2021).
The Functional Mock-up Interface 3.0 - New Features Enabling New Applications. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 17-26)
https://doi.org/10.3384/ecp2118117
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.),
Formal Methods for Industrial Critical Systems (pp. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Gonçalves Gomes, C. Â., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2021).
The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 27-36)
https://doi.org/10.3384/ecp2118127
Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021).
Seismic Hybrid Testing using FMI-based Co-Simulation. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 287-295)
https://doi.org/10.3384/ecp21181287
Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021).
Fault Injecting Co-simulations for Safety. 6-13. Paper presented at 5th International Conference on System Reliability and Safety, Palermo, Italy.
https://doi.org/10.1109/ICSRS53853.2021.9660728
Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021).
Towards a Holistic, Self-Organised Safety Framework for Construction. In
Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (pp. 238-243). IEEE.
https://doi.org/10.1109/ACSOS-C52956.2021.00060
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
Bajovic, D.
, Bakhtiarnia, A., Bravos, G., Brutti, A., Burkhardt, F., Cauchi, D., Chazapis, A., Cianco, C., Dall'Asen, N., Delic, V., Dimou, C., Djokic, D., Escobar-Molero, A.
, Esterle, L., Eyben, F., Farella, E., Festi, T., Geromitsos, A., Giakoumakis, G. ... Zammit, J. (2021).
MARVEL: Multimodal Extreme Scale Data Analytics for Smart Cities Environments. In
2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (pp. 143-147). IEEE.
https://doi.org/10.1109/BalkanCom53780.2021.9593258
Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A. & Larsen, P. G. (2021).
Introduction to Digital Twin Engineering. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.),
2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 1-12). IEEE.
https://doi.org/10.23919/ANNSIM52504.2021.9552135
Inci, E. O., Croes, J., Desmet, W.
, Gomes, C., Thule, C., Lausdahl, K. & Larsen, P. G. (2021).
The Effect and Selection of Solution Sequence in Co-Simulation. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.),
2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 1-12). IEEE.
https://doi.org/10.23919/ANNSIM52504.2021.9552130
Oda, T., Araki, K., Sahara, S., Chang, H.-M.
& Larsen, P. G. (2021).
Refactoring for Exploratory Specification in VDM-SL. In H. D. Macedo, C. Thule & K. Pierce (Eds.),
Proceedings of the 19th International Overture Workshop (pp. 21-35)
https://arxiv.org/abs/2110.09371
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
Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G. (2021).
Towards a digital twin framework for autonomous robots. In W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (Eds.),
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (pp. 1254-1259). IEEE.
https://doi.org/10.1109/COMPSAC51774.2021.00174
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
Asplund, F.
, Macedo, H. D. & Sassanelli, C. (2021).
Problematizing the Service Portfolio of Digital Innovation Hubs. In L. M. Camarinha-Matos, X. Boucher & H. Afsarmanesh (Eds.),
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 (pp. 433-440). Springer.
https://doi.org/10.1007/978-3-030-85969-5_40