We focus on real-time system , resource allocation and verturalization issues on cloud system and fault-tolerance issues on multi coure system.
Read more ...Y2U: A Tool for Transforming Yakindu Statecharts to UPPAAL Timed Automata.
We have tons of publications focus on hot research issues such as real-time system, arc-model, cloud computing and multi-core computing.
Read more...1. Achieving Adaptation in Open Distributed Time Critical Systems (Funding Agent: ERIF, IIT) .
3........
(And more)
we have FUNDED PHD POSITIONS
open for students who are interested in formal verification, real-time scheduling and cloud computing. Please contact us for more information. (Updated in July 2016)