Protocol-based verification of message-passing parallel programs. - Hugo A. López 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; César Santos; Vasco Thudichum Vasconcelos; Nobuko Yoshida (OOPSLA, 2015)

Deductive Verification of Parallel Programs Using Why3. - César Santos; Francisco Martins; Vasco Thudichum Vasconcelos (ICE, 2015)

CONDEnSe: Contract Based Design Synthesis. - César Augusto Ribeiro dos Santos; Amr Hany Saleh; Tom Schrijvers; Mike Nicolai (MoDELS, 2019)

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. - César Augusto Ribeiro dos Santos; Tom Schrijvers; Amr Hany Saleh; Mike Nicolai (FM, 2021)

Analysis of the Application of Polynomial Reference Tracking Generalized Predictive Control in the Control of an LCL Filter. - Thyago Estrabis; César Santos; Raymundo C. Cordero; Walter Issamu Suemitsu; Gabriel Gentil; Matheus Pelzl (IECON, 2021)

Correction: Low-Cost Biomechanical System for the Evaluation of Parkinson's. - Wilver Auccahuasi; Jacob Astocondor; Lucas Herrera; Karin Rojas; Abilio Cuzcano; Edith Neglia; Juan Grados 001; Santiago Rubiños; César Santos; Jessica Rosario Meza; Moisés Tongo; Wilson Marin; et al. (SN Comput. Sci., 2024)

Low-Cost Biomechanical System for the Evaluation of Parkinson's. - Wilver Auccahuasi; Jacob Astocondor; Lucas Herrera; Karin Rojas; Abilio Cuzcano; Edith Neglia; Juan Grados 001; Santiago Rubiños; César Santos; Jessica Rosario Meza; Moisés Tongo; Wilson Marin; et al. (SN Comput. Sci., 2024)