Items where Author is "Barmpis, Konstantinos"

Journal Article

Wei, Ran and Jiang, Zhe and Mei, Haitao and Barmpis, Konstantinos and Foster, Simon and Kelly, Tim and Zhuang, Yan (2024) Automated model based assurance case management using constrained natural language. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (1). pp. 291-304. ISSN 0278-0070

Contribution in Book/Report/Proceedings

Wei, Ran and Kolovos, Dimitrios S. and Garcia-Dominguez, Antonio and Barmpis, Konstantinos and Paige, Richard F. (2016) Partial loading of XMI models. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16 :. ACM, pp. 329-339. ISBN 9781450343213