Travelled to:1 × Denmark
1 × Estonia
Collaborated with:M.Pajic S.Moarref R.Alur R.Mangharam X.Chen E.Kang S.Shiraishi V.M.Preciado
Talks about:behavior (1) pacemak (1) implant (1) connect (1) chamber (1) verif (1) model (1) digit (1) twin (1) safe (1)
Person: Zhihao Jiang
DBLP: Jiang:Zhihao
Contributed to:
2012
2018Wrote 2 papers:
- TACAS-2012-JiangPMAM #modelling #verification
- Modeling and Verification of a Dual Chamber Implantable Pacemaker (ZJ, MP, SM, RA, RM), pp. 188–203.
- MoDELS-2018-ChenKSPJ #behaviour
- Digital Behavioral Twins for Safe Connected Cars (XC, EK, SS, VMP, ZJ), pp. 144–153.