Didrik Lundberg - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	16	14
h-index	2	2
i10-index	1	1

0

8

4

2018201920202021202220232 1 2 2 8

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Roberto GuancialeKTHVerified email at kth.se
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyVerified email at kth.se

Didrik Lundberg

Didrik Lundberg

KTH Royal Institute of Technology

Verified email at kth.se - Homepage

Program Logics Software Verification Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	4	2022
Automated Inference of Excitable Cell Models as Hybrid Automata. R Ansin, D Lundberg KTH Royal Institute of Technology, 2013	2	2013
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

The system can't perform the operation now. Try again later.

Articles 1–5