Lukas Armborst
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. | Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld |
| 2024 | CAV | The VerCors Verifier: A Progress Report. | Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, mer Sakar, Philip Tasche |
| 2023 | IFM | Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
| 2021 | ICSE | Permission-Based Verification of Red-Black Trees and Their Merging. | Lukas Armborst, Marieke Huisman |