Jesper Amilon

According to our database, Jesper Amilon authored at least 8 papers between 2022 and 2026.

Collaborative distances:

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

2026

A program instrumentation framework for automatic verification.

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

Formal Methods Syst. Des., April, 2026

2025

Contract Based Program Models for Software Model Checking.

Jesper Amilon, Dilian Gurov

CoRR, March, 2025

AutoDeduct: A Tool for Automated Deductive Verification of C Code.

Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Gustav Ung, Ola Wingbrant

CoRR, January, 2025

2024

Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report.

Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Karl Palmskog

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Deductively Verified Program Models for Software Model Checking.

Jesper Amilon, Dilian Gurov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

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