Bounded Invariant Checking for Stateflow. - Predrag Filipovikj; Gustav Ung; Dilian Gurov; Mattias Nyberg (FMAS/ASYDE@SEFM, 2022)

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 (RE, 2024)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software. - Minal Suresh Patil; Gustav Ung; Mattias Nyberg (AISoLA, 2024)

AutoDeduct: A Tool for Automated Deductive Verification of C Code. - Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Gustav Ung; Ola Wingbrant (CoRR, 2025)