Computer Science @ University of St Andrews

University of St Andrews crest

Dr Juliana Bowles

Senior Lecturer - School of Computer Science

Full research profile

Email: jkfb@st-andrews.ac.uk

Office: JC1.07 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1622

Web: https://juliana.host.cs.st-andrews.ac.uk

Recent Publications

Bowles, JKF, Caminati, MB & Cha, S 2018, An integrated framework for verifying multiple care pathways. in Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE). vol. 2018-January, IEEE Computer Society, pp. 1-8, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, 13/09/17. https://doi.org/10.1109/TASE.2017.8285628

Bowles, JKF, Czekster, R & Webber, T 2018, Annotated BPMN models for optimised healthcare resource planning. in M Mazzara, O Iulian & G Salaün (eds), Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Lecture Notes in Computer Science, vol. 11176, Springer, Cham, pp. 146-162, 7th International Symposium "From Data to Models and Back" (DataMod), Toulouse, France, 25/06/18. https://doi.org/10.1007/978-3-030-04771-9_12

Redeker, G, Webber, T, Czekster, R, Quickert, S & Bowles, JKF 2017, Estimating capacity and resource allocation in healthcare settings using business process modelling and simulation. in Anais XXXVII Congresso da Sociedade Brasileira de Computação. Sociedade Brasileira de Computação (SBC), pp. 1979-1982, Workshop de Informática Médica (WIM), São Paulo, Brazil, 2/07/17.

Bowles, JKF, Bordbar, B & Alwanain, M 2017, Weaving true-concurrent aspects using constraint solvers. in 2016 16th International Conference on Application of Concurrency to System Design (ACSD)., 7842499, IEEE Computer Society, pp. 35-44, PN 2016 // ACSD 2016, Toruń, Poland, 19/06/16. https://doi.org/10.1109/ACSD.2016.19

Bowles, JKF & Caminati, MB 2017, A flexible approach for finding optimal paths with minimal conflicts. in Z Duan & L Ong (eds), Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10610, Springer, pp. 209-225, 19th International Conference on Formal Engineering Methods (ICFEM 2017), Xi’an, China, 13/11/17. https://doi.org/10.1007/978-3-319-68690-5_13

Bowles, JKF & Caminati, MB 2017, A verified algorithm enumerating event structures. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 239-254, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17/07/17. https://doi.org/10.1007/978-3-319-62075-6_17

Bowles, JKF & Caminati, MB 2017, Correct composition of dephased behavioural models. in J Proença & M Lumpe (eds), Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10487, Springer, pp. 233-250, 14th International Conference on Formal Aspects of Component Software, Braga, Portugal, 10/10/17. https://doi.org/10.1007/978-3-319-68034-7_14

Rahman, F & Bowles, JKF 2017, Formal verification of CNL health recommendations. in N Polikarpova & S Schneider (eds), Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10510, Springer, Cham, pp. 357-371, 13th International Conference on integrated Formal Methods (iFM 2017), Torino, Italy, 18/09/17. https://doi.org/10.1007/978-3-319-66845-1_24

Bowles, JKF & Caminati, MB 2016, Mind the gap: addressing behavioural inconsistencies with formal methods. in A Potanin, GC Murphy, S Reeves & J Dietrich (eds), 2016 23rd Asia-Pacific Software Engineering Conference (APSEC)., 7890603, IEEE Computer Society, pp. 313-320, 23rd Asia-Pacific Software Engineering Conference, Hamilton, New Zealand, 6/12/16. https://doi.org/10.1109/APSEC.2016.051