César Augusto Ribeiro dos Santos

According to our database, César Augusto Ribeiro dos Santos authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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, Santiago Rubiños, César Santos, Jessica Rosario Meza, Moisés Tongo, Wilson Marin, José Luis Herrera Salazar

SN Comput. Sci., January, 2024

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, Santiago Rubiños, César Santos, Jessica Rosario Meza, Moisés Tongo, Wilson Marin, José Luis Herrera Salazar

SN Comput. Sci., 2024

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

Proceedings of the IECON 2021, 2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

CONDEnSe: Contract Based Design Synthesis.

César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2015

Deductive Verification of Parallel Programs Using Why3.

César Santos, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Protocol-based verification of message-passing parallel programs.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015