Alek Radjenovic

According to our database, Alek Radjenovic authored at least 9 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Formal verification and validation of embedded systems: the UML-based MADES approach.

Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi

Softw. Syst. Model., 2015

2012

A Plug-in Based Approach for UML Model Simulation.

Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.

Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models.

Alek Radjenovic, Richard F. Paige

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Behavioural interoperability to support model-driven systems integration.

Alek Radjenovic, Richard F. Paige

Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

2008

The Role of Dependency Links in Ensuring Architectural View Consistency.

Alek Radjenovic, Richard F. Paige

Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

2006

Architecture Description Languages for High-Integrity Real-Time Systems.

Alek Radjenovic, Richard F. Paige

IEEE Softw., 2006

The View Glue.

Alek Radjenovic, Richard F. Paige

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Modelling to Safety.

Alek Radjenovic

Proceedings of the Software Architecture, 2nd European Workshop, 2005