REAL

Items where Author is "Varró, Dániel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 11.

Article

Semeráth, Oszkár and Barta, Ágnes and Horváth, Ákos and Szatmári, Zoltán and Varró, Dániel (2015) Formal validation of domain-specific languages with derived features and well-formedness constraints. SOFTWARE AND SYSTEMS MODELING. pp. 1-37. ISSN 1619-1366

Book Section

Debreceni, Csaba and Ráth, István Zoltán and Varró, Dániel and De Carlos, Xabier and Mendialdua, Xabier (2016) Automated Model Merge by Design Space Exploration. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (9633). Springer, Berlin; Heidelberg, pp. 104-121. ISBN 978-3-662-49664-0

Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel (2016) Incremental Backward Change Propagation of View Models by Logic Solvers. In: MODELS '16. ACM Press, New York, pp. 306-316. ISBN 978-1-4503-4321-3

Semeráth, Oszkár and Vörös, András and Varró, Dániel (2016) Iterative and incremental model generation by logic solvers. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (9633). Springer, Berlin; Heidelberg, pp. 87-103. ISBN 978-3-662-49664-0

Bergmann, Gábor and Debreceni, Csaba and Ráth, István Zoltán and Varró, Dániel (2016) Query-based access control for secure collaborative modeling using bidirectional transformations. In: MODELS '16. ACM Press, New York, pp. 351-361. ISBN 978-1-4503-4321-3

Szárnyas, Gábor and Kővári, Zsolt and Salánki, Ágnes and Varró, Dániel (2016) Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics. In: MODELS '16. ACM Press, New York, pp. 87-94. ISBN 978-1-4503-4321-3

Monograph

Pataricza, András and Bartha, Tamás and Bertók, Botond and Csertán, György and Dobán, Orsolya and Friedler, Ferenc and Fülöp, János and Huszerl, Gábor and Majzik, István and Nagy, Ádám and Papp, László and Petri, Dániel and Polgár, Balázs and Varró, Dániel (2007) Operációkutatási módszerek műszaki informatikai rendszerek analízisében és verifikációjában = Operation Research Methods for the Analysis and Verification of Information Technology Systems. Project Report. OTKA.

Majzik, István and Csertán, György and Huszerl, Gábor and Pataricza, András and Pintér, Gergely and Varró, Dániel (2007) Önellenőrzés és futásidejű verifikáció számítógépes programokban = Self-checking and run-time verification in computer programs. Project Report. OTKA.

Conference or Workshop Item

Debreceni, Csaba and Bergmann, Gábor and Ráth, István Zoltán and Varró, Dániel (2016) Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules. In: 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016), 2016.10.02-2016.10.07., Saint Malo, Franciaország.

Makai, József and Szárnyas, Gábor and Ráth, István Zoltán and Varró, Dániel and Horváth, Ákos (2015) Optimization of Incremental Queries in the Cloud. In: CloudMDE 2015: Model-Driven Engineering on and for the Cloud, 2015.09.29-2015.09.09, Ottawa.

Chechik, Marsha and Dalpiaz, Fabiano and Debreceni, Csaba and Horkoff, Jennifer and Ráth, István Zoltán and Varró, Dániel (2015) Property-Based Methods for Collaborative Model Development. In: MODELS 2015 Workshops: GEMOC & MPM, 2015.09.28-2015.09.30, Ottawa.

This list was generated on Sun Apr 23 10:07:11 2017 CEST.