Wei-Tsun Sun

According to our database, Wei-Tsun Sun authored at least 9 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Validating Static WCET Analysis: A Method and Its Application.

Wei-Tsun Sun, Eric Jenn, Hugues Cassé

Proceedings of the 19th International Workshop on Worst-Case Execution Time Analysis, 2019

2017

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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2016

Dynamic Branch Resolution Based on Combined Static Analyses.

Wei-Tsun Sun, Hugues Cassé

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems.

Wei-Tsun Sun, Alain Girault, Gwenaël Delaval

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2014

libDGALS: A library-based approach to design dynamic GALS systems.

Wei-Tsun Sun, Zoran A. Salcic, Alain Girault, Avinash Malik

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

2013

A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example.

HeeJong Park, Zoran Salcic, Kevin I-Kai Wang, Udayanto Dwi Atmojo, Wei-Tsun Sun, Avinash Malik

Proceedings of the 12th IEEE International Conference on Trust, 2013

2011

GALS-Designer: A design framework for GALS software systems.

Wei-Tsun Sun, Zoran Salcic

ACM Trans. Design Autom. Electr. Syst., 2011

2010

LibGALS: a library for GALS systems design and modeling.

Wei-Tsun Sun, Zoran Salcic, Avinash Malik

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

2007

Modeling RTOS for Reactive Embedded Systems.

Wei-Tsun Sun, Zoran Salcic

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007