Jesper Amilon

According to our database, Jesper Amilon authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer

CoRR, 2023

Automatic Program Instrumentation for Automatic Verification.

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Deductive Verification Based Abstraction for Software Model Checking.

Jesper Amilon, Christian Lidström, Dilian Gurov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022