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
2032013
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
1812015
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
1492016
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
1202008
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
1032011
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
1022012
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
972015
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
812008
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
792018
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
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
722014
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
592010
Foundations for streaming model transformations by complex event processing
I Dávid, I Ráth, D Varró
Software & Systems Modeling 17, 135-162, 2018
572018
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
492009
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
482010
Stochastic simulation of graph transformation systems
P Torrini, R Heckel, I Ráth
Fundamental Approaches to Software Engineering: 13th International …, 2010
442010
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
312014
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
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
282010
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
252012
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
232015
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
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
222013
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
222012
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
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
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
192017
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
192012
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
192012
Challenges for advanced domain-specific modeling frameworks
I Ráth, D Varró
Proc. of Workshop on Domain-Specific Program Development (DSPD), ECOOP, 2006
192006
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
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
152019
Massif-the love child of Matlab Simulink and Eclipse
Á Horváth, I Ráth, RR Starr
EclipseCon NA, 2015
152015
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
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
122018
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
122011
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
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
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
72023
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
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
Optimization of incremental queries in the cloud
J Makai, G Szárnyas, IZ Ráth, D Varró, Á Horváth
62015
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery.
G Bergmann, Á Horváth, I Ráth, D Varró
ECMFA, 389-390, 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
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, 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
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
DESIGN-TIME SIMULATION OF DOMAIN-SPECIFIC MODELS BY INTERACTIVE MODEL TRANSFORMATIONS
R István
15TH PHD MINI-SYMPOSIUM, 58, 2008
2008
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