Publikationer av Anoud Alshnakat
Refereegranskade
Konferensbidrag
[1]
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
[2]
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-04-21 02:53:50