Publications
] Filters: First Letter Of Last Name is P [Clear All Filters]
"UML modellek automatikus transzformációi",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
The VIATRA2 Model Transformation Framework,
, 2005.
Presented at ECMDA 2005 – Tools Track
"VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models",
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002.
Abstract
Acceptance rate = 20%
Benchmarking the Ethernet-Federated Datacenter,
, no. RZ3753: IBM Zürich Research Laboratory, 2009.
Flow and Congestion Control for Datacenter Networks,
, no. RZ3742: IBM Zürich Research Laboratory, 2009.
Transaction Tracking in Large Scale Datacenters,
, no. RZ3743: IBM Zürich Research Laboratory, 2009.
Mathematical Model Transformation for System Verification,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000.
Abstract
Mathematical Model Transformations for System Verification,
: Budapest University of Technology and Economics, May, 2001.
Towards an XMI–Based Model Interchange Format for Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000.
Abstract
A Unifying Semantic Framework for Multilevel Metamodelling,
: Budapest University of Technology and Economics, October, 2001.
UML Specification of Model Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, October, 2000.
Abstract
An XML Schema Description of Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001.
Abstract
