| Hoare-Style Logic for Unstructured Programs D Lundberg, R Guanciale, A Lindner, M Dam Software Engineering and Formal Methods, 193-213, 2020 | 10 | 2020 |
| HOL4P4: semantics for a verified data plane A Alshnakat, D Lundberg, R Guanciale, M Dam, K Palmskog Proceedings of the 5th International Workshop on P4 in Europe, 39-45, 2022 | 5 | 2022 |
| Automated Inference of Excitable Cell Models as Hybrid Automata. R Ansin, D Lundberg KTH Royal Institute of Technology, 2013 | 2 | 2013 |
| HOL4P4: Mechanized Small-Step Semantics for P4 A Alshnakat, D Lundberg, R Guanciale, M Dam Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 223-249, 2024 | | 2024 |
| p4ott: Bullet-Proof P4-Programmable Data Planes A Alshnakat, D Lundberg, R Guanciale, M Dam, K Palmskog CASTOR Software Days, 2022 | | 2022 |
| Provably Sound and Secure Automatic Proving and Generation of Verification Conditions D Lundberg KTH Royal Institute of Technology, 2018 | | 2018 |
Roberto GuancialeKTHVerified email at kth.se
