Jesper Amilon

According to our database, Jesper Amilon authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

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