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
Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021).
Towards a Holistic, Self-Organised Safety Framework for Construction. In
Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (pp. 238-243). IEEE.
https://doi.org/10.1109/ACSOS-C52956.2021.00060
Foldager, F. F., Thule, C., Balling, O. & Larsen, P. G. (2021).
Towards a Digital Twin - Modelling an Agricultural Vehicle. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (pp. 109-123). Springer.
https://doi.org/10.1007/978-3-030-83723-5_8
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. In W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (Eds.),
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (pp. 1254-1259). IEEE.
https://doi.org/10.1109/COMPSAC51774.2021.00174
Rausch, C., Talebi, S., Poshdar, M.
, Li, B. & Schultz, C. (2022).
Tolerance management domain model for semantic enrichment of BIMs.
Automation in Construction,
141, Article 104394.
https://doi.org/10.1016/j.autcon.2022.104394
Vafamand, N.
, Khooban, M. H., Dragicevic, T.
, Boudjadar, J. & Asemani, M. H. (2019).
Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids.
IEEE Systems Journal,
13(3), 3233-3241.
https://doi.org/10.1109/JSYST.2019.2892528
Krings, S., Leuschel, M., Körner, P.
, Hallerstede, S. & Hasanagic, M. (2018).
Three is a crowd: SAT, SMT and CLP on a chessboard. In F. Calimeri, K. Hamlen & N. Leone (Eds.),
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Vol. 10702, pp. 63-79). Springer.
https://doi.org/10.1007/978-3-319-73305-0_5
M. dos Santos, O.
, Woodcock, J., Freeman Paige, R. & King, S. (2009).
The Use of Model Transformation in the INESS Project. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede & M. Leuschel (Eds.),
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Vol. 1, pp. 147-165). Springer.
https://doi.org/10.1007/978-3-642-17071-3
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. In J. Proença & A. Paskevich (Eds.),
Proceedings of the 6th Workshop on Formal Integrated Development Environment (Vol. 338, pp. 3-18). Open Publishing Association.
https://doi.org/10.4204/EPTCS.338.3
Schrey-Niemenmaa, K., Clark, R., Matthiasdottir, A., Georgsson, F., Kontio, J.
, Bennedsen, J., Rouvrais, S. & Hermon, P. (2017).
The Power of Self-evaluation Based Cross-Sparring in Developing the Quality of Engineering Programmes. In M. E. Auer & K.-S. Kim (Eds.),
Engineering Education for a Smart Society - World Engineering Education Forum and Global Engineering Deans Council, 2016 (Vol. 627, pp. 158-174). Springer.
https://doi.org/10.1007/978-3-319-60937-9_13
Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J.
, Lausdahl, K. & Verhoef, M. (2010).
The Overture Initiative Integrating Tools for VDM.
Software Engineering Notes,
35(1), 1-6.
https://doi.org/10.1145/1668862.1668864
Karamesouti, M.
, Schultz, C. P. L., Chipofya, M., Jan, S., Murcia Galeano, C. E., Schwering, A. & Timm, C. (2018).
THE MAASAI OF SOUTHERN KENYA DOMAIN MODEL OF LAND USE. In
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences: ISPRS TC IV Mid-term Symposium “3D Spatial Information Science – The Engine of Change” (Vol. IV-4, pp. 105-112). International Society for Photogrammetry and Remote Sensing.
https://doi.org/10.5194/isprs-annals-IV-4-105-2018
Lausdahl, K. G., Thule, C., Larsen, P. G., Höll, J., Klueber, A., Pfeil, M. & Fässler, V. (2017).
The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. Abstract from FMI User meeting, Prag, Czech Republic.
Larsen, P. G., Fitzgerald, J., Woodcock, J., König, C., Basagiannis, S., Brosse, E., Gomes, C., Cabral, J.
, Macedo, H. D., Thule, C., Sadovykh, A., Zamfirescu, C.-B., Neghina, M., Pierce, K., Gamble, C. & Payne, R. (2018).
The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide.
http://into-cps.org/fileadmin/into-cps.org/Filer/INTO-CPS-Manifesto.pdf
Feng, 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
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. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 17-26)
https://doi.org/10.3384/ecp2118117
Gonç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. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 27-36)
https://doi.org/10.3384/ecp2118127
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), Article 3635.
https://doi.org/10.3390/electronics11213635
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. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.),
2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 1-12). IEEE.
https://doi.org/10.23919/ANNSIM52504.2021.9552130