![]() | ![]() |
2008 | ||
---|---|---|
5 | EE | Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse: A General Approach for Scenario Integration. MoDELS 2008: 204-218 |
4 | EE | Hongzhi Liang, Jürgen Dingel: A Practical Evaluation of Using TXL for Model Transformation. SLE 2008: 245-264 |
2007 | ||
3 | EE | Hongzhi Liang: Scenario Integration via the Transformation and Manipulation of Higher-order Graphs. MoDELS (Doctoral Symposium) 2007 |
2006 | ||
2 | EE | Hongzhi Liang, Jürgen Dingel, Zinovy Diskin: A comparative survey of scenario-based to state-based model synthesis approaches. SCESM 2006: 5-12 |
2004 | ||
1 | EE | Jürgen Dingel, Hongzhi Liang: Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. SIGSOFT FSE 2004: 13-22 |
1 | Jürgen Dingel | [1] [2] [4] [5] |
2 | Zinovy Diskin | [2] [5] |
3 | Ernesto Posse | [5] |