Koeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M.
, Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017).
Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. I
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Bind XLII-2/W7, s. 37-43)
https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-2-W7/37/2017/isprs-archives-XLII-2-W7-37-2017.pdf
Monteiro Duarte Couto, L. D., Larsen, P. G., Hasanagic, M., Kanakis, G., Lausdahl, K. G. & Tran-Jørgensen, P. W. V. (2015).
Towards Enabling Overture as a Platform for Formal Notation IDEs. I
Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Bind 187, s. 14-27)
https://doi.org/10.4204/EPTCS.187.2
Krukar, J.
, Schultz, C. P. L. & Bhatt, M. (2017).
Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. I T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (red.),
Proceedings - 11th International Space Syntax Symposium, SSS 2017 (s. 2549-2561). Artikel #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal.
http://www.11ssslisbon.pt/docs/book-proceedings-05072017.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
Li, B., Nielsen, R. O.
, Johansen, K. W., Teizer, J., Larsen, P. G. & Schultz, C. (2021).
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. 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. 153-174). Springer.
https://doi.org/10.1007/978-3-030-83723-5_11
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
Li, B., Schultz, C., Teizer, J., Golovina, O. & Melzner, J. (2022).
Towards a unifying domain model of construction safety, health and well-being: SafeConDM.
Advanced Engineering Informatics,
51, Artikel 101487.
https://doi.org/10.1016/j.aei.2021.101487
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
Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021).
Towards a Holistic, Self-Organised Safety Framework for Construction. I
Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 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. I T. Margaria & B. Steffen (red.),
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 (s. 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. I W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (red.),
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (s. 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, Artikel 104394.
https://doi.org/10.1016/j.autcon.2022.104394
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. I J. Proença & A. Paskevich (red.),
Proceedings of the 6th Workshop on Formal Integrated Development Environment (Bind 338, s. 3-18). Open Publishing Association.
https://doi.org/10.4204/EPTCS.338.3
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
Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J.
, Lausdahl, K. & Verhoef, M. (2010).
The Overture Initiative – Integrating Tools for VDM. I
Harnessing Theories for Tool Support in Software (s. 9)
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. I
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” (Bind IV-4, s. 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 fra FMI User meeting, Prag, Tjekkiet.
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. 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
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. 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. 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), Artikel 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. 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