Alek Radjenovic

Search results

• 2013

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

  Baresi, L., Blohm, G., Kolovos, D., Matragkas, N., Motta, A., Paige, R. F., Radjenovic, A. & Rossi, M., 12 Jun 2013, In: Software and Systems Modeling. 21 p.

  Research output: Contribution to journal › Article › peer-review
• 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
• 2011

  An approach for model querying-by-example applied to multi-paradigm models

  Radjenovic, A. & Paige, R. F., 1 Jan 2011, In: Electronic Communications of the EASST. 50

  Research output: Contribution to journal › Article › peer-review
• 2008

  The Role of Dependency Links in Ensuring Architectural View Consistency

  Radjenovic, A. & Paige, R. F., 2008, p. 199-208. 9 p.

  Research output: Contribution to conference › Paper › peer-review
• 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

• 2006

  Architecture Description Languages for High Integrity Real-Time Systems

  Radjenovic, A. & Paige, R., Mar 2006, In: IEEE Software. 23, 2, p. 71-79 8 p.

  Research output: Contribution to journal › Article › peer-review

• Architecture description languages high-integrity real-time systems

  Radjenovic, A. & Paige, R., 2006, In: IEEE Software. 23, 2, p. 71-+ 10 p.

  Research output: Contribution to journal › Article › peer-review

• The View Glue

  Radjenovic, A. & Paige, R. F., 2006, p. 66-88. 22 p.

  Research output: Contribution to conference › Paper › peer-review
• 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