Search

Now showing items 51-60 of 69

Automated Formal Verification of Visual Modeling Languages by Model Checking

Varró, Dániel (2004)

Automated Formal Verification of Model Transformations

Varró, Dániel; Pataricza, András (2003)

Modeling and Analysis of Architectural Styles Based on Graph Transformation

L Baresi; R Heckel; S Thöne; Varró, Dániel (2003)

Automating model transformation by example using inductive logic programming

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

A formal semantics of UML statecharts by model transition systems

Varró, Dániel (2002)

Graph transformation with time: Causality and logical clocks

Varró-Gyapay, Szilvia; Heckel R; Varró, Dániel (2002)

CheckVML: A tool for model checking visual modeling languages

Schmidt A; Varró, Dániel (2003)

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)