István Ráth

According to our database, István Ráth authored at least 68 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Pragmatic verification and validation of industrial executable SysML models.

Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei

Syst. Eng., November, 2023

2020

Model checking as a service: towards pragmatic hidden formal methods.

Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Softw. Syst. Model., 2019

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Softw. Syst. Model., 2019

2018

The Train Benchmark: cross-technology performance evaluation of continuous model queries.

Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró

Softw. Syst. Model., 2018

Foundations for Streaming Model Transformations by Complex Event Processing.

István Dávid, István Ráth, Dániel Varró

Softw. Syst. Model., 2018

Secure Views for Collaborative Modeling.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

IEEE Softw., 2018

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems.

András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories.

Ábel Hegedüs, Gábor Bergmann, Csaba Debreceni, Ákos Horváth, Péter Lunk, Ákos Menyhért, István Papp, Dániel Varró, Tomas Vileiniskis, István Ráth

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2017

The MONDO collaboration framework: secure collaborative modeling over existing version control systems.

Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, Dániel Varró

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Property-Based Locking in Collaborative Modeling.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling.

Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework.

Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi

Softw. Syst. Model., 2016

Query-driven soft traceability links for models.

Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró

Softw. Syst. Model., 2016

MONDO: Scalable Modelling and Model Management on the Cloud.

Dimitrios S. Kolovos, Antonio García-Domínguez, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi

Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Query-based access control for secure collaborative modeling using bidirectional transformations.

Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Automated Model Merge by Design Space Exploration.

Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

EMF-IncQuery: An integrated development environment for live model queries.

Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári, Dániel Varró

Sci. Comput. Program., 2015

The TTC 2015 Train Benchmark Case for Incremental Model Validation.

Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró

Proceedings of the 8th Transformation Tool Contest, 2015

Train Benchmark Case: an EMF-INCQUERY Solution.

Gábor Szárnyas, Márton Búr, István Ráth

Proceedings of the 8th Transformation Tool Contest, 2015

Java Refactoring Case: A VIATRA Solution.

Dániel Stein, Gábor Szárnyas, István Ráth

Proceedings of the 8th Transformation Tool Contest, 2015

MONDO: Scalable Modelling and Model Management on the Cloud.

Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi

Proceedings of the Projects Showcase, 2015

Building a Hybrid Reactive Rule Engine for Relational and Graph Reasoning.

Mario Fusco, Davide Sottara, István Ráth, Mark Proctor

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Optimization of Incremental Queries in the Cloud.

Jozsef Makai, Gábor Szárnyas, István Ráth, Ákos Horváth, Dániel Varró

Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Property-Based Methods for Collaborative Model Development.

Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Viatra 3: A Reactive Model Transformation Platform.

Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

MONDO-SAM: A Framework to Systematically Assess MDE Scalability.

Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró

Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014

Query-driven incremental synchronization of view models.

Csaba Debreceni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Dániel Varró

Proceedings of the 2nd Workshop on View-Based, 2014

Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations.

Amine Benelallam, Massimo Tisi, István Ráth, Benedek Izsó, Dimitris S. Kolovos

Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014

IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud.

Gábor Szárnyas, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Streaming Model Transformations By Complex Event Processing.

István Dávid, István Ráth, Dániel Varró

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2013

PN2SC Case Study: An EMF-IncQuery solution.

Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth

Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

A research roadmap towards achieving scalability in model driven engineering.

Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Massimo Tisi, Jordi Cabot

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

IncQuery-D: incremental graph search in the cloud.

Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Towards precise metrics for predicting graph query performance.

Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Change-driven model transformations - Change (in) the rule to rule the change.

Gábor Bergmann, István Ráth, Gergely Varró, Dániel Varró

Softw. Syst. Model., 2012

Integrating Efficient Model Queries in State-of-the-Art EMF Tools.

Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Developing and visualizing live model queries.

Zoltán Ujhelyi, Tamás Szabó, István Ráth, Dániel Varró

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Ontology driven design of EMF metamodels and well-formedness constraints.

Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Query-Driven Soft Interconnection of EMF Models.

Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Incremental Pattern Matching for the Efficient Computation of Transitive Closure.

Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró

Proceedings of the Graph Transformations - 6th International Conference, 2012

Derived Features for EMF by Integrating Advanced Model Queries.

István Ráth, Ábel Hegedüs, Dániel Varró

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Eseményvezérelt modelltranszformációk szakterület-specifikus nyelvekben

István Ráth

PhD thesis, 2011

Quick fix generation for DSMLs.

Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco, Dániel Varró

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

A model-driven framework for guided design space exploration.

Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Implementing efficient model validation in EMF tools.

Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A Graph Query Language for EMF Models.

Gábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró

Proceedings of the Theory and Practice of Model Transformations, 2011

Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery.

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

The Sensoria Development Environment.

Philip Mayer, István Ráth

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.

Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Experimental assessment of combining pattern matching strategies with VIATRA2.

Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró

Int. J. Softw. Tools Technol. Transf., 2010

Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations.

István Ráth, András Ökrös, Dániel Varró

Softw. Syst. Model., 2010

Stochastic Graph Transformation with Regions.

Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Visualization of Traceability Models with Domain-specific Layouting.

Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Ákos Horváth

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Back-annotation of Simulation Traces with Change-Driven Model Transformations.

Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Incremental Evaluation of Model Queries over EMF Models.

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, András Ökrös

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Model-based Integration Framework for Development and Testing Tool-chains.

Balázs Polgár, István Ráth, István Majzik

Proceedings of the FORMS/FORMAT 2010, 2010

Stochastic Simulation of Graph Transformation Systems.

Paolo Torrini, Reiko Heckel, István Ráth

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Workflow-Driven Tool Integration Using Model Transformations.

András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System.

Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009

Parallelization of Graph Transformation Based on Incremental Pattern Matching.

Gábor Bergmann, István Ráth, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Change-Driven Model Transformations.

István Ráth, Gergely Varró, Dániel Varró

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Efficient Model Transformations by Combining Pattern Matching Strategies.

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the Theory and Practice of Model Transformations, 2009

2008

Design-time simulation of domain-specific models by incremental pattern matching.

István Ráth, David Vago, Dániel Varró

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Incremental pattern matching in the viatra model transformation system.

Gábor Bergmann, András Ökrös, István Ráth, Dániel Varró, Gergely Varró

Proceedings of the Third International Workshop on Graph and Model Transformations, 2008

Live Model Transformations Driven by Incremental Pattern Matching.

István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró

Proceedings of the Theory and Practice of Model Transformations, 2008

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the Graph Transformations, 4th International Conference, 2008