BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Du:Xiaoning

Contributed to:

FM 20152015
ASE 20192019
ESEC/FSE 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.