Items where Author is "Zolotas, A"
Article
Wei, R ORCID: 0000-0003-2191-1359, Jiang, Z, Guo, X, Yang, R, Mei, H, Zolotas, A
ORCID: 0000-0001-6020-4468 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 ORCID: 0000-0001-6020-4468, 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