Editorial

To build, or not to build: ModelFlow, a build solution for MDE projects
Sanchez, B., Kolovos, D. & Paige, R., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020. Association for Computing Machinery, Inc, p. 1-11 11 p. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Learning Safe Neural Network Controllers with Barrier Certificates
Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).
Research output: Working paper
Automatic generation of UML profile graphical editors for Papyrus
Wei, R., Zolotas, A., Hoyos Rodriguez, H., Gerasimou, S., Kolovos, D. S. & Paige, R. F., 11 Aug 2020
Article in Software and Systems Modeling
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020
Article in ArXiv e-prints
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Contribution to journal › Article

Author(s)

Find related publications, people, projects, datasets and more using interactive charts.