Follow
César Augusto Ribeiro dos Santos
César Augusto Ribeiro dos Santos
Research Engineer, Siemens Industry Software NV
Verified email at siemens.com
Title
Cited by
Cited by
Year
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
682015
Deductive verification of parallel programs using Why3
C Santos, F Martins, VT Vasconcelos
arXiv preprint arXiv:1508.04856, 2015
152015
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
92019
Protocol-based verification of MPI programs
ERB Marques, F Martins, VT Vasconcelos, C Santos, N Ng, N Yoshida
52014
Gastric cancer: nutritional and functional status & survival time/mortality
CA Santos, IM Santos, L Mendes, H Mansinho
Clinical Nutrition ESPEN 46, S720-S721, 2021
32021
Protocol based programming of concurrent systems
CAR Santos
32014
Type-based verification of message-passing parallel programs
VT Vasconcelos, F Martins, ERB Marques, HA López, C Santos, ...
22014
Specification and verification of protocols for MPI programs
ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, N Yoshida
22013
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
12021
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
12020
CONDEnSe: Contract Based Design Synthesis
RD Santos, CA Hany Saleh, A Schrijvers, T Nicolai
12019
Especificação e Verificação de Protocolos para Programas MPI
ND Martins, C Santos, ERB Marques, F Martins, VT Vasconcelos
INFORUM, 2013
12013
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
The system can't perform the operation now. Try again later.
Articles 1–18