Publications

International Journal

  • Szárnyas, G., Izsó, B., Ráth, I., and Varró, D., “The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Validation”, Software and Systems Modeling, 2017.
  • Szárnyas, G., Maginecz, J., and Varró, D., “Evaluation of Optimization Strategies for Incremental Graph Queries”, Periodica Polytechnica, Electrical Engineering and Computer Science, 2017.
  • Semeráth, O., and Varró, D., “Evaluating Well-Formedness Constraints on Incomplete Models”, Acta Cybernetica Szeged, 2017. CSCS 2016 special issue
  • Molnár V., Majzik I., “Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms”, Periodica Polytechnica, Electrical Engineering and Computer Science, 2017.
  • Varró D; Bergmann G; Horváth Á; Ráth I; Ujhelyi Z: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework, SOFTWARE AND SYSTEMS MODELING 15: (3) pp. 609-629. (2016). IF: 0.990
  • Dávid, I., Ráth, I. & Varró, D. Foundations for Streaming Model Transformations by Complex Event Processing. SOFTWARE AND SYSTEMS MODELING (2016). doi:10.1007/s10270-016-0533-1. Appeared online, Expected IF: 0.990.

International Conference Proceedings

  • Marussy, K., Molnár, V., Vörös, A., and Majzik, I., ” Getting the Priorities Right: Saturation for Prioritised Petri Nets”, Application and Theory of Petri Nets and Concurrency, vol. 10258: Springer, pp. 223-242, 2017. Acceptance rate: 48%, CORE Rank B.
  • Czipó, B., Hajdu, Á., Tóth, T., and Majzik, I., “Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers”, Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017.
  • Sallai, Gy.; Hajdu, Á.; Tóth, T.; and Micskei, Z., “Towards Evaluating Size Reduction Techniques for Software Model Checking”, Proceedings of the Fifth International Workshop on Verification and Program Transformation, of Electronic Proceedings in Theoretical Computer Science: Open Publishing Association, 2017. (Accepted, in press)
  • Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D. “Incremental backward change propagation of view models by logic solvers.” In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (pp. 306-316). ACM.
  • Debreceni, C., Bergmann, G., Ráth, I., and Varró, D. “Deriving effective permissions for modeling artifacts from fine-grained access control rules”, Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) pp. 17-26, 2016. CEUR-WS
  • Bergmann, G., Debreceni, C., Ráth, I. and Varró, D. Query-based access control for secure collaborative modeling using bidirectional transformations. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (pp. 351-361). 2016. ACM.
  • Semeráth, O., and Varró, D., “Graph Constraint Evaluation over Partial Models by Constraint Rewriting”, Proceedings of the 10th International Conference on Model Transformation, Marburg, Germany, Springer, 2017.
  • Hajdu, Á., Tóth, T., Vörös, A., and Majzik, I., “A Configurable CEGAR Framework with Interpolation-Based Refinements”, Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016), vol. 9688: Springer, pp. 158-174, 2016. Acceptance rate: 40%, CORE Rank A.
  • Debreceni, C., Ráth, I., Varró, D., Carlos, X D., Mendialdua, X., and Trujillo, S., “Automated Model Merge by Design Space Exploration”, 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016), Eindhoven, The Netherlands, 04/2016., Springer-Verlag, LNCS 9633, Acceptance rate: 30%, CORE Rank B.
  • Semeráth, O., Vörös, A., and Varró, D., “Iterative and incremental model generation by logic solvers”, 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016), Eindhoven, The Netherlands, 04/2016. Springer-Verlag, LNCS 9633, Acceptance rate: 30%, CORE Rank B
  • Marussy, K., Klenik, A., Molnár, V., Vörös, A., Majzik, I., and Telek, M., “Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models”, Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016. Acceptance rate: 38%, CORE Rank B.
  • Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., and Majzik, I., “PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research”, Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016. Acceptance rate: 38%, CORE Rank B.
  • Varró D., Incremental Queries and Transformations: From Concepts to Industrial Applications In: SOFSEM 2016: z2nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Springer Verlag, 2016. pp. 51-59. (LNCS; 9587.) – Invited paper. CORE Rank B.
  • Marussy, K., Klenik, A., Molnár, V., Vörös, A., Telek, M., and Majzik, I., “Configurable Numerical Analysis for Stochastic Systems”, Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
  • Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., “Change Propagation of View Models by Logic Synthesis Using SAT Solvers”, Fifth International Workshop on Bidirectional Transformations (Bx 2016) @ETAPS2016, Eindhoven, The Netherlands, 04/2016.
  • Makai, J., Szárnyas, G., Horváth, Á., Ráth, I., and Varró, D., “Optimization of Incremental Queries in the Cloud”, CloudMDE 2015: Model-Driven Engineering on and for the Cloud: Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (at IEEE/ACM MoDELS 2015)2015.
  • Chechik, M., Dalpiaz, F., Debreceni, C., Horkoff, J., Ráth, I., Salay, R., and Varró, D., “Property-Based Methods for Collaborative Model Development”, 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling (at IEEE/ACM MoDELS 2015), Ottawa, Canada, 2015/09.

 

National Conference

  • Sólyom, A A., and Nagy, A S., “Swarm Intelligence Meets Rule-Based Design Space Exploration”, Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2016.
  • Maginecz, J., and Szárnyas, G., “Sharded Joins for Scalable Incremental Graph Queries”, Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2016.
  • Búr, M., Vörös, A., Bergmann, G., and Varró, D., “Towards Modeling Cyber-Physical Systems From Multiple Approaches”, Proceedings of the 24th PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2017.
  • Szilágyi G., and Vörös, A., ” Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching”, Proceedings of the 24th PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2017.
  • Gujgiczer, A., Elekes, M., Semeráth, O., Vörös, A., ” Towards Model-Based Support for Regression Testing”, Proceedings of the 24th PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2017.
  • Farkas, R., and Hajdu, Á., “Activity-Based Abstraction Refinement for Timed Systems”, Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18–21, 2017.
  • Hajdu, Á., and Micskei, Z., “Exploratory Analysis of the Performance of a Configurable CEGAR Framework”, Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 34–37, 2017.
  • Debreceni, Cs., and Varró, D., “Approaches to Identify Object Correspondences Between Source Models and Their View Models”, Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 14–17, 2017.
  • Bence G., Molnár V., “Formal Compositional Semantics for Yakindu Statecharts”, Proceedings of the 24th PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2017.