Search

Now showing items 1-10 of 14

Model Driven Performability Analysis of Service Configurations with Reliable Messaging

Gönczy, László; Déri Zsolt; Varró, Dániel (2008)

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)

Modeling BPEL Workflows with Fault Handling

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

Methodologies for Model-Driven Development and Deployment: an Overview

Gönczy, László; Á Hegedüs; Varró, Dániel (Springer-Verlag, 2011)

Model-based Deployment of Web Services to Standards-compliant Middleware

Gönczy, László; Ávéd János; Varró, Dániel (IADIS Press, 2006)

Modeling and Verification of Reliable Messaging by Graph Transformation Systems

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

Tool Support for Engineering Certifiable Software

Gönczy, László; Majzik, István; Horváth, Ákos; Varró, Dániel; Balogh András; Micskei, Zoltán Imre; Pataricza, András (2008)

Model Transformations for Performability Analysis of Service Configurations

Gönczy, László; Zs Déri; Varró, Dániel (2008)

Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems

S Gilmore; Gönczy, László; N Koch; P Mayer; M Tribastone; Varró, Dániel (2011)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

Wirsing Martin; Hölzl Matthias M; Acciai Lucia; Banti Federico; Clark Allan; Fantechi Alessandro; Gilmore Stephen; Gnesi Stefania; Gönczy, László; Koch Nora; Lapadula Alessandro; Mayer Philip; Mazzanti Franco; Pugliese Rosario; Schroeder Andreas; Tiezzi Francesco; Tribastone Mirco; Varró, Dániel (2008)