Login / Signup
Shayan Jalili
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Formal Verification
Asynchronous Communication
Multi Agent Systems
Semi Automatic
Top Venues
CoRR
FTSCS
</>
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)
Sara Shoouri
,
Shayan Jalili
,
Jiahong Xu
,
Isabelle Gallagher
,
Yuhao Zhang
,
Joshua Wilhelm
,
Necmiye Ozay
,
Jean-Baptiste Jeannin
Falsification of a Vision-based Automatic Landing System.
CoRR
(2023)
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)