We stand with Ukraine  

Jiawei Chen

Orcid: 0000-0002-5461-6711

Affiliations:
  • University of Michigan, Ann Arbor, MI, USA


According to our database1, Jiawei Chen authored at least 4 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
A General Framework for Robust Quantitative Semantics of Signal Temporal Logic.
[BibTeX]
[DOI]
Jiawei Chen
,
José Luiz Vargas de Mendonça
,
Konstantinos Mamouras
,
Jean-Baptiste Jeannin
Proceedings of the Formal Methods - 27th International Symposium, 2026

2024
Synchronous Programming with Refinement Types.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Jean-Baptiste Jeannin
,
Jiawei Chen
,
José Luiz Vargas de Mendonça
,
Konstantinos Mamouras
Proceedings of the International Conference on Embedded Software, 2022


  Loading...