Alek Radjenovic

Search results

• 2012

  A Plug-in Based Approach for UML Model Simulation

  Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J. & King, S., 2012, Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Vallecillo, A., Tolvanen, J-P., Kindler, E., Störrle, H. & Kolovos, D. (eds.). Springer, Vol. 7349. p. 328-339 12 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• MADES: A tool chain for automated verification of UML models of embedded systems

  Radjenovic, A., Matragkas, N., Paige, R. F., Rossi, M., Motta, A., Baresi, L. & Kolovos, D. S., 25 Jul 2012, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. p. 340-351 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7349 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2007

  The view glue

  Radjenovic, A. & Paige, R., 2007, Architecting Dependable Systems IV. DeLemos, R., Gacek, C. & Romanovsky, A. (eds.). BERLIN: Springer, p. 66-88 23 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2005

  Modelling to safety

  Radjenovic, A., 2005, SOFTWARE ARCHITECTURE, PROCEEDINGS. Morrison, R. & Oquendo, F. (eds.). BERLIN: Springer, p. 162-167 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution