Varró Dániel

2014
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., "MONDO-SAM: A Framework to Systematically Assess MDE Scalability", BigMDE 2014 2nd Workshop on Scalable Model Driven Engineering: ACM, 2014.
Micskei, Z., Konnerth, R-A., Horváth, B., Semeráth, O., Vörös, A., and Varró, D., "On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf", 1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
Dávid, I., Ráth, I., and Varró, D., "Streaming Model Transformations By Complex Event Processing", ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
Hegedüs, Á., "Back-annotation of Execution Sequences by Advanced Search and Traceability Techniques", Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, 06/2014. Abstract
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., Train Benchmark Technical Report, : Budapest University of Technology and Economics, 2014.
2013
Semeráth, O., Horváth, Á., and Varró, D., "Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver", ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems, Miami, US, Springer LNCS 8107, 09/2013. Abstract
ACM/IEEE Best Paper Award, Acceptance rate: 26% Additional information available at http://incquery.net/content/validation-derived-features-and-well-formedn...
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., "IncQuery-D: Incremental Graph Search in the Cloud", Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE, Budapest, Hungary, ACM, 2013.
Szárnyas, G., "Superscalable Modeling", Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
Bergmann, G., Incremental Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
2012
Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract
10.1007/978-3-642-29749-6_8
Bergmann, G., Ráth, I., Varró, G., and Varró, D., "Change-driven model transformations. Change (in) the rule to rule the change.", Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
Horváth, Á., and Varró, D., "Dynamic constraint satisfaction problems over models", Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012. Abstract
Hegedüs, Á., Ráth, I., and Varró, D., "Replaying Execution Trace Models for Dynamic Modeling Languages", Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012. Abstract
Bergmann, G., Ráth, I., Szabó, T., Torrini, P., and Varró, D., "Incremental pattern matching for the efficient computation of transitive closure", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "Query-driven soft interconnection of EMF models", ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012. Abstract
Acceptance rate: 23%
Ráth, I., Hegedüs, Á., and Varró, D., "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%
Ujhelyi, Z., Horváth, Á., and Varró, D., "Dynamic Backward Slicing of Model Transformations", International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012. Abstract
Acceptance rate: 27%
Ujhelyi, Z., Szabó, T., Ráth, I., and Varró, D., "Developing and Visualizing Live Model Queries", 1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Ontology driven design of EMF metamodels and well-formedness constraints", Proceedings of the 12th Workshop on OCL and Textual Modelling, New York, NY, USA, ACM, pp. 37–42, 2012.
2011
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
10.1007/978-3-642-21470-7_32
Gönczy, L., Hegedüs, Á., and Varró, D., "Methodologies for Model-Driven Development and Deployment: an Overview", Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011. Abstract
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract
10.1007/978-3-642-24755-2_35
Ujhelyi, Z., Horváth, Á., and Varró, D., "Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011. Abstract