Contains the keyword Viatra
A Model-driven Framework for Guided Design Space Exploration. In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). Lawrence, Kansas, USA: IEEE Computer Society; 2011. Abstract
ACM Distinguished Paper Award, Acceptance rate: 15%
Quick fix generation for DSMLs. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011. Pittsbourgh, PA, USA: IEEE Computer Society; 2011. Abstract
Acceptance rate: 33%
Towards Dynamic Backward Slicing of Model Transformations. In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). Lawrence, Kansas: IEEE Computer Society; 2011.
Towards Guided Trajectory Exploration of Graph Transformation Systems. Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010. 2011;40. Abstract
Visualization of Traceability Models with Domain-specific Layouting. Electronic Communications of the EASST, Proceedings of the Fourth International Workshop on Graph-Based Tools. 2011;32. Abstract
Static Type Checking of Model Transformation Programs. Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium. 2011;38. Abstract
Static Type Checking of Model Transformation Programs. In: ICGT'10 Doctoral Symposium. University of Twente, Enschede, The Netherlands: Springer Berlin / Heidelberg; 2010. p. 413-5.
Back-annotation of Simulation Traces with Change-Driven Model Transformations. In: Proceedings of the Eighth International Conference on Software Engineering and Formal Methods. Pisa: IEEE Computer Society; 2010. p. 145-55. Abstract
Acceptance rate: 22%
Incremental Evaluation of Model Queries over EMF Models. In: Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10. Springer; 2010.
Acceptance rate: 21%
Stochastic Simulation of Graph Transformation Systems. In: Proc. of FASE2010, Fundamental Approaches to Software Engineering.; 2010.
Accepted.
