Items where Author is "Zolotas, Athanasios"

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Yang, Ruizhe and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2024) 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

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2022) Designing critical systems with iterative automated safety analysis. In: 59th ACM/IEEE Design Automation Conference :. ACM, pp. 181-186.

Wei, Ran and Zolotas, Athanasios and Hoyos Rodriguez, Horacio and Gerasimou, Simos and Kolovos, Dimitrios S. and Paige, Richard F. (2020) Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling, 19. pp. 1083-1106. ISSN 1619-1366