| 1 |
A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS
|
International Journal of Software Engineering and Knowledge Engineering
|
| 2 |
Towards automated software model checking using graph transformation systems and Bogor
|
Journal of Zhejiang University - Science A
|
| 3 |
Towards automated verification of layered graph transformation specifications
|
Institution of Engineering and Technology
|
| 4 |
FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS
|
International Journal of Software Engineering and Knowledge Engineering
|