For a complete list of my publications, please refer to my CV or to my see my Google Scholar profile.

Selected Publications

• [PDF] Chen, B., Babikian, A.A., Feng, S., Varró, D., and Mussbacher, G. (2025). LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation. In Proceedings of the IEEE 33rd International Requirements Engineering Conference (RE), Vol. 33, pp. 231-243.
• [PDF] Babikian, A.A., Semeráth, O., and Varró, D. (2024). Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. IEEE Transactions on Software Engineering (TSE), Vol. 50, pp. 48-68.
• [PDF] Babikian, A.A., Semeráth, O., Li, A., Marussy, K., and Varró, D. (2022). Automated Generation of Consistent Models Using Qualitative Abstractions and Exploration Strategies. Software and Systems Modeling (SoSyM), Vol. 21, pp. 1763-1787.