Contains the keyword Viatra

Nagy A, Varró D. Effects of Graph Transformation Rules to Design Space Exploration Problems. In: Proceedings of the 24th PhD Mini-Symposium. Budapest: Budapest University of Technology and Economics, Department of Measurement and Information Systems; 2017.
Varró D. Incremental Queries and Transformations: From Concepts to Industrial Applications. In: Freivalds R M, Engels G, Catania B, editors. SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Vol 9587. Harrachov, Czech Republic: Springer; 2016. p. 51-9. (LNCS; vol 9587). Abstract
Ujhelyi Z, Bergmann G, Varró D. Rete Network Slicing for Model Queries. Vol 9761. Echahed R, Minas M, editors. Vienna, Austria: Springer International Publishing; 2016. (Lecture Notes in Computer Science; vol 9761). Abstract
Bergmann G, Dávid I, Hegedüs Á, Horváth Á, Ráth I, Ujhelyi Z, et al. Viatra 3 : A Reactive Model Transformation Platform. In: 8th International Conference on Model Transformations. L'Aquila, Italy: Springer; 2015. Abstract
Horváth Á, Hegedüs Á, Búr M, Varró D, Starr R, Mirachi S. Hardware-software allocation specification of IMA systems for early simulation. In: Digital Avionics Systems Conference (DASC). Colorado Spings, Colorado, US: IEEE; 2014. Abstract
Dávid I, Ráth I, Varró D. Streaming Model Transformations By Complex Event Processing. In: Dingel J, Schulte W, editors. ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014. Valencia, Spain: Springer; 2014.
Acceptance rate: 26%
Semeráth O, Horváth Á, Varró D. Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver. In: ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems. Miami, US: Springer LNCS 8107; 2013. Abstract
ACM/IEEE Best Paper Award, Acceptance rate: 26% Additional information available at http://incquery.net/content/validation-derived-features-and-well-formedn...
Syndicate content