José Luiz Vargas de Mendonça

According to our database, José Luiz Vargas de Mendonça authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Synchronous Programming with Refinement Types.

Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin

Proc. ACM Program. Lang., 2024

2022

Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation.

Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic.

Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras

Proceedings of the International Conference on Embedded Software, 2022