Anoud Alshnakat

According to our database, Anoud Alshnakat authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HOL4P4: Mechanized Small-Step Semantics for P4.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam

Proc. ACM Program. Lang., 2024

2022

HOL4P4: semantics for a verified data plane.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog

Proceedings of the 5th International Workshop on P4 in Europe, 2022

2020

Constraint-Based Contract Inference for Deductive Verification.

Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer

Proceedings of the Deductive Software Verification: Future Perspectives, 2020