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: 32.

Búr, Márton and Szilágyi, Gábor and Vörös, András and Varró, Dániel (2018) Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. In: Fundamental Approaches to Software Engineering, 2018.04.14-2018.04.20, Thessaloniki.

Molnár, Vince and Graics, Bence and Vörös, András and Majzik, István and Varró, Dániel (2018) The Gamma Statechart Composition Framework : Design, Verification and Code Generation for Component-Based Reactive Systems. In: Proceedings of the 40th International Conference on Software Engineering Companion. ACM Press, New York, pp. 1-4. ISBN 978-1-4503-5663-3 (In Press)

Semeráth, Oszkár and Nagy, András Szabolcs and Varró, Dániel (2018) A Graph Solver for the Automated Generation of Consistent Domain-Specific Models. In: International Conference on Software Engineering. ACM Press, New York, pp. 969-980. ISBN 978-1-4503-5638-1

Semeráth, Oszkár and Varró, Dániel (2018) Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. In: 21st International Conference on Fundamental Approaches to Software Engineering, 2018.04.14-2018.04.20, Thessaloniki.

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

Varró, Dániel and Semeráth, Oszkár and Szárnyas, Gábor and Horváth, Ákos (2018) Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. In: Graph Transformation, Specifications, and Nets. Lecture Notes in Computer Science . Springer-Verlag, Berlin; Heidelberg, pp. 285-312.

Debreceni, Csaba and Varró, Dániel (2017) Approaches to Identify Object Correspondences Between Source Models and Their View Models. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 14-17. ISBN 978-963-313-243-2

Debreceni, Csaba and Bergmann, Gábor and Ráth, István and Varró, Dániel (2017) Enforcing Fine-grained Access Control for Secure Collaborative Modelling using Bidirectional Transformations. SOFTWARE AND SYSTEMS MODELING. pp. 1-33. ISSN 1619-1366

Semeráth, Oszkár and Varró, Dániel (2017) Evaluating Well-Formedness Constraints on Incomplete Models. ACTA CYBERNETICA-SZEGED. pp. 1-26. ISSN 0324-721X

Szárnyas, Gábor and Maginecz, János and Varró, Dániel (2017) Evaluation of Optimization Strategies for Incremental Graph Queries. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 61 (2). pp. 175-192. ISSN 2064-5260

Marton, József and Szárnyas, Gábor and Varró, Dániel (2017) Formalising openCypher Graph Queries in Relational Algebra. In: Advances in Databases and Information Systems. Lecture Notes in Computer Science (10509). Springer International Publishing, Cham (Svájc), pp. 182-196. ISBN 978-3-319-66916-8

Semeráth, Oszkár and Varró, Dániel (2017) Graph Constraint Evaluation over Partial Models by Constraint Rewriting. In: Proceedings of the 10th International Conference on Model Transformation, 2017.07.17-2017.07.18, Marburg.

Debreceni, Csaba and Bergmann, Gábor and Búr, Márton and Ráth, István and Varró, Dániel (2017) The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017.09.04-2017.09.08, Paderborn.

Debreceni, Csaba and Bergmann, Gábor and Búr, Márton and Ráth, István and Varró, Dániel (2017) The MONDO collaboration framework: secure collaborative modeling over existing version control systems. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM Press, New York, pp. 984-988. ISBN 978-1-4503-5105-8

Debreceni, Csaba and Bergmann, Gábor and Ráth, István and Varró, Dániel (2017) Property-based Locking in Collaborative Modeling. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). IEEE Computer Society, Los Alamitos (CA), pp. 199-209. ISBN 9781538634936

Bergmann, Gábor and Debreceni, Csaba and Ráth, István and Varró, Dániel (2017) Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling. In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-, 2017.09.20, Austin (TX).

Búr, Márton and Vörös, András and Bergmann, Gábor and Varró, Dániel (2017) Towards Modeling Cyber-Physical Systems From Multiple Approaches. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 6-9. ISBN 978-963-313-243-2

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

Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel (2016) Change Propagation of View Models by Logic Synthesis using SAT solvers. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. CEUR Workshop Proceedings (1571). CEUR-WS.org, Aachen, pp. 40-44.

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.

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

Varró, Dániel (2016) Incremental Queries and Transformations: From Concepts to Industrial Applications. In: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016). Lecture Notes in Computer Science (9587). Springer Verlag, Berlin; Heidelberg, pp. 51-59. ISBN 978-3-662-49192-8

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

Ujhelyi, Zoltán and Bergmann, Gábor and Varró, Dániel (2016) Rete Network Slicing for Model Queries. In: Graph Transformation : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings. Lecture Notes in Computer Science (9761). Springer International Publishing, Cham (Németország), pp. 137-152. ISBN 978-3-319-40530-8

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

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

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.

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.

This list was generated on Fri Mar 29 14:41:04 2024 CET.