|
|
People
Post-Docs
| Name | Supervisor | Research Topics |
|---|
| CHEN, Chunqing | DONG, Jin Song | Formal Methods for System Design, Simulink/Stateflow |
| LIU, Yang | DONG, Jin Song | Process Analysis Toolkit (PAT) |
| XING, Zhenchang | LKY Postdoc Fellow | Model Differencing |
PhD Students
| Name | Supervisor | Research Topics |
|---|
| HENG, Boon Kui | JARZABEK, Stan | Contextual Decisions in Analysis to Design Transition |
| HUYNH, Chau Trung | JARZABEK, Stan | SOA framework for dynamic configuration in SPL |
| LIU, Yan | DONG, Jin Song | Model checking in smart space;
reasoning & verification of context-aware apps |
| LUU, Anh Tuan | DONG, Jin Song | Security model checking, semantic web |
| NGUYEN, Truong Khanh | DONG, Jin Song | Formal method, model checking |
| SHI, Ling | DONG, Jin Song | Denotational semantics, UTP, model checking |
| SONG, Songzheng | DONG, Jin Song | Probabilistic model checking |
|
TAN, Tian Huat | DONG, Jin Song | Verification of Web Service Composition |
| XUE, Yin Xing | JARZABEK, Stan | Software product line, software product differencing, cloning |
| ZHANG, Shaojie | DONG, Jin Song | Event-based model checking, symmetry reduction |
| ZHANG, Xian | DONG, Jin Song | |
| ZHENG, Manchun | DONG, Jin Song | Model checking sensor network systems |
| ZHU, Huiquan | DONG, Jin Song | Model checking program |
Research Assistants
| Name | Supervisor | Research Topics |
|---|
| NGUYEN Tri Tin | JARZABEK, Stan | XVCL Workbench development |
| HA, Duy Trung | JARZABEK, Stan | Model Driven Development and Document Management |
|
Home