Jesper Amilon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | Deductively Verified Program Models for Software Model Checking. | Jesper Amilon, Dilian Gurov |
| 2024 | RE | Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. | Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Karl Palmskog |
| 2023 | CAV | Automatic Program Instrumentation for Automatic Verification. | Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidstrm, Philipp Rmmer |
| 2022 | ISoLA | Deductive Verification Based Abstraction for Software Model Checking. | Jesper Amilon, Christian Lidstrm, Dilian Gurov |