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 × Canada
1 × France
1 × Taiwan
Collaborated with:
H.Yu T.Gautier P.L.Guernic J.Talpin L.Besnard G.Xiao Z.Lin G.Qi M.Heitz Y.Glouche A.Toom O.Laurent
Talks about:
architectur (1) polychroni (1) polychron (1) inconsist (1) softwar (1) partial (1) analysi (1) toward (1) system (1) solver (1)

Person: Yue Ma


Contributed to:

DATE 20132013
SAC 20112011
KR 20102010

Wrote 3 papers:

DATE-2013-MaYGGTBH #analysis #architecture #towards #validation
Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
SAC-2011-YuMGTBGGTL #using
System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
KR-2010-XiaoLMQ #consistency #metric #multi #nondeterminism #satisfiability #semantics
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).

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.