, Bordbar, B & Alwanain, M 2015, '
A logical approach for behavioural composition of scenario-based models
'. in M Butler, S Conchon & F Zaïdi (eds),
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science, vol. 9407, Springer-Verlag, ICFEM 2015 The 17th International Conference on Formal Engineering Methods, Paris, France, 3-6 November.
, Bowles, JKF
& Perera, I 2014, '
SD2CPN: a model transformation tool for software design models
2014 International Computer Science and Engineering Conference (ICSEC) .
IEEE, pp. 354 - 359, The 18th International Computer Science and Engineering Conference, Khon Kaen, Thailand, 30-1 August.
Alwanain, M, Bordbar, B
& Bowles, JKF
Automated composition of sequence diagrams via Alloy
MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development.
SciTePress, pp. 384-391, International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Lisbon, Portugal, 6 January.
& Viana, P 2014, '
On distributed stochastic logics for mobile systems
'. in U Kohlenbach, P Barceló & R de Queiroz (eds),
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings.
Lecture Notes in Computer Science, vol. 8652, Springer-Verlag, pp. 195-205, 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, 1-4 September.
& Kloul, L 2014, '
A strongly consistent transformation from UML interactions to PEPA nets
'. in B Murgante, S Misra, AMAC Rocha, C Torre, JG Rocha, MI Falcao, D Taniar, BO Apduhan & O Gervasi (eds),
Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V.
Lecture Notes in Computer Science, vol. 8583, Springer International Publishing, Cham, pp. 90-105, 14th International Conference on Computational Science and Its Applications (ICCSA), Portugal, 30-3 July.