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
Oakes, B. J.
, Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021).
Hint-based configuration of co-simulations with algebraic loops. In M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (Eds.),
Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (pp. 1-28). Springer.
https://doi.org/10.1007/978-3-030-55867-3_1
Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D. (2021).
Introducing Regression Tests and Upgrades to the INTO-CPS Application. In L. Cleophas & M. Massink (Eds.),
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 (pp. 311-317). Springer.
https://doi.org/10.1007/978-3-030-67220-1_23
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
Yuksel, O.
, Sandberg, M., Baran, I., Ersoy, N., Hattel, J. H. & Akkerman, R. (2021).
Material characterization of a pultrusion specific and highly reactive polyurethane resin system: Elastic modulus, rheology, and reaction kinetics.
Composites Part B: Engineering,
207, Article 108543.
https://doi.org/10.1016/j.compositesb.2020.108543
Yuksel, O.
, Sandberg, M., Hattel, J. H., Akkerman, R. & Baran, I. (2021).
Mesoscale Process Modeling of a Thick Pultruded Composite with Variability in Fiber Volume Fraction.
Materials,
14(13), Article 3763.
https://doi.org/10.3390/ma14133763
Sandberg, M., Yuksel, O., Baran, I., Hattel, J. H. & Spangenberg, J. (2021).
Numerical and experimental analysis of resin-flow, heat-transfer, and cure in a resin-injection pultrusion process.
Composites Part A: Applied Science and Manufacturing,
143, Article 106231.
https://doi.org/10.1016/j.compositesa.2020.106231
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
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
Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C.
& Esterle, L. (2021).
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. In A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (Eds.),
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021 CEUR-WS.org.
http://ceur-ws.org/Vol-2956/paper12.pdf
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
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M.
& Larsen, P. G. (2021).
Specifying Abstract User Interface in VDM-SL. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 5-20)
https://arxiv.org/pdf/2101.07261.pdf
Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021).
Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes.
Composites Part B: Engineering,
216, Article 108812.
https://doi.org/10.1016/j.compositesb.2021.108812
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
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
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
Feng, H., Gomes, C., Thule, C., Lausdahl, K., Sandberg, M. & Larsen, P. G. (2021).
The Incubator Case Study for Digital Twin Engineering. ArXiv.
https://arxiv.org/pdf/2102.10390.pdf
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. In J. Proença & A. Paskevich (Eds.),
Proceedings of the 6th Workshop on Formal Integrated Development Environment (Vol. 338, pp. 3-18). Open Publishing Association.
https://doi.org/10.4204/EPTCS.338.3
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
Foldager, F. F., Thule, C., Balling, O. & Larsen, P. G. (2021).
Towards a Digital Twin - Modelling an Agricultural Vehicle. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (pp. 109-123). Springer.
https://doi.org/10.1007/978-3-030-83723-5_8
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., Nielsen, R. O.
, Johansen, K. W., Teizer, J., Larsen, P. G. & Schultz, C. (2021).
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. 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. 153-174). Springer.
https://doi.org/10.1007/978-3-030-83723-5_11
Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C.
, Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021).
Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 50-65)
https://arxiv.org/pdf/2101.07261.pdf
Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021).
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. 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. 72-87). Springer.
https://doi.org/10.1007/978-3-030-83723-5_6
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
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
Visual Studio Code VDM Support. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 35-50)
https://arxiv.org/pdf/2101.07261.pdf
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S. (2020).
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. In F. De Rango, T. Ören & M. Obaidat (Eds.),
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (Vol. Volume 1: SIMULTECH, pp. 263-270). SCITEPRESS Digital Library.
https://doi.org/10.5220/0009892802630270
Gomes, C., Franceschini, R., Battle, N.
, Thule, C., Lausdahl, K., Vangheluwe, H.
& Larsen, P. G. (2020).
Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. In
Proceedings of the American Modelica Conference 2020 (pp. 149-158). Linköping University Electronic Press.
https://doi.org/10.3384/ecp20169149
Larsen, P. G., Macedo, H. D., Gonçalves Gomes, C. Â., Esterle, L., Thule, C., Fitzgerald, J. & Pierce, K. (2020).
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.),
Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019 (pp. 196-213). Springer.
https://doi.org/10.1007/978-3-030-57663-9_13