Search

Now showing items 1-7 of 7

Formal Modeling of BPEL Workflows Including Fault and Compensation Handling

Kovács, Máté Amadé; Varró, Dániel; Gönczy, László (ACM Press, 2007)

An Eclipse-Based Framework for AIS Service Configurations

Kövi, András; Varró, Dániel (2007)

Modeling and Verification of Reliable Messaging by Graph Transformation Systems

Gönczy, László; Kovács, Máté Amadé; Varró, Dániel (2007)

The model transformation language of the VIATRA2 framework

Varró, Dániel; Balogh, András (2007)

Automating model transformation by example using inductive logic programming

Varró, Dániel; Balogh Z (ACM Press, 2007)

Model-Based Testing of Service Infrastructure Components

Gönczy, László; R Heckel; Varró, Dániel (2007)

Generic Search Plans for Matching Advanced Graph Patterns

Horváth, Ákos; Varró, Gergely György; Varró, Dániel (2007)