Publisher
Springer Nature Switzerland
Reference22 articles.
1. Abdulla, P.A.: Regular model checking. Int. J. Softw. Tools Technol. Transf. 14, 109–118 (2012). https://doi.org/10.1007/s10009-011-0216-8
2. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.: Source sets: a foundation for optimal dynamic partial order reduction. J. ACM 64(4), 25:1–25:49 (2017)
3. Lecture Notes in Computer Science;PA Abdulla,2022
4. Abdulla, P.A., Atig, M.F., Godbole, A., Krishna, S., Vahanwala, M.: Overcoming memory weakness with unified fairness. In: Enea, C., Lal, A. (eds) Computer Aided Verification, CAV 2023, Part I. LNCS, vol. 13964, pp. 184–205. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-37706-8_10
5. Abdulla, P.A., Atig, M.F., Jonsson, B., Lång, M., Ngo, T.P., Sagonas, K.: Optimal stateless model checking for reads-from equivalence under sequential consistency. PACMPL 3(OOPSLA), 1–29 (2019)