Article

Wei, R, Jiang, Z, Guo, X, Yang, R, Mei, H, Zolotas, A and Kelly, T (2023) DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (5). pp. 1346-1359. ISSN 0278-0070

Sanchez, BA, Zolotas, A, Rodriguez, HH, Kolovos, D, Paige, RF, Cooper, JC and Hampson, J (2021) Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Software and Systems Modeling, 20 (6). pp. 1889-1918. ISSN 1619-1366

Zolotas, A, Hoyos Rodriguez, H, Hutchesson, S, Sanchez Pina, B, Grigg, A, Li, M, Kolovos, DS and Paige, RF (2019) Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. Software and Systems Modeling, 19 (1). pp. 17-38. ISSN 1619-1374