Alek Radjenovic
Alek Radjenovic
Senior Research Associate, University of York
Verified email at cs.york.ac.uk - Homepage
TitleCited byYear
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 (1), 343-363, 2015
272015
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
172008
Towards model transformation with TXL
R Paige, A Radjenovic
Metamodelling for MDA, 162-177, 2003
152003
Behavioural interoperability to support model-driven systems integration
A Radjenovic, RF Paige
Proceedings of the First International Workshop on Model-Driven …, 2010
92010
Architecture description languages for high-integrity real-time systems
A Radjenovic, R Paige
IEEE software 23 (2), 71-79, 2006
82006
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
42004
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, ...
European Conference on Modelling Foundations and Applications, 340-351, 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
European Conference on Modelling Foundations and Applications, 328-339, 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