Follow
Alek Radjenovic
Alek Radjenovic
Senior Research Associate, University of York
Verified email at cs.york.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
402015
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
192008
Towards model transformation with TXL
R Paige, A Radjenovic
Metamodelling for MDA, 162-177, 2003
192003
Behavioural interoperability to support model-driven systems integration
A Radjenovic, RF Paige
Proceedings of the First International Workshop on Model-Driven …, 2010
132010
Architecture description languages for high-integrity real-time systems
A Radjenovic, R Paige
IEEE software 23 (2), 71-79, 2006
122006
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
52004
An approach for model querying-by-example applied to multi-paradigm models
A Radjenovic, RF Paige
Electronic Communications of the EASST 50, 2013
32013
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, ...
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012
32012
The view glue
A Radjenovic, R Paige
Architecting Dependable Systems IV, 66-88, 2007
22007
Modelling to safety
A Radjenovic
European Workshop on Software Architecture, 162-167, 2005
22005
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
The system can't perform the operation now. Try again later.
Articles 1–13