Travelled to:1 × Australia
1 × Germany
Collaborated with:A.Nymeyer
Talks about:protocol (2) synthesis (1) markovian (1) convert (1) formal (1) studi (1) power (1) model (1) fidel (1) high (1)
Person: Jing Cao
DBLP: Cao:Jing
Contributed to:
2010
2009Wrote 2 papers:
- DATE-2010-CaoN #markov #protocol
- High-fidelity markovian power model for protocols (JC, AN), pp. 267–270.
- CIAA-2009-CaoN #case study #protocol
- Formally Synthesising a Protocol Converter: A Case Study (JC, AN), pp. 249–252.