Foster, S. D., Ye, K., Cavalcanti, A. L. C.
& Woodcock, J. (2018).
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. In J. Desharnais, W. Guttmann & S. Joosten (Eds.),
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (pp. 205-224). Springer.
https://doi.org/10.1007/978-3-030-02149-8_13
Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I.
& Woodcock, J. (2019).
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Software and Systems Modeling,
18(5), 3097–3149.
https://doi.org/10.1007/s10270-018-00710-z
Woodcock, J., Cavalcanti, A. L. C., Foster, S. D., Mota, A. & Ye, K. (2019).
Probabilistic Semantics for RoboChart: A Weakest Completion Approach. In P. Ribeiro & A. Sampaio (Eds.),
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (pp. 80-105). Springer.
https://doi.org/10.1007/978-3-030-31038-7_5
Hoare, T., Struth, G.
& Woodcock, J. (2019).
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. In P. Ribeiro & A. Sampaio (Eds.),
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (pp. 3-21). Springer.
https://doi.org/10.1007/978-3-030-31038-7_1
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J.
, Woodcock, J. & Zeyda, F. (2020).
Unifying theories of reactive design contracts.
Theoretical Computer Science,
802, 105-140.
https://doi.org/10.1016/j.tcs.2019.09.017
Chang, W., Wei, R., Zhao, S., Wellings, A.
, Woodcock, J. & Burns, A. (2020).
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.
ACM Transactions on Embedded Computing Systems,
19(5), Article 3391897.
https://doi.org/10.1145/3391897
Foster, S. D., Baxter, J., Cavalcanti, A. L. C.
, Woodcock, J. & Zeyda, F. (2020).
Unifying semantic foundations for automated verification tools in Isabelle/UTP.
Science of Computer Programming,
197, Article 102510.
https://doi.org/10.1016/j.scico.2020.102510
Robinson, C., Bagnato, A., Pastrone, C., Weyer, T., Popov, P.
, Macedo, H. D., Sassanelli, C.
, Larsen, P. G., Luz, C. H., Henshaw, M., Buron, C., Akerkar, R. & Györffi, M. (2021).
Bridging the stakeholder communities that produce cyber-physical systems. In M. D. E. al (Ed.),
HiPEAC Vision 2021: High performance embedded architecture and compilation (pp. 20-29). HiPEAC.
https://www.hipeac.net/vision/2021/
Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C.
, Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021).
Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 50-65)
https://arxiv.org/pdf/2101.07261.pdf
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
Visual Studio Code VDM Support. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 35-50)
https://arxiv.org/pdf/2101.07261.pdf
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
Gomes, C., Franceschini, R., Battle, N.
, Thule, C., Lausdahl, K., Vangheluwe, H.
& Larsen, P. G. (2020).
Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. In
Proceedings of the American Modelica Conference 2020 (pp. 149-158). Linköping University Electronic Press.
https://doi.org/10.3384/ecp20169149
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
Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D. (2021).
Introducing Regression Tests and Upgrades to the INTO-CPS Application. In L. Cleophas & M. Massink (Eds.),
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (pp. 311-317). Springer.
https://doi.org/10.1007/978-3-030-67220-1_23
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S. (2020).
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. In F. De Rango, T. Ören & M. Obaidat (Eds.),
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (Vol. Volume 1: SIMULTECH, pp. 263-270). SCITEPRESS Digital Library.
https://doi.org/10.5220/0009892802630270
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G. & Pierce, K. (2020).
Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. In B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (Eds.),
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (pp. 169-193). Academic Press.
https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7
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
Thule, C., Palmieri, M.
, Gomes, C., Lausdahl, K.
, Macedo, H. D., Battle, N.
& Larsen, P. G. (2020).
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. In J. Camara & M. Steffen (Eds.),
Software Engineering and Formal Methods (pp. 50-66). Springer.
https://doi.org/10.1007/978-3-030-57506-9_5
Oakes, B. J.
, Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021).
Hint-based configuration of co-simulations with algebraic loops. In M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (Eds.),
Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (pp. 1-28). Springer.
https://doi.org/10.1007/978-3-030-55867-3_1
Brown, J. N. A.
& Esterle, L. (2020).
I'm already optimal: The Dunning-Kruger Effect, Sociogenesis, and Self-Integration. 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. 82-84). IEEE.
https://doi.org/10.1109/ACSOS-C51401.2020.00035
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
Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H.
& Larsen, P. G. (2020).
Generation of Co-simulation Algorithms Subject to Simulator Contracts. In J. Camara & M. Steffen (Eds.),
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (pp. 34-49). Springer.
https://doi.org/10.1007/978-3-030-57506-9_4
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
Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G. (2020).
Migrating the INTO-CPS Application to the Cloud. 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. 254-271). Springer.
https://doi.org/10.1007/978-3-030-54997-8_17