Modeling RTOS for Reactive Embedded Systems. - Wei-Tsun Sun; Zoran Salcic (VLSI Design, 2007)

LibGALS: a library for GALS systems design and modeling. - Wei-Tsun Sun; Zoran Salcic; Avinash Malik (ASP-DAC, 2010)

GALS-Designer: A design framework for GALS software systems. - Wei-Tsun Sun; Zoran Salcic (ACM Trans. Design Autom. Electr. Syst., 2011)

A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. - HeeJong Park 001; Zoran Salcic; Kevin I-Kai Wang; Udayanto Dwi Atmojo; Wei-Tsun Sun; Avinash Malik (TrustCom/ISPA/IUCC, 2013)

libDGALS: A library-based approach to design dynamic GALS systems. - Wei-Tsun Sun; Zoran A. Salcic; Alain Girault; Avinash Malik (SIES, 2014)

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems. - Wei-Tsun Sun; Alain Girault; Gwenaël Delaval (SIES, 2015)

Dynamic Branch Resolution Based on Combined Static Analyses. - Wei-Tsun Sun; Hugues Cassé (WCET, 2016)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Validating Static WCET Analysis: A Method and Its Application. - Wei-Tsun Sun; Eric Jenn; Hugues Cassé (WCET, 2019)