Fitzgerald, J.
, Larsen, P. G., Gomes, C., Charlton, R., Kristensen, K., Basagiannis, S. & Åkeson, J. (2024).
The Potential of Digital Twins: Four Industry Perspectives. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.),
The Engineering of Digital Twins (pp. 19-43). Springer.
https://doi.org/10.1007/978-3-031-66719-0_2
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
Kounev, S., Lewis, P., Bellman, K. L., Bencomo, N., Camara, J., Diaconescu, A.
, Esterle, L., Geihs, K., Giese, H., Götz, S., Inverardi, P., Kephart, J. O. & Zisman, A. (2017).
The notion of self-aware computing. In
Self-Aware Computing Systems (pp. 3-16). Springer International Publishing AG.
https://doi.org/10.1007/978-3-319-47474-8_1
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,
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
Esterle, L. & Brown, J. N. A. (2020).
The Competence Awareness Window: Knowing what i can and cannot do. In E. El-Araby, S. Tomforde, T. Wood, P. Kumar, C. Raibulet, I. Petri, G. Valentini, P. Nelson & B. Porter (Eds.),
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 62-63). IEEE.
https://doi.org/10.1109/ACSOS-C51401.2020.00031
Woodcock, J., Stepney, S., Cooper, D., Clark, J. & Jacob, J. (2007).
The certification of the Mondex electronic purse to ITSEC Level E6.
Formal Aspects of Computing,
20(1), 5–19.
https://doi.org/10.1007/s00165-007-0060-5
Malmqvist, J., Lundqvist, U., Rosén, A., Edström, K., Gupta, R., Leong, H., Cheah, S. M.
, Bennedsen, J., Hugo, R., Kamp, A., Leifler, O., Gunnarsson, S., Roslöf, J. & Spooner, D. (2022).
The CDIO Syllabus 3.0 - An Updated Statement of Goals. In
18th CDIO International Conference Proceedings - Full papers (pp. 18-36)
https://en.ru.is/media/cdio2022/CDIO_2022_Proceedings.pdf
Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2024).
The Anatomy of an Architect´s Argument: Formally Capturing Socially-Oriented Design Intentions in the Built Environment. In M. Srećković, M. Kassem, R. Soman & A. Chassiakos (Eds.),
Proceedings of the 2024 European Conference on Computing in Construction (pp. 268-275)
https://doi.org/10.35490/EC3.2024.186
Hallerstede, S., Hansen, F. O., Holt, J.
, Lauritsen, R. W., Lorenzen, L. & Peleska, J. (2012).
Technical Challenges of SoS Requirements Engineering. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.
https://doi.org/10.1109/SYSoSE.2012.6384136
Tamashiro, M. A., Schaper, M.-M. A., Jensen, A. V., Heick, R., Danielsen, B., Van Mechelen, M., Jensen, K. L., Smith, R. C. & Iversen, O. S. (2023).
Teaching Technical and Societal Aspects of IoT - A case study using the Orbit IoT Kit. In
DIS '23: : Proceedings of the 2023 ACM Designing Interactive Systems Conference (Vol. 1, pp. 1236-1247). Association for Computing Machinery.
https://doi.org/10.1145/3563657.3596092
Miloradovic, B.
, Frasheri, M., Çürüklü, B., Ekström, M. & Papadopoulos, A. V. (2019).
TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (Eds.),
PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings (pp. 478-486). Springer.
https://doi.org/10.1007/978-3-030-33792-6
Freitas, L., Cavalcanti, A. L. C.
& Woodcock, J. (2006).
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. In Z. Liu & J. He (Eds.),
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings (pp. 697-716). Springer.
https://doi.org/10.1007/11901433_38
Nielsen, C. B., Larsen, P. G., Fitzgerald, J.
, Woodcock, J. & Peleska, J. (2015).
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.
A C M Computing Surveys,
48(2).
https://doi.org/10.1145/2794381
Frasheri, M., Katsaros, P.
, Iosifidis, A., Hansen, S. T., Gomes, C., Evans, V. T. & Larsen, P. G. (2024).
System Monitoring through a Digital Twin. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.),
The Engineering of Digital Twins (pp. 189-207). Springer.
https://doi.org/10.1007/978-3-031-66719-0_9
Larsen, P. G., Gamble, C., Pierce, K., Ribeiro, A.
& Lausdahl, K. (2014).
Support for Co-modelling and Co-simulation: The Crescendo Tool. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.),
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 97-114). Springer.
https://doi.org/10.1007/978-3-642-54118-6_5
Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021).
Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes.
Composites Part B: Engineering,
216, Article 108812.
https://doi.org/10.1016/j.compositesb.2021.108812
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikucionis, M., Nyman, U. M. & Skou, A. J. (2016).
Statistical and exact Schedulability analysis of Hierarchical Scheduling Systems.
Science of Computer Programming,
127, 103-130.
https://doi.org/10.1016/j.scico.2016.05.008
Lewis, P. R.
, Esterle, L., Chandra, A., Rinner, B., Torresen, J. & Yao, X. (2015).
Static, dynamic, and adaptive heterogeneity in distributed smart camera networks.
ACM Transactions on Autonomous and Adaptive Systems,
10(2), Article 8.
https://doi.org/10.1145/2764460