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
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
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
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
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). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
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
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., 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.
Proceedings - 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2018, 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
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
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