Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019).
Stable Adaptive Co-simulation: A Switched Systems Approach. In B. Schweizer (Ed.),
IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 (pp. 81-97). Springer.
https://doi.org/10.1007/978-3-030-14883-6_5
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M.
& Larsen, P. G. (2021).
Specifying Abstract User Interface in VDM-SL. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 5-20)
https://arxiv.org/pdf/2101.07261.pdf
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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing.
https://doi.org/10.4230/DagRep.3.9.74
Butterfield, A., Sherif, A.
& Woodcock, J. (2007).
Slotted-Circus: A UTP-Family of Reactive Theories. In J. Davies & J. Gibbons (Eds.),
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (pp. 75-97). Springer.
https://doi.org/10.1007/978-3-540-73210-5_5
Letafat, A.
, Rafiei Foroushani, M., Sheikh, M., Afshari-Igder, M.
, Banaei, M., Boudjadar, J. & Khooban, M. H. (2020).
Simultaneous energy management and optimal components sizing of a zero-emission ferry boat.
Journal of Energy Storage,
28, Article 101215.
https://doi.org/10.1016/j.est.2020.101215
Gomes, C., Lucani Rötter, D. E., Iosifidis, A., Feng, H., Ejersbo, H.
& Frasheri, M. (2024).
Sensing and Communication of Data from the Physical Twin. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.),
The Engineering of Digital Twins (pp. 147-171). Springer.
https://doi.org/10.1007/978-3-031-66719-0_7#citeas
Gomes, C., Meyers, B., Denil, J.
, Thule, C., Lausdahl, K. G., Vangheluwe, H. & De Meulenaere, P. (2019).
Semantic adaptation for FMI co-simulation with hierarchical simulators.
Simulation,
95(3), 241-269.
https://doi.org/10.1177/0037549718759775
Bellman, K. L., Landauer, C., Nelson, P., Bencomo, N., Götz, S., Lewis, P.
& Esterle, L. (2017).
Self-modeling and self-awareness. In
Self-Aware Computing Systems (pp. 279-304). Springer International Publishing AG.
https://doi.org/10.1007/978-3-319-47474-8_9
Bellman, K., Botev, J., Diaconescu, A.
, Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Stein, A., Tomforde, S. & Wurtz, R. P. (2019).
Self-improving system integration - Status and challenges after five years of SISSY.
-, 160-167.
https://doi.org/10.1109/FAS-W.2018.00042
Bellman, K., Botev, J., Diaconescu, A.
, Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Nelson, P. R., Pournaras, E., Stein, A. & Tomforde, S. (2021).
Self-improving system integration: Mastering continuous change.
Future Generation Computer Systems,
117, 29-46.
https://doi.org/10.1016/j.future.2020.11.019
Esterle, L., Simonjan, J., Nebehay, G., Pflugfelder, R., Domínguez, G. F. & Rinner, B. (2016).
Self-aware object tracking in multi-camera networks. In
Self-aware Computing Systems: An Engineering Approach (pp. 261-277). Springer.
https://doi.org/10.1007/978-3-319-39675-0_13
Esterle, L., Dutt, N., Gruhl, C., Lewis, P. R., Marcenaro, L., Regazzoni, C. & Jantsch, A. (2023).
Self-awareness in Cyber-Physical Systems: Recent Developments and Open Challenges. In
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) IEEE.
https://doi.org/10.23919/DATE56975.2023.10137197
Bellman, K., Landauer, C., Dutt, N.
, Esterle, L., Herkersdorf, A., Jantsch, A., Taherinejad, N., Lewis, P. R., Platzner, M. & Tammemäe, K. (2020).
Self-aware Cyber-Physical Systems.
ACM Transactions on Cyber-Physical Systems,
4(4), Article 38.
https://doi.org/10.1145/3375716
Birke, R., Cámara, J., Chen, L. Y.
, Esterle, L., Geihs, K., Gelenbe, E., Giese, H., Robertsson, A. & Zhu, X. (2017).
Self-aware computing systems: Open challenges and future research directions. In
Self-Aware Computing Systems (pp. 709-722). Springer International Publishing AG.
https://doi.org/10.1007/978-3-319-47474-8_26
Kephart, J. O., Diaconescu, A., Giese, H., Robertsson, A., Abdelzaher, T., Lewis, P., Filieri, A.
, Esterle, L. & Frey, S. (2017).
Self-adaptation in Collective Self-aware Computing Systems. In
Self-Aware Computing Systems (pp. 401-435). Springer International Publishing AG.
https://doi.org/10.1007/978-3-319-47474-8_13
Maggio, M., Abdelzaher, T.
, Esterle, L., Giese, H., Kephart, J. O., Mengshoel, O. J., Papadopoulos, A. V., Robertsson, A. & Wolter, K. (2017).
Self-adaptation for individual self-aware computing systems. In
Self-Aware Computing Systems (pp. 375-399). Springer International Publishing AG.
https://doi.org/10.1007/978-3-319-47474-8_12
Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021).
Seismic Hybrid Testing using FMI-based Co-Simulation. 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. 287-295)
https://doi.org/10.3384/ecp21181287
Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Nyman, U. M. & Skou, A. (2014).
Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems. In
Proceedings of ERTS2 2014 http://vbn.aau.dk/files/87334413/ERTSpaper.pdf
Cavalcanti, A. L. C., Zeyda, F., Wellings, A.
, Woodcock, J. & Wei, K. (2013).
Safety-critical Java programs from Circus models.
Real-Time systems,
5(49), 614–667.
https://doi.org/10.1007/s11241-013-9182-4
Li, B., Schultz, C. P. L., Melzner, J.
, Golovina, O. & Teizer, J. (2020).
Safe and Lean Location-based Construction Scheduling. In H. Osumi, H. Furuya & K. Tateyama (Eds.),
Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (pp. 1409-1416). International Association for Automation and Robotics in Construction (IAARC).
https://doi.org/10.22260/ISARC2020/0195
Kristensen, M. H., Bonizzi, A.
, Gomes, C., Hansen, S. T.
, Isasa Martin, C. I., Iven, H., Kamburjan, E.
, Larsen, P. G., Leucker, M.
, Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B.
& Wright, T. D. (2024).
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. In
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) IEEE.
https://doi.org/10.1109/ACSOS-C63493.2024
Abrial, J.-R., Butler, M. J.
, Hallerstede, S., Hoang, T. S., Mehta, F. & Voisin, L. (2010).
Rodin: an open toolset for modelling and reasoning in Event-B.
International Journal on Software Tools for Technology Transfer,
12(6), 447-466.
https://doi.org/10.1007/s10009-010-0145-y