Travelled to:1 × Cyprus
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:F.Xie T.Ball V.Levin C.McGarvey
Talks about:softwar (3) hardwar (3) pushdown (2) system (2) verif (2) büchi (2) reachabl (1) interfac (1) automata (1) approach (1)
Person: Juncao Li
DBLP: Li:Juncao
Contributed to:
2011
2011
20102010Wrote 4 papers:
- ASE-2011-LiXBLM #formal method #hardware #interface #specification
- Formalizing hardware/software interface specifications (JL, FX, TB, VL, CM), pp. 143–152.
- FASE-2011-LiXBL #automaton #model checking
- Model Checking Büchi Pushdown Systems (JL, FX, TB, VL), pp. 141–155.
- CAV-2010-LiXBL #analysis #automaton #hardware #performance #reachability
- Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification (JL, FX, TB, VL), pp. 339–353.
- FASE-2010-LiXBLM #approach #hardware
- An Automata-Theoretic Approach to Hardware/Software Co-verification (JL, FX, TB, VL, CM), pp. 248–262.