Alek Radjenovic

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Sequence Diagrams

Automated Verification

Real Time Systems

Top Venues

Softw. Syst. Model.

Publications

Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14 (1) (2015)
Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA (2012)
Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King
A Plug-in Based Approach for UML Model Simulation. ECMFA (2012)
Alek Radjenovic, Richard F. Paige
An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011)
Alek Radjenovic, Richard F. Paige
Behavioural interoperability to support model-driven systems integration. MDI@MoDELS (2010)
Alek Radjenovic, Richard F. Paige
The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA (2008)
Alek Radjenovic, Richard F. Paige
The View Glue. WADS (2006)
Alek Radjenovic, Richard F. Paige
Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Softw. 23 (2) (2006)
Alek Radjenovic
Modelling to Safety. EWSA (2005)