Fabbri, T., Verhoef, M.
, Bandur, V., Perrotin, M., Tsiodras, T.
& Larsen, P. G. (2016).
Towards integration of Overture into TASTE. In P. G. Larsen, N. Plat & N. Battle (Eds.),
The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 94-108). Aarhus University, Department of Engineering.
http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669
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. In
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Vol. XLII-2/W7, pp. 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. In
Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Vol. 187, pp. 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. In T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (Eds.),
Proceedings - 11th International Space Syntax Symposium, SSS 2017 (pp. 2549-2561). Article #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. In
2022 IEEE/SICE International Symposium on System Integration (SII) (pp. 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. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 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. In E. Karaarslan, Ö. Aydin, Ü. Cali & M. Challenger (Eds.),
Digital Twin Driven Intelligent Systems and Emerging Metaverse (pp. 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, Article 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. 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
Lewis, P., Bellman, K. L., Landauer, C.
, Esterle, L., Glette, K., Diaconescu, A. & Giese, H. (2017).
Towards a framework for the levels and aspects of self-aware computing systems. In
Self-Aware Computing Systems (pp. 51-85). Springer International Publishing AG.
https://doi.org/10.1007/978-3-319-47474-8_3
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
Merhi, Y., Agarwala, S., Goumarre, V. O. Y., Lozano Montero, K., Mantysalo, M.
, Klarskov, P. & Amarasinghe, Y. (2024).
THz Spectroscopy Analysis of Crystallinity Optimization for Enhanced Piezoelectricity in Biodegradable Poly-L-Lactide Acid. In
FLEPS 2024 - IEEE International Conference on Flexible and Printable Sensors and Systems, Proceedings: Conference Proceedings (pp. 1-4). IEEE.
https://doi.org/10.1109/FLEPS61194.2024.10604083
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. (2018).
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