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
DBLP: Ma:Yue
Contributed to:
2013
2011
2010Wrote 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).