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, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, 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, ICFEM: International Conference on Formal Engineering Methods: Formal methods and software engineering. 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.). Cham: 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