Wei-Tsun Sun

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 4

Top Topics

Dynamic Constraints

Concurrent Systems

Ambient Intelligent

Top Venues

TrustCom/ISPA/IUCC

Publications

Wei-Tsun Sun, Eric Jenn, Hugues Cassé
Validating Static WCET Analysis: A Method and Its Application. WCET (2019)
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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Wei-Tsun Sun, Hugues Cassé
Dynamic Branch Resolution Based on Combined Static Analyses. WCET (2016)
Wei-Tsun Sun, Alain Girault, Gwenaël Delaval
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems. SIES (2015)
Wei-Tsun Sun, Zoran A. Salcic, Alain Girault, Avinash Malik
libDGALS: A library-based approach to design dynamic GALS systems. SIES (2014)
HeeJong Park, Zoran Salcic, Kevin I-Kai Wang, Udayanto Dwi Atmojo, Wei-Tsun Sun, Avinash Malik
A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. TrustCom/ISPA/IUCC (2013)
Wei-Tsun Sun, Zoran Salcic
GALS-Designer: A design framework for GALS software systems. ACM Trans. Design Autom. Electr. Syst. 16 (4) (2011)
Wei-Tsun Sun, Zoran Salcic, Avinash Malik
LibGALS: a library for GALS systems design and modeling. ASP-DAC (2010)
Wei-Tsun Sun, Zoran Salcic
Modeling RTOS for Reactive Embedded Systems. VLSI Design (2007)