Dr Marco Caminati
Research Fellow
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