Travelled to:1 × Germany
6 × USA
Collaborated with:F.Xie S.Ray C.H.Seger A.Tiemeyer Y.Chen A.Basak S.Bhunia K.Hao W.Wu J.Cao M.Raynal J.Darlington Y.Guo H.W.To T.Simon C.Mueller D.Klan K.Sattler W.N.N.Hung X.Song G.Yang M.A.Perkowski
Talks about:symbol (3) check (3) synthesi (2) protocol (2) composit (2) refin (2) optim (2) model (2) trajectori (1) consensus (1)
Person: Jin Yang
DBLP: Yang:Jin
Contributed to:
2015
2011
201020082006
200420042000
1995Wrote 9 papers:
- DAC-2015-RayYBB #correctness #design #security #validation
- Correctness and security at odds: post-silicon validation of modern SoC designs (SR, JY, AB, SB), p. 6.
- PDP-2011-YangSMKS #fault tolerance #protocol
- Comparing and Refining Gossip Protocols for Fault Tolerance in Wireless P2P Systems (JY, TS, CM, DK, KUS), pp. 595–599.
- DATE-2010-HaoXRY #behaviour #equivalence #optimisation #synthesis
- Optimizing equivalence checking for behavioral synthesis (KH, FX, SR, JY), pp. 1500–1505.
- DAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement
- Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
- PDP-2006-WuCYR #ad hoc #mobile #network #protocol
- A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks (WW, JC, JY, MR), pp. 64–72.
- CAV-2004-YangS #composition #model checking #specification
- Compositional Specification and Model Checking in GSTE (JY, CJHS), pp. 216–228.
- DAC-2004-HungSYYP #analysis #logic #quantum #reachability #synthesis
- Quantum logic synthesis by symbolic reachability analysis (WNNH, XS, GY, JY, MAP), pp. 838–841.
- DAC-2000-YangT #lazy evaluation #model checking
- Lazy symbolic model checking (JY, AT), pp. 35–38.
- PPoPP-1995-DarlingtonGTY #composition #parallel
- Parallel Skeletons for Structured Composition (JD, YG, HWT, JY), pp. 19–28.