Publications

Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., González Suárez, V. M., and Blech, J O., "Modelling and Formal Verification of Timing Aspects in Large PLC Programs", Proceedings of the 19th IFAC World Congress 2014, pp. 3333-3339, 08/2014.

• BibTex

Abdeen, H., Varró, D., Sahraoui, H., Nagy, A S., Hegedüs, Á., Horváth, Á., and Debreceni, C., "Multi-Objective Optimization in Rule-Based Design Space Exploration", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, IEEE, 9/2014. Abstract

• BibTex

Szárnyas, G., Semeráth, O., Izsó, B., Debreceni, C., Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Movie Database Case: An EMF-IncQuery Solution", 7th Transformation Tool Contest, York, United Kingdom, 2014. Abstract

• BibTex

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

• BibTex

Hajdu, Á., Making the TTreeReader interface more accessible, , no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.

• BibTex

Molnár, V., and Majzik, I., "Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms", Periodica Polytechnica Electrical Engineering and Computer Science, vol. 61, no. 2, pp. 132-150, 2017.

• BibTex

Marton, J., Szárnyas, G., and Búr, M., "Model-driven engineering of an openCypher engine: using graph queries to compile graph queries", 18th System Design Languages Forum, Budapest, Hungary, 2017.

• BibTex

Debreceni, C., Bergmann, G., Búr, M., Ráth, I., and Varró, D., "The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems", 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Paderborn, Germany, ACM, 2017.

• BibTex

Honfi, D., Molnár, G., Micskei, Z., and Majzik, I., "Model-Based Regression Testing of Autonomous Robots", Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, Springer International Publishing, 09/2017.

• BibTex

Vörös, A., Búr, M., Ráth, I., Horváth, Á., Micskei, Z., Balogh, L., Hegyi, B., Horváth, B., Mázló, Z., and Varró, D., "MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems", NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018. Abstract

• BibTex

Graics, B., and Molnár, V., "Mix-and-Match Composition in the Gamma Framework", 25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018. Abstract

• BibTex

Dobos-Kovács, M., and Vörös, A., "Model checking and test generation: towards a combined approach to software verification", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019. Abstract

• BibTex

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

• BibTex

Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R., "Model Checking as a Service: Towards Pragmatic Hidden Formal Methods", Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.

• BibTex

Graics, B., and Majzik, I., "Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework", 27th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2020. Abstract

• BibTex

Ciocarlie, G., Eldefrawy, K., Lepoint, T., Navas, J., Hajdu, Á., and Jovanović, D., MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS, , no. 16/227,728, United States, 06/2020. Abstract

• BibTex

Csuvarszki, J C., Graics, B., and Vörös, A., "Model-Driven Development of Heterogeneous Cyber-Physical Systems", Proceedings of the 28th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 24-27, 2021. Abstract

• BibTex