You are here: University » Research Portal » Researchers » Juliana Kuster Filipe Bowles

Juliana Kuster Filipe Bowles

School of Computer Science

North Haugh

St Andrews

Fife

KY16 9SS

United Kingdom

E-mail: jkfb@st-andrews.ac.uk

Direct phone: +44 (0)1334 461622

Research publications

  • Forthcoming

    A logical approach for behavioural composition of scenario-based models

    Bowles, J. K. F., Bordbar, B. & Alwanain, M. 2015 Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods. Springer-Verlag, 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A strongly consistent transformation from UML interactions to PEPA nets

    Bowles, J. & Kloul, L. 2014 Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. Murgante, B., Misra, S., Rocha, A. M. A. C., Torre, C., Rocha, J. G., Falcao, M. I., Taniar, D., Apduhan, B. O. & Gervasi, O. (eds.). Berlin: Springer-Verlag, p. 90-105 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Automated composition of sequence diagrams via Alloy

    Alwanain, M., Bordbar, B. & Bowles, J. K. F. 2014 MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 384-391 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all »

Activities and awards

View all »