Publications
] Filters: First Letter Of Last Name is R [Clear All Filters]
"Towards the Verification of Neural Networks for Critical Cyber-Physical Systems",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, 2018.
"Synchronization of abstract and concrete syntax in domain-specific modeling languages",
Software and Systems Modeling, vol. 9, issue 4, pp. 453-471, 2010.
Abstract
"Challenges for Advanced Domain-Specific Modeling Frameworks",
International Workshop on Domain Specific Program Development (DSPD 2006), Nantes, France, July, 2006.
Abstract
"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.
"Modelltranszformációk integrált alkalmazása domain-specifikus nyelvekben",
Tavaszi Szél Konferenciakiadvány, 2009.
Declarative Specification of Domain Specific Visual Languages,
: Budapest University of Technology and Economics, 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%
"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%
"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.
Software Engineering for Service-Oriented Overlay Computers,
: Springer, 2009.
"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.
"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%
"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.
"Live Model Transformations Driven by Incremental Pattern Matching",
Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008.
Abstract
Acceptance rate: 31%
Automated Model Transformations in Domain Specific Visual Languages,
, October, 2005.
"Backward reachability analysis for timed automata with data variables",
Proceedings of the 18th International Workshop on Automated Verification of Critical Systems, vol. 76, Oxford, England, EASST, pp. 1-20, 2018.
"Model Checking Graph Transformations: A Comparison of Two Approaches",
Proc. ICGT 2004: Second International Conference on Graph Transformation, vol. 3256, Rome, Italy, Springer, pp. 226–241, 2004.
Abstract
