Publications

Export 256 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
Journal Article
Kovács, Máté, Gönczy, L., and Varró, D., "Formal analysis of BPEL workflows with compensation by model checking", International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008. Abstract
Semeráth, O., Barta, Á., Szatmári, Z., Horváth, Á., and Varró, D., "Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints", International Journal on Software and Systems Modeling, 07/2015.
Sakr, S., Bonifati, A., Voigt, H., Iosup, A., Ammar, K., Angles, R., Aref, W., Arenas, M., Besta, M., Boncz, P. A., et al., "The Future is Big Graphs! A Community View on Graph Processing Systems", Communications of the ACM, 2021.
To be published in CACM
Horváth, Á., Varró, D., and Varró, G., "Generic Search Plans for Matching Advanced Graph Patterns", Electronic Communications of the EASST, vol. 6, 2007. Abstract
Selected papers of GT-VMT 2007: Graph Transformation and Visual Modelling Techniques 2007
Varró, G., Friedl, K., and Varró, D., "Graph Transformation in Relational Databases", Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006. Abstract
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time", Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003. Abstract
Bartha, T., Varga, I., Soumelidis, A., and Szabó, G., "Implementation of a testing and diagnostic concept for an NPP reactor protection system", Lecture Notes in Computer Science, vol. 3463, pp. 391 - 402, 2005.
Darvas, D., Vörös, A., and Bartha, T., "Improving Saturation-based Bounded Model Checking", Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I., "Industrial applications of the PetriDotNet modelling and analysis tool", Science of Computer Programming, vol. 157, pp. 17-40, 2018. Abstract
Pintér, G., Madeira, H., Vieira, M., Majzik, I., and Pataricza, A., "Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments", INTERNATIONAL JOURNAL OF KNOWLEDGE MANAGEMENT STUDIES, vol. 2, issue 4, pp. 480 - 498, 2008. Abstract
Paige, R. F., and Varró, D., "Lessons Learned from Building Model-Driven Development Tools", Software and Systems Modeling, 2012. Abstract
Graics, B., Molnár, V., Vörös, A., Majzik, I., and Varró, D., "Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems", Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020. Abstract
Balogh, Z., and Varró, D., "Model Transformation by Example Using Inductive Logic Programming", Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.
Varró, D., and Balogh, A., "The Model Transformation Language of the VIATRA2 Framework", Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007. Abstract
Hegedüs, Á., Horváth, Á., and Varró, D., "A model-driven framework for guided design space exploration", Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015. Abstract
Gönczy, L., Kovács, Máté, and Varró, D., "Modeling and Verification of Reliable Messaging by Graph Transformation Systems", Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007. Abstract
Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., and Varró, D., "Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010. Abstract
Appeared online
Varró-Gyapay, S., and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006. Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
Bergmann, G., Ráth, I., and Varró, D., "Parallelization of Graph Transformation Based on Incremental Pattern Matching", Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 18, 2009. Abstract
Ujhelyi, Z., Szőke, G., Horváth, Á., Csiszár, N I., Vidács, L., Varró, D., and Ferenc, R., "Performance Comparison of Query-based Techniques for Anti-Pattern Detection", Information and Software Technology, vol. 65, pp. 147-165, 09/2015. Abstract
Hegedüs, Á., Horváth, Á., Ráth, I., Starr, R R., and Varró, D., "Query-driven soft traceability links for models", Software & Systems Modeling, vol. 15, issue 3, pp. 733-756, 2014. 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
Varró, D., Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., and Ujhelyi, Z., "Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework", Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016. Abstract
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Secure Views for Collaborative Modeling", IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
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

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login