Protocol-based verification of message-passing parallel programs HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 67 | 2015 |
Deductive verification of parallel programs using Why3 C Santos, F Martins, VT Vasconcelos arXiv preprint arXiv:1508.04856, 2015 | 15 | 2015 |
CONDEnSe: contract based design synthesis CAR dos Santos, AH Saleh, T Schrijvers, M Nicolai 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 8 | 2019 |
Protocol-based verification of MPI programs ERB Marques, F Martins, VT Vasconcelos, C Santos, N Ng, N Yoshida | 5 | 2014 |
Protocol based programming of concurrent systems CAR Santos | 3 | 2014 |
Gastric cancer: nutritional and functional status & survival time/mortality CA Santos, IM Santos, L Mendes, H Mansinho Clinical Nutrition ESPEN 46, S720-S721, 2021 | 2 | 2021 |
Type-based verification of message-passing parallel programs VT Vasconcelos, F Martins, ERB Marques, HA López, C Santos, ... | 2 | 2014 |
Specification and verification of protocols for MPI programs ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, N Yoshida | 2 | 2013 |
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts CAR Santos, T Schrijvers, AH Saleh, M Nicolai Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 1 | 2021 |
Nutritional Status and Functional Status of the Pancreatic Cancer Patients and the Impact of Adjacent Symptoms CA Santos, IM Santos, L Mendes, H Mansinho Clinical Nutrition ESPEN 40, 661-662, 2020 | 1 | 2020 |
Especificação e Verificação de Protocolos para Programas MPI ND Martins, C Santos, ERB Marques, F Martins, VT Vasconcelos INFORUM, 2013 | 1 | 2013 |
How can the association between PRM and nutritional therapy protocol improve health outcomes and what is the impact on reducing expenditure in a public hospital? CA Santos, I Morais, R Henriques Clinical Nutrition ESPEN 46, S685-S686, 2021 | | 2021 |
Towards a Contract-Based Unified Design Process CÊA Ribeiro dos Santos PhD Symposium at iFM'17 on Formal Methods: Algorithms, Tools and …, 2017 | | 2017 |
SUN-P079: Nutritional Status and Chemotherapy-Induced Neutropenia A Barata, C Santos, G Nunes, H Mansinho, J Fonseca Clinical Nutrition 36, S83, 2017 | | 2017 |
Overview of the ParTypes Artifact HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ... | | 2015 |
Type-Based Verification of Message-Passing Parallel Programs (draft under review) VT Vasconcelos, F Martins, ERB Marques, HA López, C Santos, ... | | 2014 |
Specification and Verification of MPI Protocols ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, N Yoshida | | |
CONDEnSe: Contract-Based Design Synthesis CA Santos, AH Saleh, T Schrijvers, M Nicolai | | |