Gustav Ung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2025
Best venue rank
C
Where they publish
Papers
3 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 |
| 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 |
| 2024 | VECoS | Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software. | Minal Suresh Patil, Gustav Ung, Mattias Nyberg |