Dr Marco Caminati

Research Fellow

Researcher profile

Phone

+44 (0)1334 461636

Email

mbc8@st-andrews.ac.uk

Selected publications

• Correct composition in the presence of behavioural conflicts and dephasing

  Kuster Filipe Bowles, J. & Caminati, M. B., 1 Jan 2020, In : Science of Computer Programming. 185, 22 p., 102323.

  Research output: Contribution to journal ? Article

• A framework for automated conflict detection and resolution in medical guidelines

  Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1 Aug 2019, In : Science of Computer Programming. 182, p. 42-63 22 p.

  Research output: Contribution to journal ? Article

• An integrated approach to a combinatorial optimisation problem

  Kuster Filipe Bowles, J. & Caminati, M. B., 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2?6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). LNCS ed. Cham: Springer, p. 284-302 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11918).

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• Balancing prescriptions with constraint solvers

  Bowles, J. K. F. & Caminati, M. B., 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Cham: Springer, p. 243-267 25 p. (Computational Biology; vol. 30).

  Research output: Chapter in Book/Report/Conference proceeding ? Chapter

• An integrated framework for verifying multiple care pathways

  Bowles, J. K. F., Caminati, M. B. & Cha, S., 7 Feb 2018, Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, Vol. 2018-January. p. 1-8 8 p.

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• Formalization and Automation of Quality Assurance Processes in Radiation Oncology

  Munbodh, R., Zaveri, H., Caminati, M. & Bowles, J., 31 Jul 2018, In : Medical physics. 45, 6, p. E274-E274 1 p.

  Research output: Contribution to journal ? Abstract

• A flexible approach for finding optimal paths with minimal conflicts

  Bowles, J. K. F. & Caminati, M. B., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Duan, Z. & Ong, L. (eds.). Springer, p. 209-225 16 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10610).

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• A verified algorithm enumerating event structures

  Bowles, J. K. F. & Caminati, M. B., 2017, Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 239-254 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 10383).

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• Correct composition of dephased behavioural models

  Bowles, J. K. F. & Caminati, M. B., 2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Proença, J. & Lumpe, M. (eds.). Springer, p. 233-250 18 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10487).

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• Aplicação de técnicas quantitativas de modelagem na busca da eficiência de processos hospitalares

  Webber, T., Caminati, M. B., Mueller, M., Redeker, G., Bowles, J. K. F., Czekster, R. & Quickert, S., 23 Sep 2016, (Accepted/In press).

  Research output: Contribution to conference ? Poster

See more publications