Travelled to:
1 × Norway
Collaborated with:
Y.Liu A.Tiu X.Xie Y.L.0008 L.M.0003 Y.L.0003 J.Zhao
Talks about:
quantit (3) analysi (2) deep (2) framework (1) independ (1) stellar (1) network (1) monitor (1) system (1) runtim (1)
Person: Xiaoning Du
DBLP: Du:Xiaoning
Contributed to:
Wrote 3 papers:
- FM-2015-DuLT #independence #ltl #monitoring #policy #runtime
- Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
- ASE-2019-DuX000Z #analysis #framework #network
- A Quantitative Analysis Framework for Recurrent Neural Network (XD, XX, YL0, LM0, YL0, JZ), pp. 1062–1065.
- ESEC-FSE-2019-DuXLM0Z #analysis #learning #modelling #named
- DeepStellar: model-based quantitative analysis of stateful deep learning systems (XD, XX, YL0, LM0, YL0, JZ), pp. 477–487.