Alek Radjenovic
Alek Radjenovic
Senior Research Associate, University of York
E-mail confirmado em - Página inicial
Citado por
Citado por
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
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
Towards model transformation with TXL
R Paige, A Radjenovic
Metamodelling for MDA, 162-177, 2003
Architecture description languages for high-integrity real-time systems
A Radjenovic, R Paige
IEEE software 23 (2), 71-79, 2006
Behavioural interoperability to support model-driven systems integration
A Radjenovic, RF Paige
Proceedings of the First International Workshop on Model-Driven …, 2010
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
An approach for model querying-by-example applied to multi-paradigm models
A Radjenovic, RF Paige
Electronic Communications of the EASST 50, 2013
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
The view glue
A Radjenovic, R Paige
Architecting Dependable Systems IV, 66-88, 2007
Modelling to safety
A Radjenovic
European Workshop on Software Architecture, 162-167, 2005
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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–13