István Ráth

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 18

Top Topics

Model Validation

Top Venues

Softw. Syst. Model.

Publications

Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26 (6) (2023)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. 18 (3) (2019)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. 18 (3) (2019)
István Dávid, István Ráth, Dániel Varró
Foundations for Streaming Model Transformations by Complex Event Processing. Softw. Syst. Model. 17 (1) (2018)
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ó
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM (2018)
Á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
Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. MoDELS (Companion) (2018)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Secure Views for Collaborative Modeling. IEEE Softw. 35 (6) (2018)
Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. 17 (4) (2018)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Property-Based Locking in Collaborative Modeling. MoDELS (2017)
Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró
Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling. MoDELS (Satellite Events) (2017)
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, Dániel Varró
The MONDO collaboration framework: secure collaborative modeling over existing version control systems. ESEC/SIGSOFT FSE (2017)
Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15 (3) (2016)
Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró
Query-driven soft traceability links for models. Softw. Syst. Model. 15 (3) (2016)
Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró
Query-based access control for secure collaborative modeling using bidirectional transformations. MoDELS (2016)
Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo
Automated Model Merge by Design Space Exploration. FASE (2016)
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
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase (2016)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules. COMMitMDE@MoDELS (2016)
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
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Projects Showcase (2015)
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ó
EMF-IncQuery: An integrated development environment for live model queries. Sci. Comput. Program. 98 (2015)
Gábor Szárnyas, Márton Búr, István Ráth
Train Benchmark Case: an EMF-INCQUERY Solution. TTC@STAF (2015)
Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Viatra 3: A Reactive Model Transformation Platform. ICMT (2015)
Mario Fusco, Davide Sottara, István Ráth, Mark Proctor
Building a Hybrid Reactive Rule Engine for Relational and Graph Reasoning. RuleML (2015)
Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró
Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS (2015)
Jozsef Makai, Gábor Szárnyas, István Ráth, Ákos Horváth, Dániel Varró
Optimization of Incremental Queries in the Cloud. CloudMDE@MoDELS (2015)
Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró
The TTC 2015 Train Benchmark Case for Incremental Model Validation. TTC@STAF (2015)
Dániel Stein, Gábor Szárnyas, István Ráth
Java Refactoring Case: A VIATRA Solution. TTC@STAF (2015)
Gábor Szárnyas, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró
IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. MoDELS (2014)
Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró
MONDO-SAM: A Framework to Systematically Assess MDE Scalability. BigMDE@STAF (2014)
Csaba Debreceni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Dániel Varró
Query-driven incremental synchronization of view models. VAO@STAF (2014)
István Dávid, István Ráth, Dániel Varró
Streaming Model Transformations By Complex Event Processing. MoDELS (2014)
Amine Benelallam, Massimo Tisi, István Ráth, Benedek Izsó, Dimitris S. Kolovos
Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations. BigMDE@STAF (2014)
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
A research roadmap towards achieving scalability in model driven engineering. BigMDE@STAF (2013)
Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth
PN2SC Case Study: An EMF-IncQuery solution. TTC (2013)
Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró
IncQuery-D: incremental graph search in the cloud. BigMDE@STAF (2013)
Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth
Towards precise metrics for predicting graph query performance. ASE (2013)
Zoltán Ujhelyi, Tamás Szabó, István Ráth, Dániel Varró
Developing and visualizing live model queries. AMT@MoDELS (2012)
Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró
Incremental Pattern Matching for the Efficient Computation of Transitive Closure. ICGT (2012)
István Ráth, Ábel Hegedüs, Dániel Varró
Derived Features for EMF by Integrating Advanced Model Queries. ECMFA (2012)
Gábor Bergmann, István Ráth, Gergely Varró, Dániel Varró
Change-driven model transformations - Change (in) the rule to rule the change. Softw. Syst. Model. 11 (3) (2012)
Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
Query-Driven Soft Interconnection of EMF Models. MoDELS (2012)
Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Integrating Efficient Model Queries in State-of-the-Art EMF Tools. TOOLS (50) (2012)
Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Ontology driven design of EMF metamodels and well-formedness constraints. OCL@MoDELS (2012)
Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco, Dániel Varró
Quick fix generation for DSMLs. VL/HCC (2011)
Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
A model-driven framework for guided design space exploration. ASE (2011)
Gábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró
A Graph Query Language for EMF Models. ICMT@TOOLS (2011)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. ECMFA (2011)
Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Implementing efficient model validation in EMF tools. ASE (2011)
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ó
Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering (2010)
Balázs Polgár, István Ráth, István Majzik
Model-based Integration Framework for Development and Testing Tool-chains. FORMS/FORMAT (2010)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, András Ökrös
Incremental Evaluation of Model Queries over EMF Models. MoDELS (1) (2010)
István Ráth, András Ökrös, Dániel Varró
Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations. Softw. Syst. Model. 9 (4) (2010)
Paolo Torrini, Reiko Heckel, István Ráth
Stochastic Simulation of Graph Transformation Systems. FASE (2010)
Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann
Stochastic Graph Transformation with Regions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Ákos Horváth
Visualization of Traceability Models with Domain-specific Layouting. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró
Experimental assessment of combining pattern matching strategies with VIATRA2. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)
Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. ASMTA (2010)
Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró
Back-annotation of Simulation Traces with Change-Driven Model Transformations. SEFM (2010)
István Ráth, Gergely Varró, Dániel Varró
Change-Driven Model Transformations. MoDELS (2009)
Gábor Bergmann, István Ráth, Dániel Varró
Parallelization of Graph Transformation Based on Incremental Pattern Matching. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT@TOOLS (2009)
István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró
Live Model Transformations Driven by Incremental Pattern Matching. ICMT@TOOLS (2008)
István Ráth, David Vago, Dániel Varró
Design-time simulation of domain-specific models by incremental pattern matching. VL/HCC (2008)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. ICGT (2008)
Gábor Bergmann, András Ökrös, István Ráth, Dániel Varró, Gergely Varró
Incremental pattern matching in the viatra model transformation system. GRaMoT@ICSE (2008)