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. In
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. Manuscript submitted for publication.
Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H.
& Larsen, P. G. (2020).
Generation of Co-simulation Algorithms Subject to Simulator Contracts. In J. Camara & M. Steffen (Eds.),
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (pp. 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. In 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 (Eds.),
Formal Methods: FM 2019 International Workshops (pp. 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. In B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (Eds.),
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (pp. 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), Article 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. In
Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (pp. 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. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.),
Frontiers in Software Engineering Education: FISEE 2019 (pp. 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. In H. Osumi, H. Furuya & K. Tateyama (Eds.),
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 - (pp. 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. In 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 (Eds.),
Formal Methods: FM 2019 International Workshops (pp. 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. In J. Camara & M. Steffen (Eds.),
Software Engineering and Formal Methods (pp. 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. In 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 (Eds.),
Formal Methods: FM 2019 International Workshops (Vol. Revised Selected Papers, Part II, pp. 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. In 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 (Eds.),
Formal Methods. FM 2019 International Workshops (pp. 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. In M. S. Obaidat, T. Ören & F. De Rango (Eds.),
Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (pp. 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. In
SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 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. In B. Schweizer (Ed.),
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 (pp. 81-97). Springer.
https://doi.org/10.1007/978-3-030-14883-6_5