| Formal verification and validation of embedded systems: the UML-based MADES approach L Baresi, G Blohm, DS Kolovos, N Matragkas, A Motta, RF Paige, ... Software & Systems Modeling 14, 343-363, 2015 | 44 | 2015 |
| The role of dependency links in ensuring architectural view consistency A Radjenovic, RF Paige Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008 …, 2008 | 19 | 2008 |
| Towards model transformation with TXL R Paige, A Radjenovic Metamodelling for MDA, 162-177, 2003 | 19 | 2003 |
| Behavioural interoperability to support model-driven systems integration A Radjenovic, RF Paige Proceedings of the First International Workshop on Model-Driven …, 2010 | 13 | 2010 |
| Architecture description languages for high-integrity real-time systems A Radjenovic, R Paige IEEE software 23 (2), 71-79, 2006 | 12 | 2006 |
| An Information Model for High-Integrity Real Time Systems A Radjenovic, R Paige, P Conmy, M Wallace, J McDermid Second RTAS Workshop on Model-Driven Embedded Systems, Toronto, Canada, 2004 | 5 | 2004 |
| MADES: a tool chain for automated verification of UML models of embedded systems A Radjenovic, N Matragkas, RF Paige, M Rossi, A Motta, L Baresi, ... European Conference on Modelling Foundations and Applications, 340-351, 2012 | 3 | 2012 |
| An approach for model querying-by-example applied to multi-paradigm models A Radjenovic, R Paige Electronic Communications of the EASST 50, 2012 | 3 | 2012 |
| The view glue A Radjenovic, R Paige Architecting Dependable Systems IV, 66-88, 2007 | 2 | 2007 |
| Modelling to safety A Radjenovic European Workshop on Software Architecture, 162-167, 2005 | 2 | 2005 |
| A plug-in based approach for uml model simulation A Radjenovic, RF Paige, LM Rose, J Woodcock, S King Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012 | | 2012 |
| Towards a Common Modelling Platform for the Migration to the Cloud A Radjenovic, RF Paige | | |
| Platform Abstract Models for High-Integrity Real-Time Systems R Paige, P Conmy, A Radjenovic, M Wallace, J McDermid | | |
