Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. - Jean-Baptiste Jeannin; Jiawei Chen 013; José Luiz Vargas de Mendonça; Konstantinos Mamouras (EMSOFT, 2022)

Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation. - Jiawei Chen 013; José Luiz Vargas de Mendonça; Shayan Jalili; Bereket Ayele; Bereket Ngussie Bekele; Zhemin Qu; Pranjal Sharma; Tigist Shiferaw; Yicheng Zhang; Jean-Baptiste Jeannin (FTSCS, 2022)

Synchronous Programming with Refinement Types. - Jiawei Chen 013; 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)

A General Framework for Robust Quantitative Semantics of Signal Temporal Logic. - Jiawei Chen 013; José Luiz Vargas de Mendonça; Konstantinos Mamouras; Jean-Baptiste Jeannin (FM (2), 2026)