Publications
Filters: First Letter Of Last Name is R [Clear All Filters]
"The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Queries",
Software and Systems Modeling, vol. 17, issue 4, 2018.
"Visualization of Traceability Models with Domain-specific Layouting",
Electronic Communications of the EASST, Proceedings of the Fourth International Workshop on Graph-Based Tools, vol. 32, 04/2011.
Abstract
"Applying MDA approach for the SA Forum platform",
3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
"Automated Formal Verification of Model Transformations",
CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop, no. TUM-I0323: Technische Universität München, pp. 63–78, September, 2003.
Abstract
"Automated Model Merge by Design Space Exploration",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"Back-annotation of Simulation Traces with Change-Driven Model Transformations",
Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010.
Abstract
Acceptance rate: 22%
"A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation",
Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.
Abstract
Acceptance rate: ~40%
"Challenges for advanced domain-specific modeling frameworks",
Proceedings of the 14th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 118-120, 2007.
"Challenges for Advanced Domain-Specific Modeling Frameworks",
International Workshop on Domain Specific Program Development (DSPD 2006), Nantes, France, July, 2006.
Abstract
"Change-Driven Model Transformations",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 342-356, 2009.
Abstract
Springer Best Paper Award and ACM Distinguished Paper Award
Acceptance rate: 18%
"Completeness and Consistency Analysis of UML Statechart Specifications",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.
"Declarative mapping between abstract and concrete syntax of domain-specific visual languages",
The Proceedings of the Fifth Conference of PhD Students in Computer Science, 2006.
"Derived Features for EMF by Integrating Advanced Model Queries",
8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, Springer, 06/2012.
Abstract
Acceptance rate: 31%
"Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules",
1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/2016.
"Design-time simulation of domain-specific modeling languages by interactive model transformation",
Proceedings of the 15th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 58–62, 2008.
"Design-time simulation of domain-specific models by incremental pattern matching",
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings: IEEE, pp. 219-222, 2008.
Abstract
Acceptance rate: 29%
"Developing and Visualizing Live Model Queries",
1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018.
Abstract
"An Eclipse-Based Framework for AIS Service Configurations",
Proc. 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, vol. 4526: Springer, pp. 110-126, 2007.
Abstract
Acceptance rate: 44%
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"Efficient Model Transformations by Combining Pattern Matching Strategies",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563: Springer, pp. 20-34, 2009.
Abstract
Acceptance rate: 22%
"Enhancing design-time model execution in domain-specific languages by incremental pattern matching",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 16–20, 2009.
"A Formal Semantics of UML Statecharts by Model Transition Systems",
Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 378–392, October 7–12, 2002.
Abstract
"A formal specification method for PLC-based applications",
Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 907-910, 10/2015.
"A Graph Query Language for EMF models",
Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707: Springer, pp. 167-182, 2011.
Abstract
Acceptance rate: 27%