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, Artikel 100176.
https://doi.org/10.1016/j.array.2022.100176
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, Artikel 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), Artikel 3763.
https://doi.org/10.3390/ma14133763
Woodcock, J., Cavalcanti, A., Fitzgerald, J.
, Larsen, P. G., Miyazawa, A. & Perry, S. (2012).
Features of CML: a formal modelling language for Systems of Systems. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien.
https://doi.org/10.1109/SYSoSE.2012.6384144
Woodcock, J., Cavalcanti, A., Fitzgerald, J., Foster, S.
& Larsen, P. G. (2014).
Contracts in CML. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (s. 54-73). Springer.
https://doi.org/10.1007/978-3-662-45231-8_5
Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021).
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 72-87). Springer.
https://doi.org/10.1007/978-3-030-83723-5_6
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010).
Optimizing Energy Usage in Private Households. I R. Prasad, S. Ohmori & D. Šimunić (red.),
Towards Green ICT (s. 185-210). River Pulishers.
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, Artikel 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. I
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (s. 74-89). Springer.
https://doi.org/10.1007/978-3-031-20872-0_5
Tøttrup, M. F., Hu, E. C., Kramer, B. A.
, Macedo, H. D. & Esterle, L. (2023).
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. I P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (red.),
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (s. 200-209). Springer.
https://doi.org/10.1007/978-3-031-26236-4_18
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
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. I
2022 IEEE/SICE International Symposium on System Integration (SII) (s. 77-82). IEEE.
https://doi.org/10.1109/SII52469.2022.9708846
Thule, C., Gomes, C., Deantoni, J.
, Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018).
Towards the Verification of Hybrid Co-simulation Algorithms. I M. Mazzara, I. Ober & G. Salaün (red.),
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 5-20). Springer.
https://doi.org/10.1007/978-3-030-04771-9_1
Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G.
& Larsen, P. G. (2019).
Maestro: The INTO-CPS co-simulation framework.
Simulation Modelling Practice and Theory,
92, 45-61.
https://doi.org/10.1016/j.simpat.2018.12.005
Thule, C., Palmieri, M.
, Gomes, C., Lausdahl, K.
, Macedo, H. D., Battle, N.
& Larsen, P. G. (2020).
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. I J. Camara & M. Steffen (red.),
Software Engineering and Formal Methods (s. 50-66). Springer.
https://doi.org/10.1007/978-3-030-57506-9_5
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. I L. Cleophas & M. Massink (red.),
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 (s. 311-317). Springer.
https://doi.org/10.1007/978-3-030-67220-1_23
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. I A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (red.),
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 (s. 238–244). Springer, Cham.
https://doi.org/10.1007/978-3-031-12429-7_17
Talasila, P., Gomes, C., Mikkelsen, P. H., Arboleda, S. G., Kamburjan, E.
& Larsen, P. G. (2023).
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users.
Šeta, B.
, Sandberg, M., Brander, M., Tusher Mollah, M., Pokkalla, D., Kumar, V. & Spangenberg, J. (Accepteret/In press).
Modeling fiber orientation and strand shape morphology in three-dimensional material extrusion additive manufacturing.
Composites Part B: Engineering,
266, Artikel 110957.
https://doi.org/10.1016/j.compositesb.2023.110957
Schweiger, G.
, Gomes, C., Engel, G., Hafner, I., Schoeggl, J., Posch, A. & Nouidui, T. S. (2019).
An empirical survey on co-simulation: Promising standards, challenges and research needs.
Simulation Modelling Practice and Theory,
95, 148-163.
https://doi.org/10.1016/j.simpat.2019.05.001