José Luiz Vargas de Mendonça

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Asynchronous Communication

Satisfiability Problem

Multi Agent Systems

Formal Specification Language

Top Venues

Publications

Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin
Synchronous Programming with Refinement Types. CoRR (2024)
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
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation. FTSCS (2022)
Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. EMSOFT (2022)