Skip to main content
Back to KTH start page

Publications by Anoud Alshnakat

Peer reviewed

Articles

[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).

Conference papers

[2]
Alshnakat, A., Lundberg, D., Guanciale, R., Dam, M., Palmskog, K. (2022). HOL4P4 : Semantics for a Verified Data Plane. In EuroP4 2022: Proceedings of the 5th International Workshop on P4 in Europe, Part of CoNEXT 2022. (pp. 39-45). Association for Computing Machinery (ACM).

Chapters in books

[3]
Alshnakat, A., Gurov, D., Lidström, C. & Rümmer, P. (2020). Constraint-Based Contract Inference for Deductive Verification. In Deductive Software Verification: Future Perspectives (pp. 149-176). Springer Nature.
Latest sync with DiVA:
2024-10-13 02:58:10