Bennedsen, J., Edström, K., Guðjónsdóttir, M. S., Sæmundsdóttir, I., Kuptasthien, N., Roslöf, J. & Sripakagorn, A. (2021).
Editorial.
Proceedings of the International CDIO Conference, 1-2.
Frydenlund, A., Poggi, A. I., Hansen, S. K., Brage-Andersen, M.
, Merhi, Y., Agarwala, S., Mikkelsen, P. H., Nygaard, J. V., Steffensen, I. E. & Suetta, C. (2021).
Elektrisk stimulation mod muskel- og funktionstab hos en patient indlagt med COVID-19.
Ugeskrift for Læger,
183(20), 1-4. Artikel V03210275.
https://ugeskriftet.dk/files/scientific_article_files/2021-05/v03210275_web.pdfKulik, 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. I H. D. Macedo, C. Thule & K. Pierce (red.),
Proceedings of the 19th International Overture Workshop (s. 36-50)
https://arxiv.org/abs/2110.09371
Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021).
Fault Injecting Co-simulations for Safety. 6-13. Afhandling præsenteret på 5th International Conference on System Reliability and Safety, Palermo, Italien.
https://doi.org/10.1109/ICSRS53853.2021.9660728
Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A. & Larsen, P. G. (2021).
Introduction to Digital Twin Engineering. I C. R. Martin, M. J. Blas & A. I. Psijas (red.),
2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 1-12). IEEE.
https://doi.org/10.23919/ANNSIM52504.2021.9552135
Amiri, M., Dehghani, M., Khayatian, A., Mohammadi, M.
, Vafamand, N. & Boudjadar, J. (2021).
Investigation of Wind Energy Impact on Power Systems Stability Using Lyapunov Exponents. I H. Selvaraj, G. Chmaj & D. Zydek (red.),
Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 12-22). Springer.
https://doi.org/10.1007/978-3-030-65796-3_2Bajovic, 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. I
2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (s. 143-147). IEEE.
https://doi.org/10.1109/BalkanCom53780.2021.9593258Yuksel, 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), Artikel 3763.
https://doi.org/10.3390/ma14133763Iraji, M., Dehghani, M., Mohammadi, M.
, Vafamand, N. & Boudjadar, J. (2021).
Motor Current Signature Analysis Using Shapelet. I H. Selvaraj, G. Chmaj & D. Zydek (red.),
Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 23-33). Springer.
https://doi.org/10.1007/978-3-030-65796-3_3Asplund, F.
, Macedo, H. D. & Sassanelli, C. (2021).
Problematizing the Service Portfolio of Digital Innovation Hubs. I L. M. Camarinha-Matos, X. Boucher & H. Afsarmanesh (red.),
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 (s. 433-440). Springer.
https://doi.org/10.1007/978-3-030-85969-5_40Oda, T., Araki, K., Sahara, S., Chang, H.-M.
& Larsen, P. G. (2021).
Refactoring for Exploratory Specification in VDM-SL. I H. D. Macedo, C. Thule & K. Pierce (red.),
Proceedings of the 19th International Overture Workshop (s. 21-35)
https://arxiv.org/abs/2110.09371Tola, D., Gomes, C., Schultz, C., Schlette, C.
, Hansen, C. & Esterle, L. (2021).
RoboCIM: Towards a domain model for industrial robot system configurators.
CEUR Workshop Proceedings,
2956.
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. I A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (red.),
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. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 287-295)
https://doi.org/10.3384/ecp21181287
Bellman, K., Botev, J., Diaconescu, A.
, Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Nelson, P. R., Pournaras, E., Stein, A. & Tomforde, S. (2021).
Self-improving system integration: Mastering continuous change.
Future Generation Computer Systems,
117, 29-46.
https://doi.org/10.1016/j.future.2020.11.019Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M.
& Larsen, P. G. (2021).
Specifying Abstract User Interface in VDM-SL. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 5-20)
https://arxiv.org/pdf/2101.07261.pdfInci, 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. I C. R. Martin, M. J. Blas & A. I. Psijas (red.),
2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 1-12). IEEE.
https://doi.org/10.23919/ANNSIM52504.2021.9552130Gonç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. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 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. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 17-26)
https://doi.org/10.3384/ecp2118117Feng, 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. I J. Proença & A. Paskevich (red.),
Proceedings of the 6th Workshop on Formal Integrated Development Environment (Bind 338, s. 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. I W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (red.),
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (s. 1254-1259). IEEE.
https://doi.org/10.1109/COMPSAC51774.2021.00174
Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021).
Towards a Holistic, Self-Organised Safety Framework for Construction. I
Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 238-243). IEEE.
https://doi.org/10.1109/ACSOS-C52956.2021.00060
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. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 50-65)
https://arxiv.org/pdf/2101.07261.pdfHansen, 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. I A. L. Lafuente & A. Mavridou (red.),
Formal Methods for Industrial Critical Systems (s. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
