1. Abdessalem, R. B., Nejati, S., Briand, L. C., and Stifter, T. Testing vision-based control systems using learnable evolutionary algorithms. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (2018), IEEE, pp. 1016--1026.
2. Automated generation of consistent models using qualitative abstractions and exploration strategies;Babikian A. A.;Softw. Syst. Model.,2022
3. A Useful Four-Valued Logic
4. Bergmann, G., Horváth, A., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A. Incremental evaluation of model queries over EMF models. In MODELS 2010 (2010), vol. 6394 of LNCS, Springer, pp. 76--90.