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 × China
1 × United Kingdom
2 × Russia
2 × USA
Collaborated with:
H.Zhang Y.Jiang X.Song J.Sun F.He H.Liu W.N.N.Hung F.Wu J.Sun H.Zhang M.Zhou B.Wang Y.Yang H.Kong H.Zha X.He C.H.Q.Ding H.D.Simon Z.Li Y.Deng X.Zhao C.Sun
Talks about:
system (7) model (3) embed (3) design (2) multi (2) clock (2) time (2) base (2) stateflow (1) heterogen (1)

Person: Ming Gu


Contributed to:

FSE 20142014
CAV 20132013
ESEC/FSE 20132013
SEKE 20132013
CAV 20102010
CIKM 20012001
ASE 20162016

Wrote 9 papers:

FSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #tool support #validation
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.
CAV-2013-KongHSHG #generative #hybrid #safety #verification
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
ESEC-FSE-2013-JiangLZDSGS #design #embedded #multi #optimisation #using
Design and optimization of multi-clocked embedded systems using formal technique (YJ, ZL, HZ, YD, XS, MG, JS), pp. 703–706.
ESEC-FSE-2013-JiangZLSHGS #analysis #reliability #runtime
System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
SEKE-2013-WuZG #named #requirements
DOPROPC: a domain property pattern system helping to specify control system requirements (FW, HZ, MG), pp. 695–698.
CAV-2010-ZhouHWG #array #bound #on the
On Array Theory of Bounded Elements (MZ, FH, BYW, MG), pp. 570–584.
CIKM-2001-ZhaHDGS #clustering #graph
Bipartite Graph Partitioning and Data Clustering (HZ, XH, CHQD, MG, HDS), pp. 25–32.
ASE-2016-YangJGS #approach #automaton #verification
Verifying simulink stateflow model: timed automata approach (YY, YJ, MG, JGS), pp. 852–857.
ASE-2016-ZhangJLZGS #design #embedded #modelling
Model driven design of heterogeneous synchronous embedded systems (HZ, YJ, HL, HZ, MG, JGS), pp. 774–779.

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.