Larsen, P. G., Soulioti, G.
, Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M.
, Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q.
& Talasila, P. (2020).
Enabling Combining Models and Tools in an Online MBSE Collaboration Platform. I
Model Based Space Systems and Software Engineering (MBSE2020) https://indico.esa.int/event/329/attachments/3868/5508/Abstracts_combined.pdf
Kulik, T., Dongol, B.
, Larsen, P. G., Macedo, H. D., Schneider, S.
, Tran-Jørgensen, P. W. V. & Woodcock, J. (2020).
Formal Methods in Security Survey. Manuskript afsendt til publicering.
Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H.
& Larsen, P. G. (2020).
Generation of Co-simulation Algorithms Subject to Simulator Contracts. I J. Camara & M. Steffen (red.),
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (s. 34-49). Springer.
https://doi.org/10.1007/978-3-030-57506-9_4
Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G. (2020).
Migrating the INTO-CPS Application to the Cloud. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (s. 254-271). Springer.
https://doi.org/10.1007/978-3-030-54997-8_17
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G. & Pierce, K. (2020).
Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. I B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (red.),
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (s. 169-193). Academic Press.
https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7
Salling, F. B.
, Sandberg, M., Spangenberg, J. & Hattel, J. H. (2020).
Numerical and experimental analyses in composites processing: impregnation, heat transfer, resin cure and residual stresses.
IOP Conference Series-Materials Science and Engineering,
942(1), Artikel 012003.
https://doi.org/10.1088/1757-899X/942/1/012003
Sandberg, M., Yuksel, O., Comminal, R. B., Sonne, M. R., Jabbari, M., Bo Salling, F., Baran, I., Spangenberg, J. & Hattel, J. H. (2020).
Numerical modeling of the mechanics of pultrusion. I
Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (s. 173-195). Elsevier.
https://doi.org/10.1016/B978-0-12-818232-1.00006-0
Hallerstede, S., Larsen, P. G., Boudjadar, J., Schultz, C. P. L. & Esterle, L. (2020).
On the Design of a New Software Engineering Curriculum in Computer Engineering. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.),
Frontiers in Software Engineering Education: FISEE 2019 (s. 178-195). Springer.
https://doi.org/10.1007/978-3-030-57663-9_12,
https://doi.org/10.1007%2F978-3-030-57663-9
Sandberg, M., Kabachi, A., Volk, M., Bo Salling, F., Ermanni, P., Hattel, J. H. & Spangenberg, J. (2020).
Permeability and compaction behaviour of air-texturised glass fibre rovings: A characterisation study.
Journal of Composite Materials,
54(27), 4241-4252.
https://doi.org/10.1177/0021998320926703
Li, B., Schultz, C. P. L., Melzner, J.
, Golovina, O. & Teizer, J. (2020).
Safe and Lean Location-based Construction Scheduling. I H. Osumi, H. Furuya & K. Tateyama (red.),
Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (s. 1409-1416). International Association for Automation and Robotics in Construction (IAARC).
https://doi.org/10.22260/ISARC2020/0195
Legat, B.
, Gomes, C., Karalis, P., Jungers, R. M., Navarro-Lopez, E. M. & Vangheluwe, H. (2020).
Stability of Planar Switched Systems under Delayed Event Detection.
Proceedings of the IEEE Conference on Decision and Control, 5792-5797.
https://doi.org/10.1109/CDC42340.2020.9304152
Battle, N., Thule, C., Gomes, C.
, Macedo, H. D. & Larsen, P. G. (2020).
Towards a Static Check of FMUs in VDM-SL. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (s. 272-288). Springer.
https://doi.org/10.1007/978-3-030-54997-8_18
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
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H.-M.
& Larsen, P. G. (2020).
ViennaDoc: An Animatable and Testable Specification Documentation Tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (Bind Revised Selected Papers, Part II, s. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8
Oda, T., Araki, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H. M.
& Larsen, P. G. (2020).
ViennaDoc: An animatable and testable specification documentation tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods. FM 2019 International Workshops (s. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8_19
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
Hasanagic, M., Fabri, T.
, Larsen, P. G., Bandur, V., Tran-Jørgensen, P. W. V. & Ouy, J. (2019).
Code generation for distributed embedded systems with VDM-RT.
Design Automation for Embedded Systems,
23(3-4), 153-177.
https://doi.org/10.1007/s10617-019-09227-0
Pedersen, N.
, Lausdahl, K. G., Vidal, E. S.
, Thule, C., Larsen, P. G. & Madsen, J. (2019).
Distributed Co-simulation of Embedded Control Software Using INTO-CPS. I M. S. Obaidat, T. Ören & F. De Rango (red.),
Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (s. 33-54). Springer.
https://doi.org/10.1007/978-3-030-01470-4_3
Gomes, C., Oakes, B. J., Moradi, M., Torres Gamiz, A., Mendo, J. C., Dutre, S., Denil, J. & Vangheluwe, H. (2019).
HintCO - Hint-Based Configuration of Co-Simulations. I
SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (s. 57-68)
http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf
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
Gomes, C., Meyers, B., Denil, J.
, Thule, C., Lausdahl, K. G., Vangheluwe, H. & De Meulenaere, P. (2019).
Semantic adaptation for FMI co-simulation with hierarchical simulators.
Simulation,
95(3), 241-269.
https://doi.org/10.1177/0037549718759775
Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019).
Stable Adaptive Co-simulation: A Switched Systems Approach. I B. Schweizer (red.),
IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 (s. 81-97). Springer.
https://doi.org/10.1007/978-3-030-14883-6_5