& Silvina, A 2016, 'Model checking cancer automata
'. in IEEE International Conference on Biomedical and Health Informatics (BHI).
IEEE, BHI-2016 International Conference on Biomedical and Health Informatics, Las Vegas, United States, 24-27 February.
, 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, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings.
Lecture Notes in Computer Science, vol. 9407, Springer International Publishing, Cham, pp. 252-269, ICFEM 2015 The 17th International Conference on Formal Engineering Methods, Paris, France, 3-6 November., 10.1007/978-3-319-25423-4_16
, Alwanain, M, Bordbar, B & Chen, Y 2015, 'Matching and merging scenarios automatically with Alloy
'. in Model-Driven Engineering and Software Development.
Communications in Computer and Information Science, vol. 506, Springer-Verlag., 10.1007/978-3-319-25156-1_7
Meedeniya, DA, Bowles, JKF
& Perera, I 2014, 'SD2CPN: a model transformation tool for software design models
'. in 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., 10.1109/ICSEC.2014.6978222
Alwanain, M, Bordbar, B & Bowles, JKF
2014, 'Automated composition of sequence diagrams via Alloy
'. in 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., 10.5220/0004715003840391
& 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., 10.1007/978-3-662-44145-9_14
& 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., 10.1007/978-3-319-09156-3_7