Wei-Tsun Sun
Wei-Tsun Sun
ASTC Design France
Verified email at astc-design.com
Title
Cited by
Cited by
Year
A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example
HJ Park, Z Salcic, I Kevin, K Wang, UD Atmojo, WT Sun, A Malik
2013 12th IEEE International Conference on Trust, Security and Privacy in …, 2013
92013
LibGALS: A library for GALS systems design and modeling
WT Sun, Z Salcic, A Malik
2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC), 107-112, 2010
72010
Modeling RTOS for reactive embedded systems
WT Sun, Z Salcic
20th International Conference on VLSI Design held jointly with 6th …, 2007
72007
libDGALS: A library-based approach to design dynamic GALS systems
WT Sun, Z Salcic, A Girault, A Malik
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
42014
Validating static WCET analysis: a method and its application
WT Sun, E Jenn, H Cassé
19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019 …, 2019
22019
The W-SEPT project: Towards semantic-aware WCET estimation
C Maiza, P Raymond, C Parent-Vigouroux, A Bonenfant, F Carrier, ...
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), 2017
22017
Dynamic branch resolution based on combined static analyses
WT Sun, H Cassé
OASICs, Dagstuhl Publishing, 2016
22016
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems
WT Sun, A Girault, G Delaval
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-9, 2015
22015
GALS-Designer: A design framework for GALS software systems
WT Sun, Z Salcic
ACM Transactions on Design Automation of Electronic Systems (TODAES) 16 (4 …, 2011
22011
Build your own static WCET analyser: the case of the automotive processor AURIX TC275
WT Sun, E Jenn, H Cassé
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020
12020
Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA
WT Sun, H Cassé, C Rochange, H Rihani, C Maïza
International Conference on Embedded Real Time Software and Systems (ERTS2), 2018
12018
Assessing Software Abstractions in WCET Analysis of Reactive Programs
E Jahier, N Halbwachs, C Maiza, P Raymond, WT Sun, H Cassé
Verimag, Université Grenoble Alpes, 2018
2018
Designing GALS software systems using libraries and run-time OS support
WT Sun
2012
Article 39 (24 pages)-GALS-Designer: A Design Framework for GALS Software Systems
WT Sun, Z Salcic
Transactions on Design Automation of Electronic Systems 16 (4), 2011
2011
Internet-enabled Frequency Relay
WT Sun, JCC Yu, Z Salcic
3.29 libDGALS: A Library-based Approach to Design Dynamic GALS Systems
WT Sun
Synchronous Programming, 141, 0
The system can't perform the operation now. Try again later.
Articles 1–16