Computer Science @ University of St Andrews

University of St Andrews crest

Dr Juliana Bowles

No picture available

Position: Senior Lecturer

Research profile

Email (@st-andrews.ac.uk): jkfb

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

Phone: +44 (0)1334 46 1622

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

Research Overview

I have a longstanding interest in logics, modelling and automated formal methods (including model checking and constraint solving), and, more recently, their application and integration in health care.
I am particularly interested in methods to detect and resolve problems in polypharmacy, avoiding inappropriate drug therapies and guaranteeing  medication safety. A recent paper “Avoiding Medication Conflicts for Patients with Multimorbidities” presented at Integrated Formal Methods, Reykjavik, Iceland, June 1-4, 2016, shows how our techniques can be applied in this domain. This work is supported by the EPSRC project EP/M014290/1 (Automated Conflict Resolution in Clinical Pathways).
Another aspect I am working on, is how model checking can be used for predictive and comparative analysis of cancer treatments. Here, I am particularly interested in cancer in the elderly and how treatments should take into account comordibities, frailty, and an increased risk to adverse drug reactions.
In another project, recently awarded by the Royal Academy of Engineering (RAE) under its Newton Research Collaboration Programme (Project NRCP1617/5/62) with Brazil, we explore the use of quantitative analysis techniques to improve the efficiency of complex processes in health care (with Dr R. Czekster and Dr T. Webber, UNISC, Brazil).  
Overall, I believe that working closely with clinicians and software engineers, formal methods can make a difference and contribute to the development of better clinical decision support sustems, for more informed choice and awareness of treatment options, better care and impact on the wellbeing of patients.

Recent Publications

Weaving true-concurrent aspects using constraint solvers

Bowles, JKF, Bordbar, B & Alwanain, M 2016, Weaving true-concurrent aspects using constraint solvers. in 2016 16th International Conference on Application of Concurrency to System Design. IEEE Computer Society, PN 2016 // ACSD 2016, Toruń, Poland, 19-24 June.

Model checking cancer automata

Bowles, JKF & 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.

Avoiding medication conflicts for patients with multimorbidities

Kovalov, A & Bowles, JKF 2016, Avoiding medication conflicts for patients with multimorbidities. in E Ábrahám & M Huisman (eds), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-3, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9681, Springer, pp. 376-390, 12th International Conference on integrated Formal Methods, Reykjavík, Iceland, 1-5 June. DOI: 10.1007/978-3-319-33693-0_24

Transformation and composition of software design models for Model Driven Development

Meedeniya, DA, Perera, GIUS & Bowles, JKF 2015, Transformation and composition of software design models for Model Driven Development. in Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS). IEEE, pp. 31-36, 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS), Peradeniya, Sri Lanka, 17-20 December. DOI: 10.1109/ICIINFS.2015.7398981

Matching and merging scenarios automatically with Alloy

Bowles, JKF, Alwanain, M, Bordbar, B & Chen, Y 2015, Matching and merging scenarios automatically with Alloy. in S Hammoudi, L Ferreira Pires, J Filipe & RC das Neves (eds), Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. Communications in Computer and Information Science, vol. 506, Springer International Publishing, Cham, pp. 100-116, International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Lisbon, Portugal, 7-9 January. DOI: 10.1007/978-3-319-25156-1_7

A logical approach for behavioural composition of scenario-based models

Bowles, JKF, 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. DOI: 10.1007/978-3-319-25423-4_16

SD2CPN: a model transformation tool for software design models

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. DOI: 10.1109/ICSEC.2014.6978222

Automated composition of sequence diagrams via Alloy

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, 7-9 January. DOI: 10.5220/0004715003840391

On distributed stochastic logics for mobile systems

Bowles, JKF & 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. DOI: 10.1007/978-3-662-44145-9_14

A strongly consistent transformation from UML interactions to PEPA nets

Bowles, J & 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. DOI: 10.1007/978-3-319-09156-3_7