Research output per year
Research output per year
Search results
-
2023
Automated model based assurance case management using constrained natural language
Wei, R., Jiang, Z., Mei, H., Barmpis, K., Foster, S. D., Kelly, T. & Zhuang, Y., 8 Aug 2023, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43, 1, p. 291-304 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2020
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
Gómez, A., Mendialdua, X., Barmpis, K., Bergmann, G., Cabot, J., de Carlos, X., Debreceni, C., Garmendia, A., Kolovos, D. S. & de Lara, J., 22 Jan 2020, In: Software and Systems Modeling. 19, 5, p. 1229-1261 33 p.Research output: Contribution to journal › Article › peer-review
-
2019
Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores
Paige, R. F., Kolovos, D., Barmpis, K., Wei, R. & Garcia-Dominguez, A., 4 Apr 2019, In: Software and Systems Modeling. 18, 2, p. 1047-1075 29 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2014
Evaluation of Contemporary Graph Databases for Efficient Persistence of Large-Scale Models
Barmpis, K. & Kolovos, D., Jul 2014, In: Journal of Object Technology. 13, 3, p. 3:1-26 26 p.Research output: Contribution to journal › Article › peer-review