You are here:

Dr Juliana Bowles

Lecturer

Email: jkfb@st-andrews.ac.uk

Room: 1.07 - Jack Cole Building, North Haugh

Direct phone: +44 (0)1334 461622

Home page: http://juliana.host.cs.st-andrews.ac.uk

Recent Publications

Bowles, JKF & Meedeniya, DA 2012, ' Parametric Transformations for Flexible Analysis '. in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC '12). vol. 1, IEEE Computer Society, pp. 634-643.

Bowles, JKF & Meedeniya, DA 2012, ' Strongly consistent transformation of partial scenarios ' ACM SIGSOFT Software Engineering Notes , vol 37, no. 4.

Bowles, JKF & Meedeniya, DA 2010, ' Formal Transformation from Sequence Diagrams to Coloured Petri Nets '. in 2010 Asia Pacific Software Engineering Conference. IEEE Computer Society, pp. 216-225.

Bowles, JKF & Kloul, L 2010, ' Synthesising PEPA nets from IODs for performance analysis '. in WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering . ACM Press - Association for Computing Machinery.

Bowles, JKF & Moschoyiannis, S 2008, ' When things go wrong: Interrupting Conversations '. in Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science edn, vol. 4961, Springer, pp. 131-145.

Bowles, JKF & Anderson, S 2006, ' On a time enriched OCL liveness template ' International Journal on Software Tools for Technology Transfer , vol 8, no. 2, pp. 156-166.

Bowles, JKF 2006, ' Modelling Concurrent Interactions ' Theoretical Computer Science , vol 351, no. 2, pp. 203-220.

Bowles, JKF & Kloul, L 2006, ' Modelling Mobility with UML2.0 and PEPA Nets '. in Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on . IEEE Computer Society, pp. 153 - 164 .

Bowles, JKF 2002, ' A logic-based formalization for component specification ' Journal of Object Technology , vol 1, no. 3, pp. 231-248.