| 2020 | MODELS | Model checking as a service: towards pragmatic hidden formal methods. | Benedek Horvth, Bence Graics, kos Hajdu, Zoltn Micskei, Vince Molnr, Istvn Rth, Luigi Andolfato, Ivan Gomes, Robert Karban |
| 2018 | MODELS | Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. | bel Hegeds, Gbor Bergmann, Csaba Debreceni, kos Horvth, Pter Lunk, kos Menyhrt, Istvn Papp, Dniel Varr, Tomas Vileiniskis, Istvn Rth |
| 2017 | MODELS | Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling. | Gbor Bergmann, Csaba Debreceni, Istvn Rth, Dniel Varr |
| 2017 | MODELS | Property-Based Locking in Collaborative Modeling. | Csaba Debreceni, Gbor Bergmann, Istvn Rth, Dniel Varr |
| 2016 | FASE | Automated Model Merge by Design Space Exploration. | Csaba Debreceni, Istvn Rth, Dniel Varr, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo |
| 2016 | MODELS | Query-based access control for secure collaborative modeling using bidirectional transformations. | Gbor Bergmann, Csaba Debreceni, Istvn Rth, Dniel Varr |
| 2016 | MODELS | Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules. | Csaba Debreceni, Gbor Bergmann, Istvn Rth, Dniel Varr |
| 2015 | MODELS | Property-Based Methods for Collaborative Model Development. | Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, Istvn Rth, Rick Salay, Dniel Varr |
| 2015 | MODELS | Optimization of Incremental Queries in the Cloud. | Jozsef Makai, Gbor Szrnyas, Istvn Rth, kos Horvth, Dniel Varr |
| 2014 | MODELS | Streaming Model Transformations By Complex Event Processing. | Istvn Dvid, Istvn Rth, Dniel Varr |
| 2014 | MODELS | IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. | Gbor Szrnyas, Benedek Izs, Istvn Rth, Dnes Harmath, Gbor Bergmann, Dniel Varr |
| 2012 | MODELS | Query-Driven Soft Interconnection of EMF Models. | bel Hegeds, kos Horvth, Istvn Rth, Dniel Varr |
| 2012 | MODELS | Ontology driven design of EMF metamodels and well-formedness constraints. | Benedek Izs, Zoltn Szatmri, Gbor Bergmann, kos Horvth, Istvn Rth, Dniel Varr |
| 2012 | MODELS | Developing and visualizing live model queries. | Zoltn Ujhelyi, Tams Szab, Istvn Rth, Dniel Varr |
| 2010 | FASE | Stochastic Simulation of Graph Transformation Systems. | Paolo Torrini, Reiko Heckel, Istvn Rth |
| 2010 | MODELS | Incremental Evaluation of Model Queries over EMF Models. | Gbor Bergmann, kos Horvth, Istvn Rth, Dniel Varr, Andrs Balogh, Zoltn Balogh, Andrs krs |
| 2010 | SEFM | Back-annotation of Simulation Traces with Change-Driven Model Transformations. | bel Hegeds, Gbor Bergmann, Istvn Rth, Dniel Varr |
| 2009 | MODELS | Change-Driven Model Transformations. | Istvn Rth, Gergely Varr, Dniel Varr |
| 2008 | ICSE | Incremental pattern matching in the viatra model transformation system. | Gbor Bergmann, Andrs krs, Istvn Rth, Dniel Varr, Gergely Varr |