Travelled to:1 × Estonia
1 × Germany
Collaborated with:R.Ivanov I.Lee M.Elfar Y.W.0044 Z.Jiang S.Moarref R.Alur R.Mangharam
Talks about:synthesi (1) pacemak (1) implant (1) chamber (1) sensor (1) resili (1) fusion (1) attack (1) action (1) verif (1)
Person: Miroslav Pajic
DBLP: Pajic:Miroslav
Contributed to:
2014
2012
2019Wrote 3 papers:
- DATE-2014-IvanovPL
- Attack-resilient sensor fusion (RI, MP, IL), pp. 1–6.
- TACAS-2012-JiangPMAM #modelling #verification
- Modeling and Verification of a Dual Chamber Implantable Pacemaker (ZJ, MP, SM, RA, RM), pp. 188–203.
- CAV-2019-ElfarWP #game studies #synthesis #using
- Security-Aware Synthesis Using Delayed-Action Games (ME, YW0, MP), pp. 180–199.