Kakavandi, F., de Reus, R.
, Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G. (2022).
Product Quality Control in Assembly Machine under Data Restricted Settings. I
2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (s. 735-741). IEEE.
https://doi.org/10.1109/INDIN51773.2022.9976173
Kakavandi, F., Gomes, C., de Reus, R., Badstue, J.
, Jensen, J. L., Larsen, P. G. & Iosifidis, A. (2023).
Towards Developing a Digital Twin for a Manufacturing Pilot Line: An Industrial Case Study. I E. Karaarslan, Ö. Aydin, Ü. Cali & M. Challenger (red.),
Digital Twin Driven Intelligent Systems and Emerging Metaverse (s. 39-64). Springer.
https://doi.org/10.1007/978-981-99-0252-1_2
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/ecp2118117
Jones, C. B.
, Larsen, P. G., Prinz, A., Raschke, A. & Snook, C. F. (2014).
Specification of the Cash Dispenser in Parallel using ASM and VDM. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/DagRep.3.9.74
Johansen, K. W., Nielsen, R. O.
, Teizer, J. & Schultz, C. P. L. (2021).
An AI-based approach for automated work progress estimation from construction activities using abductive reasoning. I V. Semenov & R. J. Scherer (red.),
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (s. 237-244). CRC Press.
https://doi.org/10.1201/9781003191476-33
Jensen, L. B., Jonas Lund, J. L., Pedersen, P.
& Macedo, H. D. (2023).
Assessing Resource Availability in Floodwater Systems for Use in Power-To-X Technologies. I M. Affenzeller, A. G. Bruzzone, E. Jimenez, F. Longo & A. Petrillo (red.),
Proceedings of the 35th European Modeling & Simulation Symposium (EMSS 2023) https://doi.org/10.46354/i3m.2023.emss.023
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. 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.9552130
Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016).
Formalising and Validating the Interface Description in the FMI standard. I J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (red.),
FM 2016: Formal Methods - 21st International Symposium, Proceedings (Bind 9995, s. 344-351). Springer.
https://doi.org/10.1007/978-3-319-48989-6_21
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
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. 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
Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022).
The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations.
Electronics (Switzerland),
11(21), Artikel 3635.
https://doi.org/10.3390/electronics11213635
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
Hansen, S. T., Thule, C., Gomes, C., Lausdahl, K. G., Madsen, F. P., Abbiati, G. & Larsen, P. G. (2024).
Co-simulation at different levels of expertise with Maestro2.
Journal of Systems and Software,
209, Artikel 111905.
https://doi.org/10.1016/j.jss.2023.111905