Dr Marco Caminati
- Kuster Filipe Bowles, J & Caminati, MB 2020, A formally verified SMT approach to true concurrency. in F Calimeri, S Perri & E Zumpano (eds), Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. CEUR Workshop Proceedings, pp. 357-371. <http://ceur-ws.org/Vol-2710/paper23.pdf>
- Kuster Filipe Bowles, J & Caminati, MB 2019, An integrated approach to a combinatorial optimisation problem. in W Ahrendt & SL Tapia Tarifa (eds), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. LNCS edn, Lecture Notes in Computer Science (Programming and Software Engineering), vol. 11918, Springer, Cham, pp. 284-302, 15th International Conference on integrated Formal Methods (iFM 2019), Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-34968-4_16
- Bowles, JKF, Caminati, MB & Cha, S 2018, An integrated framework for verifying multiple care pathways. in 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). 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
- Munbodh, R, Zaveri, H, Caminati, M & Bowles, J 2018, 'Formalization and Automation of Quality Assurance Processes in Radiation Oncology', Medical Physics, vol. 45, no. 6, pp. E274-E274.
- Bowles, JKF & Caminati, MB 2017, A flexible approach for finding optimal paths with minimal conflicts. in Z Duan & L Ong (eds), ICFEM: International Conference on Formal Engineering Methods: Formal methods and software engineering. 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, Cham, 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