![]() |
Real-Time Systems Group
|
The Real-Time Systems research group is headed by Prof. Aloysius Mok. In the past few years, we have worked towards laying the groundwork for establishing a firm theoretical foundation for real-time systems and also to build design tools based on this foundation. Our work can be categorized into three areas as follows:
Some of our publications are available in our Publications page.
We also have the list, including the publication abstracts.