We stand with Ukraine  

Gustav Ung

According to our database1, Gustav Ung authored at least 2 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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


  Loading...