Követés
István Ráth
István Ráth
Research associate, Budapest University of Technology and Economics; CEO, IncQuery Labs Ltd
E-mail megerősítve itt: mit.bme.hu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
A research roadmap towards achieving scalability in model driven engineering
DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ...
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013
1982013
EMF-IncQuery: An integrated development environment for live model queries
Z Ujhelyi, G Bergmann, Á Hegedüs, Á Horváth, B Izsó, I Ráth, Z Szatmári, ...
Science of Computer Programming 98, 80-99, 2015
1792015
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
D Varró, G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi
Software & Systems Modeling 15, 609-629, 2016
1432016
Incremental evaluation of model queries over EMF models
G Bergmann, Á Horváth, I Ráth, D Varró, A Balogh, Z Balogh, A Ökrös
Model Driven Engineering Languages and Systems: 13th International …, 2010
1392010
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22 (3), 399-436, 2015
1352015
Incremental pattern matching in the VIATRA model transformation system
G Bergmann, A Ökrös, I Ráth, D Varró, G Varró
Proceedings of the third international workshop on Graph and model …, 2008
1182008
A graph query language for EMF models
G Bergmann, Z Ujhelyi, I Ráth, D Varró
Theory and Practice of Model Transformations: 4th International Conference …, 2011
1052011
Change-driven model transformations: Change (in) the rule to rule the change
G Bergmann, I Ráth, G Varró, D Varró
Software & Systems Modeling 11, 431-461, 2012
1032012
Viatra 3: A Reactive Model Transformation Platform
G Bergmann, I Dávid, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
Theory and Practice of Model Transformations: 8th International Conference …, 2015
962015
Live model transformations driven by incremental pattern matching
I Ráth, G Bergmann, A Ökrös, D Varró
Theory and Practice of Model Transformations: First International Conference …, 2008
822008
A benchmark evaluation of incremental pattern matching in graph transformation
G Bergmann, Á Horváth, I Ráth, D Varró
International Conference on Graph Transformation, 396-410, 2008
792008
The Train Benchmark: cross-technology performance evaluation of continuous model queries
G Szárnyas, B Izsó, I Ráth, D Varró
Software & Systems Modeling 17, 1365-1393, 2018
782018
Quick fix generation for DSMLs
Á Hegedüs, Á Horváth, I Ráth, MC Branco, D Varró
2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2011
782011
IncQuery-D: A distributed incremental model query framework in the cloud
G Szárnyas, B Izsó, I Ráth, D Harmath, G Bergmann, D Varró
Model-Driven Engineering Languages and Systems: 17th International …, 2014
692014
Back-annotation of simulation traces with change-driven model transformations
Á Hegedüs, G Bergmann, I Ráth, D Varró
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
602010
Foundations for streaming model transformations by complex event processing
I Dávid, I Ráth, D Varró
Software & Systems Modeling 17, 135-162, 2018
562018
Synchronization of abstract and concrete syntax in domain-specific modeling languages: By mapping models and live transformations
I Ráth, A Ökrös, D Varró
Software & Systems Modeling 9, 453-471, 2010
502010
Change-Driven Model Transformations: Derivation and Processing of Change Histories
I Ráth, G Varró, D Varró
Model Driven Engineering Languages and Systems: 12th International …, 2009
502009
Stochastic simulation of graph transformation systems
P Torrini, R Heckel, I Ráth
Fundamental Approaches to Software Engineering: 13th International …, 2010
432010
Automated model merge by design space exploration
C Debreceni, I Ráth, D Varró, X De Carlos, X Mendialdua, S Trujillo
International Conference on Fundamental Approaches to Software Engineering …, 2016
412016
Query-driven incremental synchronization of view models
C Debreceni, Á Horváth, Á Hegedüs, Z Ujhelyi, I Ráth, D Varró
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and …, 2014
402014
Parallelization of graph transformation based on incremental pattern matching
G Bergmann, I Ráth, D Varró
Electronic Communications of the EASST 18, 2009
372009
Design-time simulation of domain-specific models by incremental pattern matching
I Ráth, D Vágó, D Varró
2008 IEEE Symposium on Visual Languages and Human-Centric Computing, 219-222, 2008
372008
Experimental assessment of combining pattern matching strategies with VIATRA2
A Horváth, G Bergmann, I Ráth, D Varró
International Journal on Software Tools for Technology Transfer 12, 211-230, 2010
322010
Query-based access control for secure collaborative modeling using bidirectional transformations
G Bergmann, C Debreceni, I Ráth, D Varró
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
312016
Streaming model transformations by complex event processing
I Dávid, I Ráth, D Varró
Model-Driven Engineering Languages and Systems: 17th International …, 2014
302014
Workflow-driven tool integration using model transformations
A Balogh, G Bergmann, G Csertán, L Gönczy, A Horváth, I Majzik, ...
Graph Transformations and Model-Driven Engineering: Essays Dedicated to …, 2010
302010
Model-based integration, execution and certification of development tool-chains
B Polgár, I Ráth, Z Szatmári, A Horvath, I Majzik
Model Driven Tool and Process Integration 35, 2009
302009
IncQuery-D: incremental graph search in the cloud.
B Izsó, G Szárnyas, I Ráth, D Varró
BigMDE@ STAF, 4, 2013
262013
Derived features for EMF by integrating advanced model queries
I Ráth, Á Hegedüs, D Varró
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012
242012
Towards precise metrics for predicting graph query performance
B Izsó, Z Szatmári, G Bergmann, Á Horváth, I Ráth
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
232013
Incremental pattern matching for the efficient computation of transitive closure
G Bergmann, I Ráth, T Szabó, P Torrini, D Varró
International Conference on Graph Transformation, 386-400, 2012
232012
Integrating efficient model queries in state-of-the-art EMF tools
G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
232012
MONDO: scalable modelling and model management on the cloud
DS Kolovos, LM Rose, RF Paige, EM Guerra, JS Cuadrado, JM de Lara, ...
STAF2015 Project Showcase, 2015
222015
Query-driven soft traceability links for models
Á Hegedüs, Á Horváth, I Ráth, RR Starr, D Varró
Software & Systems Modeling 15, 733-756, 2016
212016
Replaying execution trace models for dynamic modeling languages
Á Hegedüs, I Ráth, D Varró
Periodica Polytechnica Electrical Engineering and Computer Science 56 (3), 71-82, 2012
212012
The TTC 2015 Train Benchmark Case for Incremental Model Validation.
G Szárnyas, O Semeráth, I Ráth, D Varró
TTC@ STAF, 129-141, 2015
202015
Efficient model transformations by combining pattern matching strategies
G Bergmann, A Horváth, I Ráth, D Varró
Theory and Practice of Model Transformations: Second International …, 2009
202009
Challenges for advanced domain-specific modeling frameworks
I Ráth, D Varró
Proc. of Workshop on Domain-Specific Program Development (DSPD), ECOOP, 2006
202006
Modes3: model-based demonstrator for smart and safe cyber-physical systems
A Vörös, M Búr, I Ráth, Á Horváth, Z Micskei, L Balogh, B Hegyi, B Horváth, ...
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
182018
The MONDO collaboration framework: secure collaborative modeling over existing version control systems
C Debreceni, G Bergmann, M Búr, I Ráth, D Varró
Proceedings of the 2017 11th joint meeting on foundations of software …, 2017
182017
Query-driven soft interconnection of EMF models
Á Hegedüs, Á Horváth, I Ráth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2012
172012
Property-based locking in collaborative modeling
C Debreceni, G Bergmann, I Ráth, V Dániel
2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017
162017
Model-based stochastic simulation of P2P VoIP using graph transformation system
A Khan, R Heckel, P Torrini, I Ráth
Analytical and Stochastic Modeling Techniques and Applications: 17th …, 2010
162010
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
C Debreceni, G Bergmann, I Ráth, D Varró
Software & Systems Modeling 18, 1737-1769, 2019
142019
Massif-the love child of Matlab Simulink and Eclipse
Á Horváth, I Ráth, RR Starr
EclipseCon NA, 2015
142015
MONDO-SAM: A Framework to Systematically Assess MDE Scalability.
B Izsó, G Szárnyas, I Ráth, D Varró
BigMDE@ STAF, 40-43, 2014
142014
The VIATRA2 model transformation framework
A Balogh, A Németh, A Schmidt, I Rath, D Vágó, D Varró, A Pataricza
Proceedings of the European Conference on Model Driven Architecture (ECMDA’05), 2005
142005
Model checking as a service: towards pragmatic hidden formal methods
B Horváth, B Graics, Á Hajdu, Z Micskei, V Molnár, I Ráth, L Andolfato, ...
Proceedings Of The 23rd ACM/IEEE International Conference On Model Driven …, 2020
122020
Property-based methods for collaborative model development
M Chechik, F Dalpiaz, C Debreceni, J Horkoff, IZ Ráth, D Varró
CEUR-WS. org, 2015
112015
Implementing efficient model validation in EMF tools
G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
112011
Incquery server for teamwork cloud: Scalable query evaluation over collaborative model repositories
Á Hegedüs, G Bergmann, C Debreceni, Á Horváth, P Lunk, Á Menyhért, ...
Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018
102018
Declarative specification of domain specific visual languages
I Rath, D Varro
Master's Thesis 129, 2006
102006
Towards an open set of real-world benchmarks for model queries and transformations
A Benelallam, M Tisi, I Ráth, B Izso, DS Kolovos
BigMDE, 2014
82014
Secure views for collaborative modeling
C Debreceni, G Bergmann, I Ráth, D Varró
IEEE Software 35 (6), 32-38, 2018
72018
Deriving effective permissions for modeling artifacts from fine-grained access control rules
C Debreceni, G Bergmann, IZ Ráth, D Varró
72016
Stochastic graph transformation with regions
P Torrini, R Heckel, I Rath, G Bergmann
Electronic Communications of the EASST 29, 2010
72010
Pragmatic verification and validation of industrial executable SysML models
B Horváth, V Molnár, B Graics, Á Hajdu, I Ráth, Á Horváth, R Karban, ...
Systems Engineering 26 (6), 693-714, 2023
62023
Towards efficient evaluation of rule-based permissions for fine-grained access control in collaborative modeling
G Bergmann, C Debreceni, I Ráth, D Varró
62017
Distributed and heterogeneous event-based monitoring in smart cyber-physical systems
L Balogh, I Dávid, I Ráth, D Varró, A Vörös
1st Workshop on Monitoring and Testing of Cyber-Physical Systems, Vienna …, 2016
62016
Incremental evaluation of model queries over emf models: A tutorial on emf-incquery
G Bergmann, Á Horváth, I Ráth, D Varró
Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 …, 2011
62011
From bpel to sal and back: a tool demo on back-annotation with viatra2
A Hegedüs, I Ráth, D Varró
8th International Conference on Software Engineering and Formal Methods, 2010
62010
Back-annotation framework for simulation traces of discrete event-based languages
Á Hegedüs, I Ráth, D Varró
BME, Tech. Rep., April, 2010
62010
Optimization of incremental queries in the cloud
J Makai, G Szárnyas, IZ Ráth, D Varró, Á Horváth
52015
Model-based Integration Framework for Development and Testing Tool-chains
B Polgár, I Ráth, I Majzik
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and …, 2011
52011
Experimental assessment of combining pattern matching strategies with VIATRA2
G Bergmann, A Horváth, I Ráth, D Varró
Journal of Software Tools in Technology Transfer, 2009
52009
Automated model transformations in domain specific visual languages
I Ráth, A Schmidt, D Vágó, D Varró
Scientific Students’ Associations Report, 2005
52005
Java Refactoring Case: A VIATRA Solution.
D Stein, G Szárnyas, I Ráth
TTC@ STAF, 100-117, 2015
42015
Superscalable modeling
G Szárnyas, I Ráth, B Izsó, D Varró
Master’s thesis, Budapest University of Technology and Economics, Budapest, 2013
42013
Event-driven model transformations in domain-specific modeling languages
I Ráth
PQDT-Global, 2011
42011
The Sensoria Development Environment
P Mayer, I Ráth
Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011
42011
Advances in model transformations by graph transformation: Specification, execution and analysis
G Bergmann, A Boronat, R Heckel, P Torrini, I Ráth, D Varró
Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011
42011
Decreasing your coffee consumption with incremental code regeneration
A Horváth, I Ráth, A Hegedüs, A Balogh
EclipseCon France, 2015
32015
Incremental Static Analysis of Large Source Code Repositories
D Stein, G Szárnyas, I Ráth
Architecture 22, 1, 2014
22014
Developing and visualizing live model queries
Z Ujhelyi, T Szabó, I Ráth, D Varró
Proceedings of the First Workshop on the Analysis of Model Transformations …, 2012
22012
Ontology driven design of EMF metamodels and well-formedness constraints
B Izsó, Z Szatmári, G Bergmann, Á Horváth, I Ráth, D Varró
Proceedings of the 12th Workshop on OCL and Textual Modelling, 37-42, 2012
22012
Design-time Simulation of Domain-specific Models by Interactive Model Transformations
R István
15th PhD Mini-Symposium, 58, 2008
22008
Natural Language Understanding of Systems Engineering Artifacts
G Kulcsár, O Constant, G Pruvost, I Ráth, M Füzesi, D Harmath
INCOSE International Symposium 32 (1), 1373-1387, 2022
12022
Train Benchmark Case: an EMF-INCQUERY Solution.
G Szárnyas, M Búr, I Ráth
TTC@ STAF, 157-166, 2015
12015
Building a hybrid reactive rule engine for relational and graph reasoning
M Fusco, D Sottara, I Ráth, M Proctor
Rule Technologies: Foundations, Tools, and Applications: 9th International …, 2015
12015
PN2SC case study: an EMF-IncQuery solution
B Izsó, Á Hegedüs, G Bergmann, Á Horváth, I Ráth
arXiv preprint arXiv:1312.0354, 2013
12013
Incremental Model Queries over EMF Models
G Bergmann, A Horváth, I Ráth, D Varró, A Balogh, Z Balogh, A Okrös
Model Driven Engineering Languages and Systems, 0
1
Bridging the Design Gap: Next-level Automation in Automotive Design with the IncQuery AUTOSAR-UML Bridge
G Kulcsár, I Ráth, B Grill, Á Horváth
SAE Technical Paper, 2024
2024
The Quest for an Open Digital Thread: Challenges and Practices
G Kulcsár, I Ráth, P Lunk
INCOSE International Symposium 33 (1), 1586-1599, 2023
2023
BigMDE 2015
D Kolovos, D Di Ruscio, N Matragkas, JS Cuadrado, I Rath, M Tisi
2015
Optimization of Incremental Queries in the Cloud–Technical Report
J Makai, G Szárnyas, A Horváth, I Ráth, D Varró
2015
BigMDE 2014 2 nd Workshop on Scalable Model Driven Engineering
D Kolovos, D Di Ruscio, N Matragkas, J De Lara, I Rath, M Tisi
2014
PREDICTING GRAPH QUERY PERFORMANCE BY METRICS
I Benedek
21ST PHD MINI-SYMPOSIUM, 24, 2014
2014
Incremental dependency analysis of a large software infrastructure
D Csikós, I Ráth, Á Horváth
2012
Visualization of Traceability Models with Domain-specific Layouting
Á Hegedüs, Z Ujhelyi, I Ráth, Á Horváth
Electronic Communications of the EASST 32, 2010
2010
Declarative mapping between concrete and abstract syntax of domain-specific visual languages1
I Ráth
CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 89, 2006
2006
dspd2006_rv (In proceedings)
I Ráth, D Varró
2006
ecmda05_viatra (In proceedings)
A Balogh, A Németh, A Schmidt, I Rath, D Vágó, D Varró, A Pataricza
2005
INCQUERY
E Roth
INC-BOSTON MA- 24 (12), 96-99, 2002
2002
MODELLTRANSZFORMÁCIÓK INTEGRÁLT ALKALMAZÁSA DOMAIN-SPECIFIKUS NYELVEKBEN
R István
Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben
R István
Eclipse Rich AJAX Platform alapú webalkalmazások teljesítmény analízise BSc szakdolgozat
Á László, R István
CHALLENGES FOR ADVANCED DOMAIN-SPECIFIC MODELING FRAMEWORKS
R István
Szoftver modellek követelmény-verifikációjának támogatása ontológiák segítségével
MIT Horváth Ákos, MIT Polgár Balázs, R István
fejlesztése
S István
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–100