Merlijn Sevenhuijsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2025–2025
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | NeSy | Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification. | Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung |
| 2025 | VECoS | CASP: An Evaluation Dataset for Formal Verification of C Code. | Niclas Hertzberg, Merlijn Sevenhuijsen, Liv Kreborn, Anna Lokrantz |