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 | 10 | 2013 |
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 | 8 | 2017 |
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 | 7 | 2010 |
Modeling RTOS for reactive embedded systems WT Sun, Z Salcic 20th International Conference on VLSI Design held jointly with 6th …, 2007 | 7 | 2007 |
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 | 5 | 2014 |
Dynamic branch resolution based on combined static analyses WT Sun, H Cassé OASICs, Dagstuhl Publishing, 2016 | 4 | 2016 |
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 | 3 | 2020 |
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 | 2 | 2019 |
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 | 2 | 2018 |
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 | 2 | 2015 |
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 | 2 | 2011 |
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 | | |