Research output per year
Research output per year
Search results
-
2019
Type inference in flexible model-driven engineering using classification algorithms
Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S. & Paige, R. F., 8 Feb 2019, In: International Journal on Software & Systems Modelling. 18, 1, p. 345-366 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2017
Constraint programming for type inference in flexible model-driven engineering
Zolotas, A., Clarisó, R., Matragkas, N., Kolovos, D. & Paige, R. F., Sept 2017, In: Computer Languages, Systems and Structures. 49, p. 216-230 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2016
Evolving models in Model-Driven Engineering: State-of-the-art and future challenges
Paige, R. F., Matragkas, N. & Rose, L. M., Jan 2016, In: Journal of Systems and Software. 111, p. 272-280Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2013
Automatic Development of Embedded Systems Using Model Driven Engineering and Compile-Time Virtualisation
Audsley, N. C., Gray, I., Kolovos, D., Matragkas, N., Paige, R. F. & Soares Indrusiak, L., 20 Nov 2013, In: International Journal of Embedded and Real-Time Communication Systems (IJERTCS). 520, p. 23-53 31 p.Research output: Contribution to journal › Article › peer-review
-
Formal verification and validation of embedded systems: The UML-based MADES approach
Baresi, L., Blohm, G., Kolovos, D., Matragkas, N., Motta, A., Paige, R. F., Radjenovic, A. & Rossi, M., 12 Jun 2013, In: Software and Systems Modeling. 21 p.Research output: Contribution to journal › Article › peer-review
-
2010
Constructing and Navigating Non-invasive Model Decorations
Kolovos, D. S., Rose, L. M., Matragkas, N. D., Paige, R. F., Polack, F. A. C. & Fernandes, K. J., 2010, In: INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION. 6142, p. 138-152 15 p.Research output: Contribution to journal › Article › peer-review