|
New Schedulability Test Conditions for Non-Preemptive Scheduling on Multiprocessor Platforms (2008) Nan Guan, Wang Yi, Zonghua Gu and Ge Yu |
||
|
Cyclic dependencies in modular performance analysis (2008) Bengt Jonsson, Simon Perathoner, Lothar Thiele, and Wang Yi |
||
|
Model-Based Validation of QoS Properties of Biomedical Sensor Networks (2008) Simon Tschirner, Liang Xuedong and Wang Yi |
||
|
Timed Automata Patterns (2008) Jin Song Dong, Hao Ping, Qin Shengchao, Jun Sun and Wang Yi |
||
|
R-automata (2008) Parosh Aziz Abdulla, Pavel Krcal and Wang Yi |
||
|
Universality of R-automata with Value Copying (2008) Parosh Aziz Abdulla, Pavel Krcal and Wang Yi |
||
|
Introduction to embedded systems week 2006 special issue. ACM Trans. Embedded Comput. Syst. 7(2) (2008) Soonhoi Ha, Kiyoung Choi, Taewhan Kim, Krisztián Flautner, Sang Lyul Min, Wang Yi |
||
|
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT (2008) Jan Carlsson, John Hĺkansson , Aurelien Monot, Paul Pettersson, and Davor Slutej |
||
|
Save-IDE – An Integrated development environment for building predictable component-based embedded systems (2008) Séverine Sentilles and John Hĺkansson and Paul Pettersson and Ivica Crnkovic |