Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. - Felice Balarin; Luciano Lavagno; Claudio Passerone; Alberto L. Sangiovanni-Vincentelli; Yosinori Watanabe; Guang Yang 004 (CODES, 2002)

Separation of concerns: overhead in modeling and efficient simulation techniques. - Guang Yang 004; Alberto L. Sangiovanni-Vincentelli; Yosinori Watanabe; Felice Balarin (EMSOFT, 2004)

Communication and co-simulation infrastructure for heterogeneous system integration. - Guang Yang 004; Xi Chen 024; Felice Balarin; Harry Hsieh; Alberto L. Sangiovanni-Vincentelli (DATE, 2006)

Metamodeling: An Emerging Representation Paradigm for System-Level Design. - Alberto L. Sangiovanni-Vincentelli; Sandeep K. Shukla; Janos Sztipanovits; Guang Yang 004; Deepak Mathaikutty (IEEE Des. Test Comput., 2009)