Computer Science @ University of St Andrews

University of St Andrews crest

Dr Marco Caminati

Research Fellow - School of Computer Science

Full research profile

Email: mbc8@st-andrews.ac.uk

Office: JC0.13 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1636

Web: https://mbc8.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. DOI: 10.1109/TASE.2017.8285628

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. DOI: 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. DOI: 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. DOI: 10.1007/978-3-319-68034-7_14

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. DOI: 10.1109/APSEC.2016.051