by Ren, Rui, Yang, Jingbang, Yang, Linxiao, Gu, Xinyue, Sun, Liang
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)

by Mertzios, George B., Michail, Othon, Spirakis, Paul G.
Published in Algorithmica (01.04.2019)

by Sun, Tiancheng, Barron, Jonathan T., Tsai, Yun-Ta, Xu, Zexiang, Yu, Xueming, Fyffe, Graham, Rhemann, Christoph, Busch, Jay, Debevec, Paul, Ramamoorthi, Ravi
Published in ACM transactions on graphics (12.07.2019)

by Birchler, Christian, Rohrbach, Cyrill, Kim, Hyeongkyun, Gambi, Alessio, Liu, Tianhai, Horneber, Jens, Kehrer, Timo, Panichella, Sebastiano
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)

by Danilina, Ya. V., Gerbina, T. V.
Published in Scientific and technical information processing (01.12.2024)

by Baruah, Sanjoy, Burns, Alan, Davis, Robert I., Wu, Yue
Published in Real-time systems (01.03.2023)

by Tian, Zhao, Chen, Junjie, Zhang, Xiangyu
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)

by Chuikova, N. A.
Published in Scientific and technical information processing (01.06.2025)

by Alglave, Jade, Maranget, Luc, Tautschnig, Michael
Published in ACM transactions on programming languages and systems (01.07.2014)

by Xiang, Chaocan, Cheng, Wenhui, Zheng, Xiao, Wu, Tao, Fan, Xiaochen, Wang, Yingjie, Zhou, Yanlin, Xiao, Fu
Published in ACM transactions on sensor networks (04.05.2023)

by Bachiega, Joao, Costa, Breno, Carvalho, Leonardo R., Rosa, Michel J. F., Araujo, Aleteia
Published in ACM computing surveys (31.12.2023)

by Vreman, Nils, Maggio, Martina
Published in ACM transactions on embedded computing systems (09.09.2023)

by Ahmadilivani, Mohammad Hasan, Taheri, Mahdi, Raik, Jaan, Daneshtalab, Masoud, Jenihhin, Maksim
Published in ACM computing surveys (30.06.2024)

by Calegari, Roberta, Ciatto, Giovanni, Mascardi, Viviana, Omicini, Andrea
Published in Autonomous agents and multi-agent systems (01.04.2021)

by Matorin, S. I., Mikhelev, V. V.
Published in Scientific and technical information processing (01.12.2023)

by Wei, Yi-Cheng, Tsou, Yi-Chieh, Chen, Yong-Cheng, Chang, Li-Pin
Published in ACM transactions on embedded computing systems (14.08.2025)

by Tsimenidis, Stefanos, Lagkas, Thomas, Rantos, Konstantinos
Published in Journal of network and systems management (01.01.2022)

by Dang, Xueqi, Li, Yinghua, Papadakis, Mike, Klein, Jacques, Bissyandé, Tegawendé F., Le Traon, Yves
Published in ACM transactions on software engineering and methodology (24.11.2023)

by Feldman, Moran, Nutov, Zeev, Shoham, Elad
Published in Algorithmica (01.05.2023)

by Zatsman, I. M.
Published in Scientific and technical information processing (01.06.2025)