Travelled to:1 × Russia
Collaborated with:N.Zhan L.Dai Y.Feng J.Katoen H.Li T.Gan D.Kapur M.Chen
Talks about:interpol (2) semidefinit (1) synthesi (1) polynomi (1) automata (1) quadrat (1) program (1) monitor (1) generat (1) linear (1)
Person: Bican Xia
DBLP: Xia:Bican
Contributed to:
2013
20162018Wrote 3 papers:
- CAV-2013-DaiXZ #generative #programming
- Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
- IJCAR-2016-GanDXZKC #polynomial #synthesis
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (TG, LD, BX, NZ, DK, MC), pp. 195–212.
- CAV-2018-FengKLXZ #automaton #monitoring #multi
- Monitoring CTMCs by Multi-clock Timed Automata (YF, JPK, HL, BX, NZ), pp. 507–526.