Publikationer av Anoud Alshnakat
Refereegranskade
Artiklar
[1]
Alshnakat, A., Lundberg, D., Guanciale, R. & Dam, M. (2024). HOL4P4: Mechanized Small-Step Semantics for P4. Proceedings of the ACM on Programming Languages, 8(OOPSLA1).
Konferensbidrag
[2]
Alshnakat, A., Lundberg, D., Guanciale, R., Dam, M., Palmskog, K. (2022). HOL4P4 : Semantics for a Verified Data Plane. I EuroP4 2022: Proceedings of the 5th International Workshop on P4 in Europe, Part of CoNEXT 2022. (s. 39-45). Association for Computing Machinery (ACM).
Kapitel i böcker
[3]
Alshnakat, A., Gurov, D., Lidström, C. & Rümmer, P. (2020). Constraint-Based Contract Inference for Deductive Verification. I Deductive Software Verification: Future Perspectives (s. 149-176). Springer Nature.
Senaste synkning med DiVA:
2024-12-01 02:55:10