Items where Author is "Ráth, István Zoltán"

Vörös, András and Búr, Márton and Ráth, István Zoltán and Horváth, Ákos and Micskei, Zoltán Imre and Balogh, László and Hegyi, Bálint and Horváth, Benedek and Mázló, Zsolt and Varró, Dániel (2018) MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems. In: NASA Formal Methods. Lecture Notes in Computer Science (10811). Springer International Publishing, Cham, pp. 460-467. ISBN 978-3-319-77934-8

Szárnyas, Gábor and Izsó, Benedek and Ráth, István Zoltán and Varró, Dániel (2017) The Train Benchmark: cross-technology performance evaluation of continuous model queries. SOFTWARE AND SYSTEMS MODELING, -. pp. 1-29. ISSN 1619-1366

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

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.

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

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.