Gustav Ung

According to our database, Gustav Ung authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

AutoDeduct: A Tool for Automated Deductive Verification of C Code.

Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Gustav Ung, Ola Wingbrant

CoRR, January, 2025

2024

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.

Minal Suresh Patil, Gustav Ung, Mattias Nyberg

Proceedings of the Bridging the Gap Between AI and Reality, 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

2022

Bounded Invariant Checking for Stateflow.

Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022