G. Karsai, A. Agrawal, F. Shi, J. Sprinkle:
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
/jucs_9_11/on_the_use_of

page 1296 - 1321
Vol.9 / Issue 11

T. Szemethy, G. Karsai:
Platform Modeling and Model Transformations for Analysis
/jucs_10_10/platform_modeling_and_model

page 1383 - 1407
Vol.10 / Issue 10

G. Karsai, G. Nordstrom, A. Ledeczi, J. Sztipanovits:
Towards Two-Level Formal Modeling of Computer-Based Systems
/jucs_6_11/towards_two_level_formal

page 1131 - 1144
Vol.6 / Issue 11